Dependable Computing 可靠计算/会议录

This book constitutes the refereed proceedings of the Second Latin-American Symposium on Dependable Computing, LADC 2005, held in Salvador, Brazil, in October 2005.
The 16 revised full papers presented together with 3 invited talks, and outlines of 2 workshops and 3 tutorials, were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on evaluation, certification, modelling, embedded systems, time, and distributed systems algorithms.

Invited Talks
Probabilistic Validation of Computer System Survivability
Timed Asynchronous Distributed Systems
WLAN in Automation - More Than an Academic Exercise?
Evaluation
Using Stratified Sampling for Fault Injection
A Methodology for the Automated Identification of Buffer Overflow Vulnerabilities in Executable Software Without Source-Code
Quantitative Evaluation of Distributed Algorithms Using the Neko Framework: The NekoStat Extension
Certification
Airborne Software Concerns in Civil Aviation Certification
Modelling
A Method for Modeling and Testing Exceptions in Component-Based Software Development
Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph Grammars
The Zerberus Language: Describing the Functional Model of Dependable Real-Time Systems
Embedded Systems
Soft Error Mitigation in Cache Memories of Embedded Systems by Means of a Protected Scheme
On the Effects of Errors During Boot
A Fault Tolerant Approach to Object Oriented Design and Synthesis of Embedded Systems
Time
Scheduling Fixed-Priority Hard Real-Time Tasks in the Presence of Faults
On the Monitoring Period for Fault-Tolerant Sensor Networks
Adapting Failure Detectors to Communication Network Load Fluctuations Using SNMP and Artificial Neural Nets
Distributed Systems Algorithms
Parsimony-Based Approach for Obtaining Resource-Efficient and Trustworthy Execution
Generating Fast Atomic Commit from Hyperfast Consensus
Group-Based Replication of On-Line Transaction Processing Servers
Workshops
Tutorials
Author Index