Directions in Safety-Critical Systems
Proceedings of the First Safety-critical Systems Symposium The Watershed Media Centre, Bristol 9-11 February 1993
Published on 22. February 1993
Book
Paperback/Softback
IX, 286 pages
978-3-540-19817-8 (ISBN)
Description
0 e
More details
Edition
Softcover reprint of the original 1st ed. 1993
Language
English
Place of publication
London
United Kingdom
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
1 s/w Abbildung
IX, 286 p. 1 illus.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 17 mm
Weight
458 gr
ISBN-13
978-3-540-19817-8 (9783540198178)
DOI
10.1007/978-1-4471-2037-7
Schweitzer Classification
Other editions
Additional editions
Felix Redmill | Tom Anderson
Directions in Safety-Critical Systems
Proceedings of the First Safety-critical Systems Symposium The Watershed Media Centre, Bristol 9-11 February 1993
E-Book
12/2012
Springer
€53.49
Available for download
Content
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.