Beschreibung
Current Issues in Safety-Critical Systems contains the invited papers presented at the eleventh annual Safety-critical Systems Symposium, held in February 2003. The safetycritical 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.
Autorenporträt
InhaltsangabeList.- 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.
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com
