|
" Directions in safety-critical systems : "
Tom Anderson
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
745445
|
| Doc. No
|
:
|
b565394
|
| Main Entry
|
:
|
Tom Anderson
|
| Title & Author
|
:
|
Directions in safety-critical systems : : proceedings of the first Safety-Critical Systems Symposium, the Watershed Media Centre, Bristol, 9-11 February 1993.\ Tom Anderson
|
| Publication Statement
|
:
|
Berlin : Springer, 1993
|
| Page. NO
|
:
|
285 blz. ; .. cm.
|
| ISBN
|
:
|
3540198172
|
|
|
:
|
: 9783540198178
|
| Contents
|
:
|
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.
|
| Subject
|
:
|
Automatic control.
|
| Subject
|
:
|
Industrial safety.
|
| LC Classification
|
:
|
T55.T663 1993
|
| Added Entry
|
:
|
Felix Redmill
|
|
|
:
|
Safety-Critical Systems Club.
|
|
|
:
|
Tom Anderson
|
| |