Current Issues in Safety-Critical Systems Proceedings of the Eleventh Safety-critical Systems Symposium, Bristol, UK, 4-6 February 2003
Başlık:
Current Issues in Safety-Critical Systems Proceedings of the Eleventh Safety-critical Systems Symposium, Bristol, UK, 4-6 February 2003
ISBN:
9781447106531
Edition:
1st ed. 2003.
Yayın Bilgileri:
London : Springer London : Imprint: Springer, 2003.
Fiziksel Tanımlama:
X, 276 p. 21 illus. online resource.
Contents:
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.
Abstract:
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.
Ek Kurum Yazarı:
Elektronik Erişim:
Full Text Available From Springer Nature Computer Science Archive Packages
Dil:
English