Current Issues in Safety-Critical Systems: Proceedings of the Eleventh Safety-Critical Systems Symposium, Bristol, Uk, 4-6 February 2003

ISBN-13: 9781852336967 / Angielski / Miękka / 2003 / 276 str.

Mary Woronov; F. Ed Redmill; Felix Redmill

Opis

Current Issues in Safety-Critical Systems contains the invited papers presented at the eleventh annual Safety-critical Systems Symposium, held in February 2003. The safety-critical systems domain is rapidly expanding and its industrial problems are always candidates for academic research. It embraces almost all industry sectors; current issues in one are commonly appropriate to others. The Safety-critical System Symposium provides an annual forum for discussing such issues. The papers contained within this volume cover a broad range of subjects. They represent a great deal of industrial experience as well as some academic research. All the papers are linked by addressing current issues in safety-critical systems: Dependability Requirements Engineering; Human Error Management; Influences on Risk; Safety Cases; Reforming the Law; Safety Management and Safety Standards.

Spis treści

List.- Safety Requirements.- An Integrated Approach to Dependability Requirements Engineering.- Human Factors.- Integrating Human Error Management Strategies Throughout the System Lifecycle.- Measuring and Managing Culturally Inspired Risk.- Safe Systems: Construction, Destruction and Deconstruction.- The Safety Case - 1.- Developing a Safety Case for Autonomous Vehicle Operation on an Airport.- Managing Complex Safety Cases.- Development and Legal Issues.- White Box Software Development.- Reforming the Law on Involuntary Manslaughter: The Government’s Proposals on Corporate Killing.- The Safety Case - 2.- Electronic Safety Cases: Challenges and Opportunities.- Safety Case Categories - Which One When?.- Safety Assessment.- An Assessment of Software Sneak Analysis.- Processes for Successful Safety Management in Acquisition.- Assurance of Safety-related Applications on a COTS Platform.- Application and Development of Standards.- The Application of BS IEC 61508 to Legacy Programmable Electronic Systems.- The Software Safety Standards and Code Verification.- Evolution of the UK Defence Safety Standards.- Author Index.