Dependable Computing 可靠计算/会议录

2005-11-28  

Springer  

Carlos Alberto Maziero  

264  

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 可靠计算/会议录 PDF格式下载