Towards system safety : proceedings of the seventh Safety-critical Systems Symposium, Huntingdon, UK 1999
著者
書誌事項
Towards system safety : proceedings of the seventh Safety-critical Systems Symposium, Huntingdon, UK 1999
Springer, c1999
- : pbk
- タイトル別名
-
Towards system safety : proceedings of the 7th Safety-critical Systems Symposium, Huntingdon, UK 1999
大学図書館所蔵 件 / 全2件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
Each year the Safety-critical Systems Symposium brings together practitioners and researchers in a quest to inculcate a higher degree of safety engineering into the development and operation of critical software-based systems. On this, the Symposium's seventh occasion, it explores recent work and experience which lead us further 'towards system safety'. This book of the Proceedings covers the entire event. The first paper is the course text of a tutorial run on the first day of the Symposium, included here to provide readers with a coverage of the entire event. The next fourteen papers were presented, on the second and third days, in six sessions: Safety Cases, Systems Engineering, Safety Analysis and Safety Integrity, Tools for Software Safety, Solving Safety Problems, and Qllestions and Competences. Eight of the fourteen papers were authored in industry, four in universities, and two in other research establishments. Four of them report on work outside the UK: in France, Germany, Norway and Brazil. There are three papers on safety cases, each taking a different perspective. Skogstad from Norway and Boyce and Hamilton of GEC-Marconi both report on experience in the field, the former in attempting to apply European norms to project documentation and the latter in attempting to build up a retrospective safety case. The third paper, by Goodman, takes a more philosophical stance, examining the lack of useful measurement in safety assurance.
目次
Design for Safety.- Experiences with Safety Case Documentation According to the CENELEC Railway Safety Norms.- Retrospective Collection of Safety Case Evidence - Experiences from an Air Traffic Control System Safety Case.- Assuring Safety through Measurement - A Laudable Goal.- Assessing Safety Critical COTS Systems.- Systems Approach to Safety-related Systems.- The Safety Analysis Case in the Sao Paulo Metro.- Safety Integrity Levels: An Industrial Viewpoint.- Code Generation in the SACRES Project.- Formal Verification of an Avionics Application using Abstraction and Symbolic Model Checking.- Safety and the Millennium Bug.- Integrated Modular Avionics - A View on Safe Partitioning.- Independent Verification - Magic or Myth?.- Can Formal Argumentation Raise Our Confidence in Safe Design?.- Who Can You Trust? Assessing Professional Competences.- Author Index.
「Nielsen BookData」 より