Dependable Computing 可靠计算/会议录

书籍目录

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 ExtensionCertification  Airborne Software Concerns in Civil Aviation CertificationModelling  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 SystemsEmbedded 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 SystemsTime  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 NetsDistributed 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 ServersWorkshopsTutorials Author Index

作者简介

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.

 Dependable Computing 可靠计算/会议录下载