Dependable Computing for Critical Applications 3

1. Front Matter

   Pages N2-XII

   PDF

2. Functional Testing

   1. Front Matter

      Pages 1-1

      PDF

   2. On Functional Statistical Testing Designed from Software Behavior Models

      • Pascale Thévenod-Fosse, Hélène Waeselynck

      Pages 3-28

   3. Functional Test Case Generation for Real-Time Systems

      • Dino Mandrioli, Sandro Morasca, Angelo Morzenti

      Pages 29-61

3. Specification and Verification of Fault Tolerance

   1. Front Matter

      Pages 63-63

      PDF

   2. Design for Dependability

      • Jens Nordahl

      Pages 65-89

   3. Tracing Fault Tolerance

      • Henk Schepers

      Pages 91-110

4. Dependability and Performance

   1. Front Matter

      Pages 111-111

      PDF

   2. Evaluation of Fault-Tolerant Software: A Performability Modeling Approach

      • Ann T. Tai, Algirdas Avižienis, John F. Meyer

      Pages 113-135

   3. On the Transient Analysis of Stiff Markov Chains

      • Jürgen Dunkel, Harald Stahl

      Pages 137-160

5. Application of Formal Methods

   1. Front Matter

      Pages 161-161

      PDF

   2. Formal Techniques for Synchronized Fault-Tolerant Systems

      • Ben L. Di Vito, Ricky W. Butler

      Pages 163-188

   3. Compiler Correctness and Input/Output

      • Paul Curzon

      Pages 189-209

6. On Line Error Detection

   1. Front Matter

      Pages 211-211

      PDF

   2. Control Flow Checking in Object-Based Distributed Systems

      • Nasser A. Kanawati, Ghani A. Kanawati, Jacob A. Abraham

      Pages 213-232

7. Safety-Critical Industrial Systems

   1. Front Matter

      Pages 233-233

      PDF

   2. A “Strongly-Fail-Safe Majority Voted Output” Circuit used for Designing Dependable Computer Systems

      • Serge Noraz, Michel Prunier

      Pages 235-253

   3. Dependable Computing for Railway Control Systems

      • Giorgio Mongardi

      Pages 255-277

8. Experimental Evaluation

   1. Front Matter

      Pages 279-279

      PDF

   2. A Hybrid Monitor Assisted Fault Injection Environment

      • Luke T. Young, Carlos Alonso, Ravi K. Iyer, Kumar K. Goswami

      Pages 281-302

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.

• design
• development
• safety
• validation

• Naval Research Laboratory, USA

  Carl E. Landwehr

• Dept. of Computer Sc., Univ. of Newcastle, Newcastle upon Tyne, UK

  Brian Randell

• Dip. Ingegneria dell’Informazione, Università di Pisa, Pisa, Italia

  Luca Simoncini

Policies and ethics