Skip to main content
SpringerLink
Log in

Directions in Safety-Critical Systems

Proceedings of the First Safety-critical Systems Symposium The Watershed Media Centre, Bristol 9–11 February 1993

  • Conference proceedings
  • © 1993

Overview

Editors:
  1. Felix Redmill

    1. London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Tom Anderson

    1. Centre for Software Reliability, University of Newcastle-upon-Tyne, Newcastle-upon-Tyne, 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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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 (19 papers)

  1. Front Matter

    Pages i-vii
    Download chapter PDF

  3. Current Research

    1. Front Matter

      Pages 65-65
      Download chapter PDF

    2. Classification of Programmable Electronic Systems Operation for Testability

      • J. S. Parkinson
      Pages 67-83

    3. Data Management in Clinical Laboratory Information Systems

      • Richard Fink, Susan Oppert, Paul Collinson, Glenn Cooke, Sukhdev Dhanjal, Hamid Lesan et al.
      Pages 84-95

    4. Software Engineering Methods for Industrial Safety Related Applications

      • Audrey Canning
      Pages 96-102

    5. Finite Element Safety Critical Software

      • A. J. Morris
      Pages 103-132

    6. Using the Functional Programming Language Haskell to Specify Image Analysis Systems

      • Ian Poole, Derek Charleston, Brian Finnie
      Pages 133-149

    7. Developing an environment for computer-based automotive suspension and steering systems

      • J. Robinson, S. Menani Merad
      Pages 150-167

    8. The Practical Application Of Formal Methods To High Integrity Systems

      • Peter Bradley, Linda Shackleton, Victoria Stavridou
      Pages 168-176

    9. Tool Support for an Application-Specific Language

      • R. E. B. Barnard
      Pages 177-191

  4. Achieving and Evaluating Safety

    1. Front Matter

      Pages 193-193
      Download chapter PDF

    2. SAM—A Tool to Support the Construction, Review and Evolution of Safety Arguments

      • Justin Forder, Chris Higgins, John McDermid, Graham Storrs
      Pages 195-216

    3. The Need for Evidence from Disparate Sources to Evaluate Software Safety

      • Bev Littlewood
      Pages 217-231

    4. A Modified Hazop Methodology For Safety Critical System Assessment

      • D. J. Burns, R. M. Pitblado
      Pages 232-245

    5. Applying Security Techniques to Achieving Safety

      • David F. C. Brewer
      Pages 246-256
Back to top

Keywords

About this book

0 e This is the proceedings of the first annual symposium of the Safety-critical Systems Club (The Watershed Media Centre, Bristol, 9-11 February 1993), which provided a forum for exploring and discussing ways of achieving safety in computer systems to be used in safety-critical industrial applications. The book is divided into three parts, which correspond with the themes of the three days of the symposium. The first - Experience from Around Europe - brings together information on developments in safety-critical systems outside the UK. The second - Current Research - consists of papers on large projects within the UK, which involve collaboration between academia and industry, providing techniques and methods to enhance safety. The final part - Achieving and Evaluating Safety - explores how methods already in use in other domains may be applied to safety, and examines the relationships between safety and other attributes such as quality and security. The papers identify the current problems and issues of interest in the field of safety-critical software-based systems, and provide valuable up-to-date material for those in both academia and industry. The academic will benefit from information about current research complimentary to his own, and the industrialist will learn of the technologies which will soon be available and where to find them.

Editors and Affiliations

  • London, UK

    Felix Redmill

  • Centre for Software Reliability, University of Newcastle-upon-Tyne, Newcastle-upon-Tyne, UK

    Tom Anderson

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation