Invited paper -- Safety-Status and Perspectives -- Session 1: Formal Methods and Models -- Data Flow Control Systems: an Example of Safety Validation -- Validating Safety Models with Fault Trees -- Composition and Refinement of Probabilistic Real-Time Systems -- The Application of Formal Methods for the Redevelopment of a Laboratory Information Managment System -- Session 2: Applications -- PLC-Implementation of Emergency Shut-Down Systems -- The Fast Cost Effective Design and Concurrent Certification of the Safe Computer for a Real Time Train Control Application -- Design and Analysis of a Failsafe Algorithm for Solving Boolean Equations -- Session 3: Safety Assessment -- Programmable Electronic System Analysis Technique in Safety Critical Applications -- Safety Assessment-The Critical System Suppliers View -- Hazard Analysis Using HAZOP: A Case Study -- Session 4: Safety Analysis -- Safety Analysis of Clinical Laboratory Systems -- The Benefits of SUSI: Safety Analysis of User System Interaction -- Panel Session: Technology Transfer Between Academia and Industry -- Issues Affecting Technology Transfer and Experience with a Community Club -- Subsidiaries and Start-up Spin-off Companies of Inria -- Human Medium in Technology Transfer -- Technology Transfer-from Purpose to Practice -- Invited Paper -- Dependability: from Concepts to Limits -- Session 5: Verification and Validation -- The Rigorous Retrospective Static Analysis of the Sizewell 'B' Primary Protection System Software -- A Safety Critical Computer System in a Railway Application -- Session 6: Testing -- Confidently Assessing a Zero Probability of Software Failure -- A Knowledge-Based Approach to Program Testing and Analysis -- Session 7: Dependable Software -- Robust Requirements Specifications for Safety-Critical Systems -- Software Failure Data Analysis of two Successive Generations of a Switching System -- Software validation with CASE-TOOLS -- Session 8: Reliability Issues -- Dependability of Scaleable, Distributed Systems: Communication Strategies for Redundant Processes -- Real-Time Detection of Failures of Reactive Systems -- Reliability and Safety Analysis of Hierarchical Voting Schemes -- Session 9: Languages -- Designing a High-level Language for Safety Systems -- Oreste: a Reliable Reactive Real-Time Language -- Invited Paper -- How Far Can You Trust a Computer? -- Session 10: Security -- Security Audit Trail Analysis Using Genetic Algorithms -- MRSA-a New Public Key Encription Method -- A Virus-Resistant Network Interface -- Session 11: Reactive Systems -- CIP - Communicating Interacting Processes: A Formal Method for the Development of Reactive Systems -- Exception Handling and Predictability in Hard Real-Time Systems -- Development of a Fail-Safe Data Transmission System for Use in Life-Critical Applications -- Author Index.