Skip to main content
  • Conference proceedings
  • © 2003

Dependable Computing

First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2847)

Conference series link(s): LADC: Latin-American Symposium on Dependable Computing

Conference proceedings info: LADC 2003.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (30 papers)

  1. Front Matter

  2. Invited Talks

    1. Managed Utility Computing: The Grid as Management Backplane

      • Vijay Machiraju, Akhil Sahai, Aad van Moorsel
      Pages 4-7
  3. Fault Injection

    1. Plug and Play Fault Injector for Dependability Benchmarking

      • Pedro Costa, Marco Vieira, Henrique Madeira, João Gabriel Silva
      Pages 8-22
    2. Non-intrusive Software-Implemented Fault Injection in Embedded Systems

      • Pedro Yuste, Juan Carlos Ruiz, Lenin Lemus, Pedro Gil
      Pages 23-38
    3. Constraints on the Use of Boundary-Scan for Fault Injection

      • Luís Santos, Mário Zenha Rela
      Pages 39-55
    4. A Strategy for Validating an ODBMS Component Using a High-Level Software Fault Injection Tool

      • Regina Lúcia de Oliveira Moraes, Eliane Martins
      Pages 56-68
    5. Heavy-Ion Fault Injections in the Time-Triggered Communication Protocol

      • Håkan Sivencrona, Per Johannessen, Mattias Persson, Jan Torin
      Pages 69-80
  4. Security

    1. Dependability and Performance Evaluation of Intrusion-Tolerant Server Architectures

      • Vishu Gupta, Vinh Lam, HariGovind V. Ramasamy, William H. Sanders, Sankalp Singh
      Pages 81-101
    2. Building Trust Chains between CORBA Objects

      • Emerson Ribeiro de Mello, Joni da Silva Fraga, Altair Olivo Santin, Frank Siqueira
      Pages 102-116
    3. An Architecture for On-the-Fly File Integrity Checking

      • Mauro Borchardt, Carlos Maziero, Edgard Jamhour
      Pages 117-126
    4. Fault Injection Tool for Network Security Evaluation

      • Paulo César Herrmann Wanner, Raul Fernando Weber
      Pages 127-136
  5. Adaptive Fault Tolerance

    1. Emulation of Software Faults: Representativeness and Usefulness

      • Henrique Madeira, João Durães, Marco Vieira
      Pages 137-159
    2. Managing Adaptive Fault Tolerant CORBA Applications

      • Marcos A. M. de Moura, Markus Endler
      Pages 160-180
    3. Adaptable Objects for Dependability

      • Jose Lino Contreras, Jean Louis Sourrouille
      Pages 181-196
    4. A Genetic Algorithm for Fault-Tolerant System Design

      • Klaus Echtle, Irene Eusgeld
      Pages 197-213
  6. Distributed Algorithms

    1. Cyclic Strategies for Balanced and Fault-Tolerant Distributed Storage

      • Ricardo Marcelín-Jiménez, Sergio Rajsbaum
      Pages 214-233
    2. A Lightweight Interface to Predict Communication Delays Using Time Series

      • Raul Ceretta Nunes, Ingrid Jansch-Pôrto
      Pages 254-263

Other Volumes

  1. Dependable Computing

Keywords

  • CORBA
  • algorithms
  • architecture
  • calculus
  • communication
  • dependable computing
  • dependable systems
  • embedded systems
  • fault-tolerant systems
  • formal specification
  • quality assurance
  • safety-critical systems
  • systems availability
  • systems performance
  • systems validation

Editors and Affiliations

  • Computing Laboratory, University of Kent,  

    Rogério Lemos

  • Instituto de Informática, Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil

    Taisy Silva Weber

  • Escola Politécnica Travessa 3, Número, Universidade de São Paulo,, São Paulo, Brazil

    João Batista Camargo

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions