|
" Achievement and assurance of safety : "
ed. by Felix Redmill ... Safety Critical Systems Club.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
745477
|
| Doc. No
|
:
|
b565426
|
| Main Entry
|
:
|
ed. by Felix Redmill ... Safety Critical Systems Club.
|
| Title & Author
|
:
|
Achievement and assurance of safety : : proceedings of the Third Safety Critical Systems Symposium, Brighton, UK, 7-9 February 1995\ ed. by Felix Redmill ... Safety Critical Systems Club.
|
| Publication Statement
|
:
|
London ; Berlin : Springer, 1995
|
| Page. NO
|
:
|
327 Seiten : Diagramme
|
| ISBN
|
:
|
3540199225
|
|
|
:
|
: 9783540199229
|
| 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.
|
| Subject
|
:
|
Datensicherung.
|
| Subject
|
:
|
Informationstechnik.
|
| Subject
|
:
|
Risiko.
|
| LC Classification
|
:
|
T55.A1E339 1995
|
| Added Entry
|
:
|
Felix Redmill
|
| |