An edition of Industrial Perspectives of Safety-critical Systems
(1998)
Industrial Perspectives of Safety-critical Systems
Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham 1998
by Felix Redmill
Share
×Close
This volume contains the invited papers presented at the sixth annual Safety-critical Systems Symposium. They cover a broad spectrum of issues affecting safety, from a philosophical appraisal to technology transfer, intelligence and psychological aspects . The papers presented in this volume offer views both of the topics which are considered by industry to be important and of what is going on in industry with respect to them. Understanding these two views can lead to better and swifter technology transfer and more focused research, both of which should be reflected in time, in safer systems. All of the papers address practical issues and offer useful information and advice.
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Industrial Perspectives of Safety-Critical Systems
1998, Island Press
in English
144711535X 9781447115359
|
zzzz
|
2
Industrial Perspectives of Safety-critical Systems: Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham 1998
1998, Springer London
electronic resource :
in English
1447115341 9781447115342
|
aaaa
|
Book Details
Table of Contents
J. Garnsworthy, Managing a Safety-critical System Development Project
I. Spalding, Principles of Safety Management
T. Cockram et al., A System Requirements Traceability Model
P. Bennett, Small Modules as Configuration Items in Certified Safety-critical Systems
B. Wichmann, Ada for High Integrity
G. Myhrman, Developments for Safer Systems in the Swedish Defence
S. Visram, S. Tewari, Managing Safety within a Large and Complex Air Traffic Control Project
A. Hessami, Risk Management, a Holistic Business Perspective
C. Rees, V. Hamilton, Independent Safety Auditing
M. Pritchard, Safeguarding Systems: In-service Management
G. Buckle, Static Analysis of Safety-critical Software
Techniques, Tools and Experiences
R. Granville, T. Waters, Use of Static Code Analysis to Support the Safety Certification of Airborne Software
R. Brown, Improving the Production and Presentation of Safety Cases through the use of Intranet Technology
P. Bishop, R. Bloomfield, A Methodology for Safety Cases
N. Knowles, On the Validation of Finite Element Models
R. May, J. McDermid, COTS in Safety-related Systems
B. Jennings, Research into the Safety Issues Arising form Using ASIC Devices as a Potential Replacement Technology for Analogue Trip Amplifiers in Existing Reactor Safety Systems.
Edition Notes
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
See All
| July 1, 2019 | Created by MARC Bot | import new book |