Skip to main content
SpringerLink
Log in

Safe Comp 97

The 16th International Conference on Computer Safety, Reliability and Security

  • Conference proceedings
  • © 1997

Overview

Editors:
  1. Peter Daniel

    1. GEC-Marconi Secure Systems Ltd, Liverpool, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (29 papers)

  1. Front Matter

    Pages I-XIII
    Download chapter PDF

  2. Safe Software

    1. Front Matter

      Pages 1-1
      Download chapter 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
      Download chapter 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

  5. Guidelines, Standards and Certification

    1. Front Matter

      Pages 171-171
      Download chapter 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
Back to top

Keywords

About this book

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).

Editors and Affiliations

  • GEC-Marconi Secure Systems Ltd, Liverpool, UK

    Peter Daniel

Bibliographic Information

  • Book Title: Safe Comp 97

  • Book Subtitle: The 16th International Conference on Computer Safety, Reliability and Security

  • Editors: Peter Daniel

  • DOI: https://doi.org/10.1007/978-1-4471-0997-6

  • Publisher: Springer London

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag London Limited 1997

  • Softcover ISBN: 978-3-540-76191-4Published: 11 September 1997

  • eBook ISBN: 978-1-4471-0997-6Published: 06 December 2012

  • Edition Number: 1

  • Number of Pages: XIII, 381

  • Number of Illustrations: 18 b/w illustrations

  • Topics: Software Engineering, System Performance and Evaluation

Publish with us

Policies and ethics

Back to top

Search

Navigation