<p>The International Working Conference on Dependable Computing for Critical Applications was the first conference organized by IFIP Working Group 10. 4 "Dependable Computing and Fault Tolerance", in cooperation with the Technical Committee on Fault-Tolerant Computing of the IEEE Computer Society, a
Dependable Computing for Critical Applications 3
โ Scribed by Pascale Thรฉvenod-Fosse, Hรฉlรจne Waeselynck (auth.), Dr. Carl E. Landwehr, Prof. Dr. Brian Randell, Prof. Dr. Luca Simoncini (eds.)
- Publisher
- Springer-Verlag Wien
- Year
- 1993
- Tongue
- English
- Leaves
- 380
- Series
- Dependable Computing and Fault-Tolerant Systems 8
- Edition
- 1
- Category
- Library
No coin nor oath required. For personal study only.
โฆ Synopsis
This volume contains the papers presented. at the Third IFIP International Working Conference on Dependable Computing for Critical Applications, sponsored by IFIP Working Group 10.4 and held in Mondello (Sicily), Italy on September 14-16, 1992. System developers increasingly apply computers where they can affect the safety and security of people and equipment. The Third IFIP International Working Conference on Dependable Computing for Critical Applications, like its predecessors, addressed various aspects of computer system dependability, a broad term defined as the degree of trust that may justifiably be placed in a system's reliability, availability, safety, security, and performance. Because the scope of the conference was so broad, we hope the presentations and discussions will contribute to the integration of these concepts so that future computer-based systems will indeed be more dependable. The Program Committee selected 18 papers for presentation from a total of 7 4 submissions at a May meeting in Newcastle upon Tyne, UK. The resulting program represented a broad spectrum of interests, with papers from universities, corporations, and government agencies in eight countries. Much diligent work by the Program Committee and the quality of reviews from more than a hundred external referees from around the world, for which we are most grateful, significantly eased the production of this technical program.
โฆ Table of Contents
Front Matter....Pages N2-XII
Front Matter....Pages 1-1
On Functional Statistical Testing Designed from Software Behavior Models....Pages 3-28
Functional Test Case Generation for Real-Time Systems....Pages 29-61
Front Matter....Pages 63-63
Design for Dependability....Pages 65-89
Tracing Fault Tolerance....Pages 91-110
Front Matter....Pages 111-111
Evaluation of Fault-Tolerant Software: A Performability Modeling Approach....Pages 113-135
On the Transient Analysis of Stiff Markov Chains....Pages 137-160
Front Matter....Pages 161-161
Formal Techniques for Synchronized Fault-Tolerant Systems....Pages 163-188
Compiler Correctness and Input/Output....Pages 189-209
Front Matter....Pages 211-211
Control Flow Checking in Object-Based Distributed Systems....Pages 213-232
Front Matter....Pages 233-233
A โStrongly-Fail-Safe Majority Voted Outputโ Circuit used for Designing Dependable Computer Systems....Pages 235-253
Dependable Computing for Railway Control Systems....Pages 255-277
Front Matter....Pages 279-279
A Hybrid Monitor Assisted Fault Injection Environment....Pages 281-302
Space/Time Overhead Analysis and Experiments with Techniques for Fault Tolerance....Pages 303-318
Front Matter....Pages 319-319
Primary-Backup Protocols: Lower Bounds and Optimal Implementations....Pages 321-343
A Linguistic Framework for Dynamic Composition of Dependability Protocols....Pages 345-363
Using Two-Phase Commit for Crash Recovery in Federated Multilevel Secure Database Management Systems....Pages 365-381
Back Matter....Pages 383-384
โฆ Subjects
Special Purpose and Application-Based Systems; Automotive Engineering; Software Engineering; Computing Methodologies
๐ SIMILAR VOLUMES
<p>This volume contains the papers presented at the Second International Workยญ ing Conference on Dependable Computing for Critical Applications, sponsored by IFIP Working Group lOA and held in Tucson, Arizona on February 18-20, 1991. In keeping with the first such conference on this topic, which too
<p>This volume contains the articles presented at the Fourth InternationallFIP Working Conference on Dependable Computing for Critical Applications held in San Diego, California, on January 4-6, 1994. In keeping with the previous three conferences held in August 1989 at Santa Barbara (USA), in Febru
Foundations of Dependable Computing: Paradigms for Dependable Applications, presents a variety of specific approaches to achieving dependability at the application level. Driven by the higher level fault models of Models and Frameworks for Dependable Systems, and built on the lower level abstrac
<p><em>Dependable Network Computing</em> provides insights into various problems facing millions of global users resulting from the `internet revolution'. It covers real-time problems involving software, servers, and large-scale storage systems with adaptive fault-tolerant routing and dynamic reconf
Foundations of Dependable Computing: Models and Frameworks for Dependable Systems presents two comprehensive frameworks for reasoning about system dependability, thereby establishing a context for understanding the roles played by specific approaches presented in this book's two companion volume