+612 9045 4394
Achievement and Assurance of Safety : Proceedings of the Third Safety-Critical Systems Symposium, Brighton, UK, 7-9 February, 1995 - Felix Redmill

Achievement and Assurance of Safety : Proceedings of the Third Safety-Critical Systems Symposium, Brighton, UK, 7-9 February, 1995

By: Felix Redmill (Editor), Tom Anderson (Editor)

Paperback ISBN: 9783540199229
Number Of Pages: 329

Share This Book:


or 4 easy payments of $31.26 with Learn more
Ships in 7 to 10 business days

The Safety-Critical Systems Symposium is now established as the major UK conference on safety-critical systems. The book views current trends in safety-critical systems and contains a broad selection of chapters on the most relevant and up-to-date topics. It offers information not only to industry on new and emerging technologies, but also to academia on industrial techniques such as risk assessment and safety analysis.
There are chapters on relevant collaborative projects, and the book provides strategic insights as well as practical discussions of new technologies from the fields of neural networking, artificial intelligence, formal methods and robotics. Also covered are the use of languages in safety-critical software development, security principles, verification and validation, risk analysis, hazard identification, and assessment.

The Safety-critical Systems Club
Achieving Safety in Complex Control Systemsp. 1
Measuring the Benefits of Transport Safetyp. 15
Programming Languages and Safety-Related Systemsp. 48
On the Qualification of Safety-Critical Structures - the SAFESA Approachp. 65
FRESCO - An Investigation into a Framework for the Assessment of Safety-Critical Systemsp. 71
Independent Safety Assessment of Rail Systems in their Operational Environmentp. 80
Enhancing Safety Assurance Using Security Conceptsp. 90
Extending a Security Evaluation Standard (the ITSEC) to Dependabilityp. 117
A Framework for Enhancing the Safety Process for Advanced Robot Applicationsp. 131
Safe Systems for Mobile Robots - The Safe-SAM Projectp. 153
Nuclear Electric's Contributions to the CONTESSE Testing Framework and its Early Applicationp. 171
Current Practice in Verification, Validation and Licensing of Safety Critical Systems - The Assessor's Point of Viewp. 188
A Code of Practice for the Development of Safe PLC Softwarep. 207
Using Incident Analysis to Derive a Methodology for Assessing Safety in Programmable Systemsp. 223
Process Systems Applications of Artificial Neural Networksp. 240
A Knowledge-based Approach to the Safe Design of Distributed Networksp. 290
Where do Specifications Come From?p. 302
Formalising Fault Treesp. 311
Author Indexp. 329
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540199229
ISBN-10: 3540199225
Audience: General
Format: Paperback
Language: English
Number Of Pages: 329
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: GB
Dimensions (cm): 23.39 x 15.6  x 1.8
Weight (kg): 0.48