|
![]() |
|||
|
||||
OverviewThe field of safety-critical systems covers computer systems in hazardous applications. As traditional means of control such as relays are replaced by software, the field is rapidly expanding and increasing in importance. It is formed by the convergence of software engineering and safety engineering, and its criticality emphasizes the importance of a number of other disciplines, such as human factors, management, psychology, sociology and quality. This volume contains the invited papers presented at the fifth 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. They touch on a number of industry sectors, but are restricted to none, for the essence of the event is the transfer of lessons and technologies between sectors. All the appers address practical issues and offer useful information and advice. Full Product DetailsAuthor: Felix Redmill , Tom AndersonPublisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Edition: Softcover reprint of the original 1st ed. 1997 Dimensions: Width: 15.50cm , Height: 1.50cm , Length: 23.50cm Weight: 0.452kg ISBN: 9783540761341ISBN 10: 3540761349 Pages: 285 Publication Date: 07 February 1997 Audience: College/higher education , Professional and scholarly , Postgraduate, Research & Scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Out of stock ![]() The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available. Table of ContentsSafety-critical Systems: Prescient, Presignifying, Public-good Systems?.- Designing for Safety: Current Activities at the University of Bristol and Future Directions.- Using a Layered Functional Model to Determine Safety Requirements.- Formal Methods: No Cure for Faulty Reasoning.- Artificial Intelligence - Genuine Hazards?.- How to Improve Safety Critical Systems Standards.- Engineering Cognitive Diversity.- The PRICES Approach to Human Error.- The StAR Risk Adviser: Psychological Arguments for Qualitative Risk Assessment.- Is There a Role for Third Party Software Assessment in the Automotive Industry?.- Initial Safety Considerations for an Advanced Transport System.- Safe Systems Architectures for Autonomous Robots.- Increasing Software Integrity Using Functionally Dissimilar Monitoring.- Timing Aspects of Fault Tree Analysis of Safety Critical Systems.- SACRES - Formalism for Real Projects.- Product Monitoring for Integrity and Safety Enhancement.- Multi-disciplinary Projects and Technology Exchange - The SEMSPLC Experience.- Author Index.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |