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 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

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