| Document Type
|
:
|
BL
|
| Record Number
|
:
|
717511
|
| Doc. No
|
:
|
b537198
|
| Main Entry
|
:
|
Felix Redmill and Tom Anderson (eds.).
|
| Title & Author
|
:
|
Industrial perspectives of safety-critical systems : : proceedings of the sixth Safety-Critical Systems Symposium, Birmingham, 1998\ Felix Redmill and Tom Anderson (eds.).
|
| Publication Statement
|
:
|
London ; New York: Springer, 1998
|
| Page. NO
|
:
|
ix, 233 pages : illustrations ; 24 cm
|
| ISBN
|
:
|
3540761896
|
|
|
:
|
: 9783540761891
|
| Contents
|
:
|
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.
|
| Subject
|
:
|
Automatic control -- Reliability -- Congresses.
|
| Subject
|
:
|
Computer software -- Reliability -- Congresses.
|
| Subject
|
:
|
Industrial safety -- Congresses.
|
| LC Classification
|
:
|
T55.A1F455 1998
|
| Added Entry
|
:
|
Felix Redmill
|
|
|
:
|
Tom Anderson
|