Technology and Assessment of Safety-Critical Systems: Proceedings of the Second Safety-critical Systems Symposium, Birmingham, UK, 8â 10 February 1994

ISBN 10: 3540198598 / ISBN 13: 9783540198598

Published by Springer, 1994

About this Item

A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.

Seller Inventory # OTV.3540198598.G

Bibliographic Details

• Title: Technology and Assessment of Safety-Critical Systems: Proceedings of the Second Safety-critical Systems Symposium, Birmingham, UK, 8â 10 February 1994
• Publisher: Springer
• Publication Date: 1994
• Language: English
• ISBN 10: 3540198598
• ISBN 13: 9783540198598
• Binding: Soft cover
• Condition: good

About this title

Synopsis

The programme for the Second Safety-critical Systems Symposium was planned to examine the various aspects of technology currently employed in the design of safety-critical systems, as well as to emphasise the importance of safety and risk management in their design and operation. assessment There is an even balance of contributions from academia and industry. Thus, industry is given the opportunity to express its views of the safety-critical domain and at the same time offered a glimpse of the technologies which are currently under development and which, if successful, will be available in the medium-term future. In the field of technology, a subject whose importance is increasingly being recognised is human factors, and there are papers on this from the University of Hertfordshire and Rolls-Royce. Increasingly, PLCs are being employed in safety-critical applications, and this domain is represented by contributions from Nuclear Electric and August Computers. Then there are papers on maintainability, Ada, reverse engineering, social issues, formal methods, and medical systems, all in the context of safety. And, of course, it is not possible to keep the 'new' technologies out of the safety-critical domain: there are papers on neural networks from the University of Exeter and knowledge-based systems from ERA Technology.