عنوان

Directions in safety-critical systems :

(Number (ISBN

3540198172

(Number (ISBN

9783540198178

Number

b565394

Title Proper

Directions in safety-critical systems :

General Material Designation

[Book]

Other Title Information

proceedings of the first Safety-Critical Systems Symposium, the Watershed Media Centre, Bristol, 9-11 February 1993.

First Statement of Responsibility

Tom Anderson

Place of Publication, Distribution, etc.

Berlin

Name of Publisher, Distributor, etc.

Springer

Date of Publication, Distribution, etc.

1993

Specific Material Designation and Extent of Item

285 blz. ; .. cm.

Text of Note

I: Experience from Around Europe.- Certification of Safety Critical Systems in Germany.- Safety for European Space Agency Space Programmes.- The Swedish State Railways' Experience with n-Version Programmed Systems.- Potential Difficulties in Managing Safety-critical Computing Projects: a Sociological View.- II: Current Research.- Classification of Programmable Electronic Systems Operation for Testability.- Data Management in Clinical Laboratory Information Systems.- Software Engineering Methods for Industrial Safety Related Applications.- Finite Element Safety Critical Software.- Using the Functional Programming Language Haskell to Specify Image Analysis Systems.- Developing an Environment for Computer-based Automotive Suspension and Steering Systems.- The Practical Application of Formal Methods to High Integrity Systems - The SafeFM Project.- Tool Support for an Application-specific Language.- III: Achieving and Evaluating Safety.- SAM - A Tool to Support the Construction, Review and Evolution of Safety Arguments.- The Need for Evidence from Disparate Sources to Evaluate Software Safety.- A Modified Hazop Methodology for Safety Critical System Assessment.- Applying Security Techniques to Achieving Safety.- New Developments in Quality Management as a Pre-requisite to Safety.- An Industrial Approach to Integrity Level Determination and Safety Interlock System Implementation.- Unification in Uncertainty?.- Author Index.

Automatic control.

Industrial safety.

Class number

Book number

Tom Anderson

Felix Redmill

Safety-Critical Systems Club.

Tom Anderson

Electronic name

[Book]

Y