Improvements in system safety : proceeding of the Sixteenth Safety-critical Systems Symposium, Bristol, UK, 5-7 February 2008
著者
書誌事項
Improvements in system safety : proceeding of the Sixteenth Safety-critical Systems Symposium, Bristol, UK, 5-7 February 2008
Springer, c2008
- pbk.
大学図書館所蔵 件 / 全2件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
内容説明・目次
内容説明
This book contains the full complement of papers presented at the sixteenth annual Safety-critical Systems Symposium, held at Bristol, UK, in February 2008. The Symposium is for engineers, managers and academics in the field of safety, across all industry sectors, and so the papers included offer a wide-ranging coverage of major safety issues as well as a good blend of academic research and industrial experience. They include discussions of some of the most recent developments.
目次
Tutorial Paper.- Can Process-Based and Product-Based Approaches to Software Safety Certification be Reconciled?.- Themes Reprised from SSS ?07.- Making Safe Software Secure.- Safety Process Improvement with POSE and Alloy.- How to Select a Programming Language Subset to Maximise Software Quality.- The Safety Case.- Safety Case Development How can I continue the work?.- Safety Case Experiences from Harrier.- Safety Culture.- Investigation to Establish Whether Cultural Analysis can be used to Improve the Interactions Between Design, Safety and Operations Departments.- Human Performance Improvement-Reducing Significant Events in Nuclear Power.- Human Factors.- A Human Factors Perspective on Safety Management Systems.- Human Factors Safety Assurance for Changing ATM Systems.- Achieving and Improving System Safety.- Practical Ways of Improving Product Safety in Industry.- Prototyping versus Formal Development.- Systems Approach to Unmanned Air Vehicle Development and Certification.- Safety and Risk Analysis.- Safety Analysis: Thoughts on Methods and Experience.- Simplifying the Creation and Use of the Risk Matrix.
「Nielsen BookData」 より