• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Assuring the Safety of Systems: Proceedings of the Twenty-first Safety-critical Systems Symposium, Bristol, UK, 5-7th February 2013

Assuring the Safety of Systems: Proceedings of the Twenty-first Safety-critical Systems Symposium, Bristol, UK, 5-7th February 2013

Paperback

Series: Proceedings of the Safety-Critical Systems Symposium, Book 21

General Computers

ISBN10: 1481018647
ISBN13: 9781481018647
Publisher: Createspace
Published: Dec 28 2012
Pages: 330
Weight: 1.02
Height: 0.69 Width: 6.14 Depth: 9.21
Language: English
Assuring the Safety of Systems contains papers presented at the twenty-first annual Safety-Critical Systems Symposium, held in Bristol, UK, in February 2013. The Symposium is for engineers, managers and academics in the field of system safety, across all industry sectors, so the papers making up this volume offer a wide-ranging coverage of current safety topics, and a blend of academic research and industrial experience. They include both recent developments in the field and discussion of open issues that will shape future progress. The topics covered by the 20 papers in this volume include safety certification, regulation and acceptance in a number of industry sectors; identification of potentially hazardous control actions; safety cases; product safety; risk management; formal methods; hazard analysis; formal proofs and testing; the balance between designed-in and procedural approaches to safety; human factors; and safety culture. This book will be of interest to both academics and practitioners working in the safety-critical systems arena.

Also in

General Computers