SAFECOMP ’93

1. Front Matter

   Pages i-xv

   PDF

2. Invited Paper

   1. Front Matter

      Pages 1-1

      PDF

   2. Safety — status and perspectives

      • Tom Anderson

      Pages 3-6

3. Formal Methods and Models

   1. Front Matter

      Pages 7-7

      PDF

   2. Data Flow Control Systems: an Example of Safety Validation

      • Cinzia Bernardeschi, Luca Simoncini, Andrea Bondavalli

      Pages 9-20

   3. Validating Safety Models with Fault Trees

      • Glenn Bruns, Stuart Anderson

      Pages 21-30

   4. Composition and Refinement of Probabilistic Real-Time Systems

      • Zhiming Liu, Jens Nordahl, Erling Vagn Sørensen

      Pages 31-40

   5. The Application of Formal Methods for the Redevelopment of a Laboratory Information Management System

      • Paul Collinson, Susan Oppert, Steven Hughes

      Pages 41-49

4. Applications

   1. Front Matter

      Pages 51-51

      PDF

   2. PLC-Implementation of Emergency Shut-Down Systems

      • Wolfgang A. Halang, Johan Scheepstra

      Pages 53-62

   3. The Fast Cost Effective Design and Concurrent Certification of the Safe Computer for a Real Time Train Control Application

      • G. A. Mutone, M. Rothfelder

      Pages 63-72

   4. Design and Analysis of a Failsafe Algorithm for Solving Boolean Equations

      • Harvey E. Rhody, Vittorio Manoni, James R. Hoelscher

      Pages 73-82

5. Safety Assessment

   1. Front Matter

      Pages 83-83

      PDF

   2. Programmable Electronic System Analysis Technique in Safety Critical Applications

      • M. J. P. van der Meulen, T. Stålhane, B. Cole

      Pages 85-90

   3. Safety Assessment — The Critical System Suppliers View

      • C. J. Goring

      Pages 91-98

   4. Hazard Analysis Using HAZOP: A Case Study

      • Morris Chudleigh

      Pages 99-108

6. Safety Analysis

   1. Front Matter

      Pages 109-109

      PDF

   2. Safety Analysis of Clinical Laboratory Systems

      • S. S. Dhanjal, R. Fink

      Pages 111-122

   3. The Benefits of SUSI: Safety Analysis of User System Interaction

      • M. F. Chudleigh, J. N. Clare

      Pages 123-132

7. Panel Session: Technology Transfer Between Academia and Industry

   1. Front Matter

      Pages 133-133

      PDF

The safe operation of computer systems continues to be a key issue in many applications where people, environment, investment, or goodwill can be at risk. Such applications include medical, railways, power generation and distribution, road transportation, aerospace, process industries, mining, military and many others. This book represents the proceedings of the 12th International Conference on Computer Safety, Reliability and Security, held in Poznan, Poland, 27-29 October 1993. The conference reviews the state of the art, experiences and new trends in the areas of computer safety, reliability and security. It forms a platform for technology transfer between academia, industry and research institutions. In an expanding world-wide market for safe, secure and reliable computer systems SAFECOMP'93 provides an opportunity for technical developers, users, and legislators to exchange and review the experience, to consider the best technologies now available and to identify the skills and technologies required for the future. The papers were carefully selected by the International Program Com­ mittee of the Conference. The authors of the papers come from 16 different countries. The subjects covered include formal methods and models, safety assessment and analysis, verification and validation, testing, reliability issues and dependable software tech­ nology, computer languages for safety related systems, reactive systems technology, security and safety related applications. As to its wide international coverage, unique way of combining partici­ pants from academia, research and industry and topical coverage, SAFECOMP is outstanding among the other related events in the field.

• control
• design
• manufacturing
• reliability
• safety
• security
• technology transfer
• quality control, reliability, safety and risk

• Franco-Polish School of New Information and Communication Technology, Poznań, Poland

  Janusz Górski

Policies and ethics