Industrial perspectives of safety-critical systems :
General Material Designation
[Book]
Other Title Information
proceedings of the sixth Safety-Critical Systems Symposium, Birmingham, 1998
First Statement of Responsibility
Felix Redmill and Tom Anderson (eds.).
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
London ; New York
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
1998
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
ix, 233 pages : illustrations ; 24 cm
CONTENTS NOTE
Text of Note
Issues in Managing a Safety-Critical System Development Project.- Principles of Engineering Safety Management.- A System Requirements Traceability Model: An Industrial Application.- Small Modules as Configuration Items in Certified Safety Critical Systems.- Ada for High Integrity.- Developments for Safer Systems in the Swedish Defence.- Managing Safety Within a Large and Complex Air Traffic Control Project.- Risk: A Holistic Business Perspective.- Independent Safety Auditing.- Safeguarding Systems: In-Service Management.- Static Analysis of Safety Critical Software (Techniques, Tools and Experiences).- Use of Static Code Analysis to Support the Safety Certification of Airborne Software.- Improving the Production and Presentation of Safety Cases through the use of Intranet Technology.- A Methodology for Safety Case Development.- On the Validation of Finite Element Models - an Industrial Perspective.- COTS in Safety-related Systems - Issues and an Illustration.- Research into the Safety Issues Arising from Using ASIC Devices as a Potential Replacement Technology for Analogue Trip Amplifiers in Existing Reactor Safety Systems.- Author Index.