Safe Comp 97

1. Front Matter

   Pages I-XIII

   PDF

2. Safe Software

   1. Front Matter

      Pages 1-1

      PDF

   2. Software-based Safety-critical Systems: a Taxonomy

      • Hélène Papini, Frangois Simon

      Pages 3-13

   3. Safety Assessment of Software Based Systems

      • Gustav Dahll

      Pages 14-24

   4. Safe and Reliable Computer Control Systems an Overview

      • Henrik Thane

      Pages 25-36

   5. Towards Dependable Software Requirement Specifications

      • Stefan Scheer, Thomas Maier

      Pages 37-51

3. Safety Cases, Management and Development

   1. Front Matter

      Pages 53-53

      PDF

   2. Safety Case Construction and Reuse Using Patterns

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

      Pages 55-69

   3. A systematic approach to software safety integrity levels

      • Peter A. Lindsay, John A. McDermid

      Pages 70-82

   4. Integration of Safety Requirements in the Initial Phases of the Project Lifecycle of Hardware/Software Systems

      • Marc Wilikens, Marcelo Masera, Davide Vallero

      Pages 83-97

   5. Managing the Safety Argument using a Memory Prosthesis

      • David Jenkins, Brian Lees, Daniel Livingstone, Andrew Reglinski

      Pages 98-108

4. Security and Human Factors

   1. Front Matter

      Pages 109-109

      PDF

   2. Safety and Security Requirements for an Advanced Train Control System

      • Jens Braband

      Pages 111-122

   3. Cryptographic Protocols over Open Distributed Systems: A Taxonomy of Flaws and related Protocol Analysis Tools

      • S. Gritzalis, D. Spinellis

      Pages 123-137

   4. Using Executable Interactor Specifications to Explore the Impact of Operator Interaction Errors

      • Andrew M. Dearden, Michael D. Harrison

      Pages 138-147

   5. Design, Analysis and Implementation of a New Hash Function Based on Block Cipher

      • Xun Yi, Kwork-Yan Lam, Yong-Fei Han

      Pages 148-157

   6. Biometric Techniques Applied In Security Technology

      • Despina Polemi

      Pages 158-170

5. Guidelines, Standards and Certification

   1. Front Matter

      Pages 171-171

      PDF

   2. High Integrity Ada

      • B. A. Wichmann

      Pages 173-184

   3. Towards an Automotive ‘Safer Subset’ of C

      • P. D. Edwards, R. S. Rivett, G. F. McCall

      Pages 185-196

The safe and secure operation ofcomputer systems continues to be the major issue in many applications where there is a threat to people, the environment, investment or goodwill. Such applications include medical devices, railway signalling, energy distribution, vehicle control and monitoring, air traffic control, industrial process control, telecommunications systemsand manyothers. This book represents the proceedings of the 16th International Conference on Computer Safety, Reliability and Security, held in York, UK, 7-10 September 1997. The conference reviews the state ofthe art, experience 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 97 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 Conference International Programme Committee. The authors of the papers come from twelve different countries. The subjects covered include safe software, safety cases, management & development, security, human factors, guidelines standards & certification, applications & industrial experience, formal methods & models andvalidation, verification and testing. SAFECOMP '97 continues the successful series of SAFECOMP conferences first held in 1979 in Stuttgart. SAFECOMP is organised by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Safety, Security and Reliability (EWICS TC7).

• Hardware
• Standards
• computer
• design
• development
• embedded systems
• formal method
• formal methods
• modeling
• reliability
• software
• structured analysis
• testing
• validation
• verification

• GEC-Marconi Secure Systems Ltd, Liverpool, UK

  Peter Daniel

Policies and ethics