Skip to main content
  • Conference proceedings
  • © 2005

Dependable Computing

Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

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

Conference proceedings info: LADC 2005.

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 (24 papers)

  1. Front Matter

  2. Evaluation

    1. Using Stratified Sampling for Fault Injection

      • Regina Lúcia O. de Moraes, Eliane Martins, Elaine C. Catapani Poletti, Naaliel Vicente Mendes
      Pages 9-19
    2. Quantitative Evaluation of Distributed Algorithms Using the Neko Framework: The NekoStat Extension

      • Lorenzo Falai, Andrea Bondavalli, Felicita Di Giandomenico
      Pages 35-51
  3. Certification

    1. Airborne Software Concerns in Civil Aviation Certification

      • Benedito Sakugawa, Edson Cury, Edgar Toshiro Yano
      Pages 52-60
  4. Modelling

    1. A Method for Modeling and Testing Exceptions in Component-Based Software Development

      • Patrick Henrique da S. Brito, Camila Ribeiro Rocha, Fernando Castor Filho, Eliane Martins, Cecília M. Fischer Rubira
      Pages 61-79
    2. Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph Grammars

      • Fernando L. Dotti, Odorico M. Mendizabal, Osmar M. dos Santos
      Pages 80-100
    3. The Zerberus Language: Describing the Functional Model of Dependable Real-Time Systems

      • Christian Buckl, Alois Knoll, Gerhard Schrott
      Pages 101-120
  5. Embedded Systems

    1. On the Effects of Errors During Boot

      • Mário Zenha-Rela, João Carlos Cunha, Carlos Bruno Silva, Luís Ferreira da Silva
      Pages 131-142
    2. A Fault Tolerant Approach to Object Oriented Design and Synthesis of Embedded Systems

      • M. Fazeli, R. Farivar, S. Hessabi, S. G. Miremadi
      Pages 143-153
  6. Distributed Systems Algorithms

    1. Parsimony-Based Approach for Obtaining Resource-Efficient and Trustworthy Execution

      • HariGovind V. Ramasamy, Adnan Agbaria, William H. Sanders
      Pages 206-225
    2. Generating Fast Atomic Commit from Hyperfast Consensus

      • Fabíola Gonçalves Pereira Greve, Jean-Pierre Le Narzul
      Pages 226-244
    3. Group-Based Replication of On-Line Transaction Processing Servers

      • A. Correia Jr., A. Sousa, L. Soares, J. Pereira, F. Moura, R. Oliveira
      Pages 245-260

Other Volumes

  1. Dependable Computing

Keywords

  • Processing
  • Scheduling
  • WLAN
  • algorithms
  • architecture
  • communication
  • dependable computing
  • distributed systems algorithms
  • embedded systems
  • fault-tolerant systems
  • high integrity systems
  • modeling
  • object oriented design
  • quality assurance
  • real-time systems

Editors and Affiliations

  • Pontifícia Universidade Católica do Paraná (PUCPR), PPGIA, Paraná, Brazil

    Carlos Alberto Maziero

  • Dept. Engenharia Informática/CISUC Universidade de Coimbra - Polo II, Coimbra, Portugal

    João Gabriel Silva

  • Universidade Federal da Bahia (UFBA), Prédio do CPD, Salvador, Brazil

    Aline Maria Santos Andrade, Flávio Morais Assis Silva

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