Achievement and Assurance of Safety: Proceedings of the Third Safety-Critical Systems Symposium

ISBN-13: 9783540199229 / Angielski / Miękka / 1995 / 329 str.

Felix Redmill; Tom Anderson

Opis

The Safety-Critical Systems Symposium is now established as the major UK conference on safety-critical systems. The book contains a broad selection of papers on the most relevant and up-to-date topics offering information not only to industry on new technologies, but also to academia on industrial techniques such as risk assessment and safety analysis.
The book covers a wide range of relevant subjects from collaborative projects and strategic views through to 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, and coverage of new developments in risk analysis, hazard identification and assessment.

Spis treści

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.