Achievement and Assurance of Safety Proceedings of the Third Safety-critical Systems Symposium
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 do...
| Other Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
London
Springer London
1995, 1995
|
| Edition: | 1st ed. 1995 |
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
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