• Achievement and Assurance of Safety: Proceedings of the Third Safety-critical Systems Symposium See large image

    Achievement and Assurance of Safety: Proceedings of the Third Safety-critical Systems Symposium (Paperback) Edited by Felix Redmill, Edited by Tom Anderson

    $91.38 - Save $24.88 21% off - RRP $116.26 Free delivery worldwide Available
    Dispatched in 3 business days
    When will my order arrive?
    Add to basket | Add to wishlist |

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


Other books

Other people who viewed this bought | Other books in this category
Showing items 1 to 9 of 9

 

Reviews | Bibliographic data
  • Full bibliographic data for Achievement and Assurance of Safety

    Title
    Achievement and Assurance of Safety
    Subtitle
    Proceedings of the Third Safety-critical Systems Symposium
    Authors and contributors
    Edited by Felix Redmill, Edited by Tom Anderson
    Physical properties
    Format: Paperback
    Number of pages: 336
    Width: 138 mm
    Height: 216 mm
    Thickness: 18 mm
    Weight: 535 g
    Language
    English
    ISBN
    ISBN 13: 9783540199229
    ISBN 10: 3540199225
    Classifications

    BIC E4L: COM
    Nielsen BookScan Product Class 3: S10.0
    B&T Book Type: NF
    B&T Modifier: Region of Publication: 03
    BIC subject category V2: UY
    B&T Merchandise Category: SCI
    Warengruppen-Systematik des deutschen Buchhandels: 16320
    Ingram Subject Code: TE
    B&T Modifier: Academic Level: 03
    B&T Modifier: Text Format: 01
    B&T General Subject: 227
    BIC subject category V2: TBC
    BISAC V2.8: TEC017000, COM051230
    B&T Modifier: Text Format: 05
    BIC subject category V2: TGPR
    DC22: 620.86
    BIC subject category V2: UBH
    DC22: 620.8/6
    LC subject heading: ,
    LC classification: T55.A1S225
    DC23: 620.860285
    LC classification: T55.A1 S225 1995
    Thema V1.0: UY, UBH, TBC, TGPR
    Edition statement
    Softcover Reprint of the Origi ed.
    Illustrations note
    5 black & white illustrations, biography
    Publisher
    Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    Imprint name
    Springer-Verlag Berlin and Heidelberg GmbH & Co. K
    Publication date
    01 December 1995
    Publication City/Country
    Berlin
    Table of contents
    Achieving Safety in Complex Control Systems.- Measuring the Benefits of Transport Safety.- Programming Languages and Safety-Related Systems.- On the Qualification of Safety-Critical Structures - the SAFESA Approach.- FRESCO - An Investigation into a Framework for the Assessment of Safety-Critical Systems.- Independent Safety Assessment of Rail Systems in their Operational Environment.- Enhancing Safety Assurance Using Security Concepts.- Extending a Security Evaluation Standard (the ITSEC) to Dependability.- A Framework for Enhancing the Safety Process for Advanced Robot Applications.- Safe Systems for Mobile Robots - The Safe-SAM Project.- Nuclear Electric's Contributions to the CONTESSE Testing Framework and its Early Application.- Current Practice in Verification, Validation and Licensing of Safety Critical Systems - The Assessor's Point of View.- A Code of Practice for the Development of Safe PLC Software.- Using Incident Analysis to Derive a Methodology for Assessing Safety in Programmable Systems.- Process Systems Applications of Artificial Neural Networks.- A Knowledge-based Approach to the Safe Design of Distributed Networks.- Where do Specifications Come From?.- Formalising Fault Trees.- Author Index.