عنوان

Achievement and assurance of safety :

(Number (ISBN

3540199225

(Number (ISBN

9783540199229

Number

b565426

Title Proper

Achievement and assurance of safety :

General Material Designation

[Book]

Other Title Information

proceedings of the Third Safety Critical Systems Symposium, Brighton, UK, 7-9 February 1995

First Statement of Responsibility

ed. by Felix Redmill ... Safety Critical Systems Club.

Place of Publication, Distribution, etc.

London ; Berlin

Name of Publisher, Distributor, etc.

Springer

Date of Publication, Distribution, etc.

1995

Specific Material Designation and Extent of Item

327 Seiten : Diagramme

Text of Note

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.

Datensicherung.

Informationstechnik.

Risiko.

Class number

Book number

ed. by Felix Redmill ... Safety Critical Systems Club.

Felix Redmill

Electronic name

[Book]

Y