Dependable computing : first Latin-American symposium, LADC 2003, São Paulo, Brazil, October 21-24, 2003 : proceedings
| Autor Principal: | |
|---|---|
| Otros autores o Colaboradores: | , |
| Formato: | Libro |
| Lengua: | inglés |
| Datos de publicación: |
Berlín :
Springer,
2003
|
| Edición: | 1st ed. |
| Series: | Lecture notes in computer science
2847 |
| Temas: | |
| Acceso en línea: | Consultar en el Cátalogo |
| Notas: | ISSN 0302-9743 |
| Descripción Física: | xiv, 370 p. ; 24 cm. |
| ISBN: | 3540202242 |
Tabla de Contenidos:
- Dependability Benchmarking: How Far Are We? / Karama Kanoun (LAAS-CNRS, France)
- Safety-Critical Systems in Air Traffic Management / Eno Siewerdt (ATECH - Tecnologias Críticas, Brazil)
- Managed Utility Computing: The Grid as Management Backplane / Vijay Machiraju, Akhil Sahai, Aad van Moorsel (HP Labs, USA)
- Plug and Play Fault Injector for Dependability Benchmarking / Pedro Costa (ISCAC, Portugal), Marco Vieira (ISEC, Portugal), Henrique Madeira, Joao Gabriel Silva (University of Coimbra, Portugal)
- Non-intrusive Software Implemented Fault Injection in Embedded Systems / Pedro Yuste, Juan Carlos Ruiz, Lenin Lemus, Pedro Gil (Technical University of Valencia, Spain)
- Constraints on the Use of Boundary-Scan for Fault Injection / Luís Santos (ISEC, Portugal), Mário Zenha Rela (University of Coimbra, Portugal)
- A Strategy for Validating an ODBMS Component Using a High-Level Software Fault Injection Tool / Regina Lúcia de Oliveira Moraes, Eliane Martins (Unicamp, Brazil)
- Heavy-Ion Fault Injections in the Time-Triggered Communication Protocol / Hakan Sivencrona (SP Swedish National Testing and Research Institute,Sweden), Per Johannessen (Volvo Car Corporation, Sweden), Mattias Persson, Jan Torin (Chalmers University of Technology, Sweden)
- Dependability and Performance Evaluation of Intrusion-Tolerant Server Architectures / Vishu Gupta, Vinh Lam, HariGovind V. Ramasamy, William H. Sanders, Sankalp Singh (UIUC, USA)
- Building Trust Chains between CORBA Objects / Emerson Ribeiro de Mello, Joni da Silva Fraga, Altair Olivo Santin, Frank Siqueira (UFSC, Brazil)
- An Architecture for On-the-Fly File Integrity Checking / Mauro Borchardt, Carlos Maziero, Edgard Jamhour (PUC-PR, Brazil)
- Fault Injection Tool for Network Security Evaluation / Paulo César Herrmann Wanner, Raul Fernando Webe (UFRGS, Brazil)
- Emulation of Software Faults: Representativeness and Usefulness (Invited Paper) / Henrique Madeira, Joao Duraes, Marco Vieira (University of Coimbra, Portugal)
- Managing Adaptive Fault Tolerant CORBA Applications / Marcos A.M. de Moura (USP, Brazil), Markus Endler (PUC-RJ, Brazil)
- Adaptable Objects for Dependability / Jose Lino Contreras (UTFSM, Chile), Jean Louis Sourrouille (INSA de Lyon, France)
- A Genetic Algorithm for Fault-Tolerant System Design / Klaus Echtle, Irene Eusgeld (University of Duisburg-Essen, Germany)
- Cyclic Strategies for Balanced and Fault-Tolerant Distributed Storage / Ricardo Marcelín-Jiménez, Sergio Rajsbaum (UNAM, Mexico)
- DisCusS and FuSe: Considering Modularity, Genericness, and Adaptation in the Development of Consensus and Fault Detection Services / Lásaro J. Camargos, Edmundo R.M. Madeira (Unicamp, Brazil)
- A Lightweight Interface to Predict Communication Delays Using Time Series / Raul Ceretta Nunes (UFSM, Brazil), Ingrid Jansch-Porto (UFRGS, Brazil)
- A New Diagnosis Algorithm for Regular Interconnected Structures / Antonio Caruso, Luiz Albini, Piero Maestrini (ISTI-CNR and University of Pisa, Italy)
- A Tool for Fault Injection and Conformance Testing of Distributed
- Systems (Invited Paper) / Eliane Martins (Unicamp, Brazil), Maria de Fátima Mattiello-Francisco (INPE, Brazil)
- A Fault-Tolerant Distributed Legacy-Based System and Its Evaluation / Andrea Bondavalli (Universitá di Firenze, Italy), Silvano Chiaradonna (ISTI-CNR, Italy), Domenico Cotroneo, Luigi Romano (Universitá di Napoli Federico II, Italy)
- An Architectural-Level Exception Handling System for Component-Based Applications / Fernando Castor Filho, Paulo Asterio de C. Guerra, Cecília Mary F. Rubira (Unicamp, Brazil)
- On the Use of Formal Specifications to Analyze Fault Behaviors of Distributed Systems / Fernando L. Dotti, Osmar M. dos Santos, Eduardo T. Röde (PUC-RS, Brazil)
- Dependability Benchmarks – Can You Rely on Them? / Joao Gabriel Silva (University of Coimbra, Portugal)
- Workshop on Safety: Computer Systems in Critical Applications / Joao Batista Camargo Jr. (USP, Brazil), Rogério de Lemos (University of Kent, UK)
- Second Workshop on Theses and Dissertations in Dependable Computing / Avelino Zorzo (PUC-RS, Brazil), Francisco Brasileiro (UFCG, Brazil), Ingrid Jansch-Porto (UFRGS, Brazil)
- Development of Safety-Critical Systems and Model-Based Risk Analysis with UML / Jan Jürjens, Siv Hilde Houmb (Munich University of Technology, Germany)
- On the Cost of Fault-Tolerant Consensus when There Are No Faults – A Tutorial / Idit Keidar (Technion, Israel), Sergio Rajsbaum (UNAM, Mexico)
- A Practical Approach to Quality Assurance in Critical Systems / Carlos Augusto Teixeira de Moura (CLA, Brazil), Carlos Henrique Netto Lahoz, Martha Adriana Dias Abdala (IAE/CTA, Brazil)
- Author Index