Ebook: Dependable Computing: Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings
- Tags: Special Purpose and Application-Based Systems, System Performance and Evaluation, Software Engineering, Logic Design, Coding and Information Theory, Operating Systems
- Series: Lecture Notes in Computer Science 3747
- Year: 2005
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- pdf
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.
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.
Content:
Front Matter....Pages -
Probabilistic Validation of Computer System Survivability....Pages 1-1
Timed Asynchronous Distributed Systems....Pages 2-3
WLAN in Automation – More Than an Academic Exercise?....Pages 4-8
Using Stratified Sampling for Fault Injection....Pages 9-19
A Methodology for the Automated Identification of Buffer Overflow Vulnerabilities in Executable Software Without Source-Code....Pages 20-34
Quantitative Evaluation of Distributed Algorithms Using the Neko Framework: The NekoStat Extension....Pages 35-51
Airborne Software Concerns in Civil Aviation Certification....Pages 52-60
A Method for Modeling and Testing Exceptions in Component-Based Software Development....Pages 61-79
Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph Grammars....Pages 80-100
The Zerberus Language: Describing the Functional Model of Dependable Real-Time Systems....Pages 101-120
Soft Error Mitigation in Cache Memories of Embedded Systems by Means of a Protected Scheme....Pages 121-130
On the Effects of Errors During Boot....Pages 131-142
A Fault Tolerant Approach to Object Oriented Design and Synthesis of Embedded Systems....Pages 143-153
Scheduling Fixed-Priority Hard Real-Time Tasks in the Presence of Faults....Pages 154-173
On the Monitoring Period for Fault-Tolerant Sensor Networks....Pages 174-190
Adapting Failure Detectors to Communication Network Load Fluctuations Using SNMP and Artificial Neural Nets....Pages 191-205
Parsimony-Based Approach for Obtaining Resource-Efficient and Trustworthy Execution....Pages 206-225
Generating Fast Atomic Commit from Hyperfast Consensus....Pages 226-244
Group-Based Replication of On-Line Transaction Processing Servers....Pages 245-260
Third Workshop on Theses and Dissertations on Dependable Computing....Pages 261-261
Latin-American Workshop on Dependable Automation Systems....Pages 262-262
Software Architectures for Dependable Systems....Pages 263-264
Fault-Tolerant Techniques for Concurrent Objects....Pages 265-265
Agreement Protocols in Environments with Temporal Uncertainties....Pages 266-266
Back Matter....Pages -
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.
Content:
Front Matter....Pages -
Probabilistic Validation of Computer System Survivability....Pages 1-1
Timed Asynchronous Distributed Systems....Pages 2-3
WLAN in Automation – More Than an Academic Exercise?....Pages 4-8
Using Stratified Sampling for Fault Injection....Pages 9-19
A Methodology for the Automated Identification of Buffer Overflow Vulnerabilities in Executable Software Without Source-Code....Pages 20-34
Quantitative Evaluation of Distributed Algorithms Using the Neko Framework: The NekoStat Extension....Pages 35-51
Airborne Software Concerns in Civil Aviation Certification....Pages 52-60
A Method for Modeling and Testing Exceptions in Component-Based Software Development....Pages 61-79
Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph Grammars....Pages 80-100
The Zerberus Language: Describing the Functional Model of Dependable Real-Time Systems....Pages 101-120
Soft Error Mitigation in Cache Memories of Embedded Systems by Means of a Protected Scheme....Pages 121-130
On the Effects of Errors During Boot....Pages 131-142
A Fault Tolerant Approach to Object Oriented Design and Synthesis of Embedded Systems....Pages 143-153
Scheduling Fixed-Priority Hard Real-Time Tasks in the Presence of Faults....Pages 154-173
On the Monitoring Period for Fault-Tolerant Sensor Networks....Pages 174-190
Adapting Failure Detectors to Communication Network Load Fluctuations Using SNMP and Artificial Neural Nets....Pages 191-205
Parsimony-Based Approach for Obtaining Resource-Efficient and Trustworthy Execution....Pages 206-225
Generating Fast Atomic Commit from Hyperfast Consensus....Pages 226-244
Group-Based Replication of On-Line Transaction Processing Servers....Pages 245-260
Third Workshop on Theses and Dissertations on Dependable Computing....Pages 261-261
Latin-American Workshop on Dependable Automation Systems....Pages 262-262
Software Architectures for Dependable Systems....Pages 263-264
Fault-Tolerant Techniques for Concurrent Objects....Pages 265-265
Agreement Protocols in Environments with Temporal Uncertainties....Pages 266-266
Back Matter....Pages -
....