Skip to main content

Achievement and Assurance of Safety

Proceedings of the Third Safety-critical Systems Symposium

  • Conference proceedings
  • © 1995

Overview

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

Access this book

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 (18 papers)

Keywords

About this book

Each year there are improvements in safety-critical system technology. These arise both from developments in the contributing technologies, such as safety engineering, software engineering, human factors and risk assessment, and from the adoption or adaptation of appropriate techniques from other domains, such as security. For these improvements to be of real benefit, they need to be applied during the appropriate stage in the life cycle of the system, whether it be development, assessment, or operation. For this to occur, they must be communicated and explained. Each year the Safety-critical Systems Symposium offers a distinguished forum for the presentation of papers on such developments, and also for papers from industry on the lessons learned from the use of technologies and methods. The results of many collaborative research projects, with components from both industry and academia, are reported in a universally understandable form. In 1995 the Symposium was held in Brighton, a venue calculated to stimulate not just the presenters of papers, but all the delegates. Yet, this book of Proceedings is intended not only for the delegates but also for readers not able to attend the event itself. We welcome both categories of reader. Delegates have the benefit of attending the presentations and the opportunity to participate in the discussions; those who take up this book after the event can peruse it attheir leisure and, perhaps, on account of it will resolve to attend subsequent symposia.

Editors and Affiliations

  • London, UK

    Felix Redmill

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

    Tom Anderson

Bibliographic Information

  • Book Title: Achievement and Assurance of Safety

  • Book Subtitle: Proceedings of the Third Safety-critical Systems Symposium

  • Editors: Felix Redmill, Tom Anderson

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

  • Publisher: Springer London

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag London Limited 1995

  • Softcover ISBN: 978-3-540-19922-9Published: 10 February 1995

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

  • Edition Number: 1

  • Number of Pages: IX, 329

  • Number of Illustrations: 5 b/w illustrations

  • Topics: Software Engineering

Publish with us