Computer Safety, Reliability and Security

1. Front Matter

   Pages I-XVIII

   PDF

2. Invited Talk

   1. Software Reliability Engineering in Industry

      • John D. Musa

      Pages 1-12

3. Assessment and Certification

   1. A Systematic Approach to Safety Case Maintenance

      • T. P. Kelly, J. A. McDermid

      Pages 13-26

   2. SQUALE Dependability Assessment Criteria

      • Yves Deswarte, Mohamed Kaâniche, Pierre Corneillie, John Goodson

      Pages 27-38

   3. Assessment and Certification of Safety-Critical Digital Architectures — the ACRuDA Project

      • Gerald Sonneck, Erwin Schoitsch

      Pages 39-45

4. Safety Assessment and Human Factors (Poster Session)

   1. Safety Evaluation of a Train Leader Telephone System

      • Gustav Dahll

      Pages 46-57

   2. Safety Analysis Techniques for Validating Formal Models during Verification

      • Rogério de Lemos, Amer Saeed

      Pages 58-66

   3. Evaluating the Contribution of DesktopVR for Safety—Critical Applications

      • Chris Johnson

      Pages 67-78

   4. Human Performance Reliability in the Design-for-Usability Life Cycle for Safety Human-Computer Interfaces

      • Lucia Vilela Leite Filgueiras

      Pages 79-88

   5. The Impact of Different Media on Safety and Usability of Interactive ATC Applications

      • Fabio Paternò, Carmen Santoro, Sophie Tahmassebi

      Pages 89-102

5. Human Factors

   1. Patterns for Safer Human-Computer Interfaces

      • Andrew Hussey

      Pages 103-112

   2. Impact of Communication on Systems Dependability: Human Factors Perspectives

      • Laurence Rognin, Jean-Paul Blanquart

      Pages 113-124

   3. A Method for Operator Error Detection Based on Plan Recognition

      • Jin Mo, Yves Crouzet

      Pages 125-138

6. Safety Assessment

   1. Hierarchically Performed Hazard Origin and Propagation Studies

      • Yiannis Papadopoulos, John A. McDermid

      Pages 139-152

   2. Hardware Redundant Vital Computers — Demonstration of Safety on the Basis of Current Standards

      • Heinrich Krebs, Swapan Mitra

      Pages 153-162

7. Design for Safety (Poster Session)

   1. System and Software Safety Analysis for the ERA Control Computer

      • P. G. Beerthuizen, W. Kruidhof

      Pages 163-176

   2. Safety Markup Language: Concept and Application

      • Chin-Feng Fan, Swu Yih

      Pages 177-186

   3. Extendable Ground-to-Air Communication Architecture for CoDySa

      • Algirdas Pakstas, Igor Shagaev

      Pages 187-201

   4. Hierarchical Reliability and Safety Models of Fault Tolerant Distributed Industrial Control Systems

      • J. C. Campelo, P. Yuste, F. Rodríguez, P. J. Gil, J. J. Serrano

      Pages 202-215

   5. The Development of a Commercial “Shrink-Wrapped Application” to Safety Integrity Level 2: the DUST-EXPERT™ Story

      • Tim Clement, Ian Cottam, Peter Froome, Claire Jones

      Pages 216-225

The European Commission emphasizes, in its Fifth Research Framework, the “. . . emerging generic dependability requirements in the information society, stemming both from the ubiquity and volume of embedded and networked systems and services as well as from the global and complex nature of large scale information and communication infrastructures, from citizens, administrations and business in terms of technologies, tools, systems, applications and services". The series of Conference on Computer Safety, Reliability, and Security (Safecomp) contributes to satisfy these requirements by reviewing the state of the art, experiences, and new trends in the relevant scientific and industrial areas. Safecomp is intended to be a platform for technology transfer among academia, industry, and research institutions, providing the opportunity for exchange of ideas, opinions, and visions among experts. This year Safecomp celebrates the 20th anniversary, its first Conference having been organized in Stuttgart by EWICS (European Workshop on Industrial Computer Systems) in 1979, and we hope these Proceedings will contribute to the celebration by supporting Safecomp aims. The Proceedings include the 25 papers that have been presented orally at the Conference and the full version of the 14 papers that have been presented as posters, all of which were selected from 76 submissions. Papers almost uniformly take up Safecomp topics, dealing with the issues of Safety Assessment and Human Factors, Verification and Validation, Design for Safety, Formal Methods, and Security.

• Computer Safety
• Computer Security
• Dependable Computing
• Reactive Systems
• Safety-Critical Systems
• design
• formal method
• structured analysis
• validation
• verification

• ENEA (sp 088), Roma, Italy

  Massimo Felici, Alberto Pasquini

• LAAS-CNRS, Toulouse Cedex 4, France

  Karama Kanoun

Policies and ethics