عنوان

Industrial perspectives of safety-critical systems :

3540761896

9783540761891

b537198

Industrial perspectives of safety-critical systems :

[Book]

proceedings of the sixth Safety-Critical Systems Symposium, Birmingham, 1998

Felix Redmill and Tom Anderson (eds.).

London ; New York

Springer

1998

ix, 233 pages : illustrations ; 24 cm

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.

Automatic control -- Reliability -- Congresses.

Computer software -- Reliability -- Congresses.

Industrial safety -- Congresses.

Felix Redmill and Tom Anderson (eds.).

Felix Redmill

Tom Anderson

[Book]

Y