Industrial Perspectives of Safety-critical Systems
Subtitle: Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham 1998
By: edited by Felix Redmill, Tom Anderson
Contributors: Anderson, Tom
Publisher: Springer London
Published: 1998
Place of publication: London
Language: eng
Format: [electronic resource] :
Number of pages: 233
ISBN-13: 9781447115342
Description: 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.
Table of contents: title: J. Garnsworthy, Managing a Safety-critical System Development Project; title: I. Spalding, Principles of Safety Management; title: T. Cockram et al., A System Requirements Traceability Model; title: P. Bennett, Small Modules as Configuration Items in Certified Safety-critical Systems; title: B. Wichmann, Ada for High Integrity; title: G. Myhrman, Developments for Safer Systems in the Swedish Defence; title: S. Visram, S. Tewari, Managing Safety within a Large and Complex Air Traffic Control Project; title: A. Hessami, Risk Management, a Holistic Business Perspective; title: C. Rees, V. Hamilton, Independent Safety Auditing; title: M. Pritchard, Safeguarding Systems: In-service Management; title: G. Buckle, Static Analysis of Safety-critical Software; title: Techniques, Tools and Experiences; title: R. Granville, T. Waters, Use of Static Code Analysis to Support the Safety Certification of Airborne Software; title: R. Brown, Improving the Production and Presentation of Safety Cases through the use of Intranet Technology; title: P. Bishop, R. Bloomfield, A Methodology for Safety Cases; title: N. Knowles, On the Validation of Finite Element Models; title: R. May, J. McDermid, COTS in Safety-related Systems; title: 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.