Industrial perspectives of safety-critical systems : proceedings of the sixth Safety-Critical Systems Symposium, Birmingham 1998
著者
書誌事項
Industrial perspectives of safety-critical systems : proceedings of the sixth Safety-Critical Systems Symposium, Birmingham 1998
Springer, c1998
- : pbk
大学図書館所蔵 全3件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
注記
Includes bibliographical references and index
内容説明・目次
内容説明
This book contains the Proceedings of the 6th Safety-critical Systems Sympo sium, the theme of which is Industrial Perspectives. In accordance with the theme, all of the chapters have been contributed by authors having an industrial af filiation. The first two chapters reflect half-day tutorials - Managing a Safety-critical System Development Project and Principles of Safety Management - held on the first day of the event, and the following 15 are contributed by the presenters of papers on the next two days. Following the tutorials, the chapters fa~l into five sub-themes - the session titles at the Symposium. In the first of these, on 'Software Development Tech nology', Trevor Cockram and others report on the industrial application of a requirements traceability model, Paul Bennett on configuration management in safety-critical systems, and Brian Wichmann on Ada. The next 5 chapters are on 'Safety Management'. In the safety domain, the fundamental business of management is increasingly being addressed with respect not merely to getting things done, but also to controlling the processes by which they are done, the risks involved, and the need not only to achieve safety but to demonstrate that it has been achieved. In this context, Gustaf Myhrman reveals recent developments for safer systems in the Swedish De fence, and Shoky Visram reports on the management of safety within a large and complex Air Traffic Control project.
目次
Issues in Managing a Safety-Critical System Development Project.- Principles of Engineering Safety Management.- A System Requirements Traceability Model: An Industrial Application.- Small Modules as Configuration Items in Certified Safety Critical Systems.- Ada for High Integrity.- Developments for Safer Systems in the Swedish Defence.- Managing Safety Within a Large and Complex Air Traffic Control Project.- Risk: A Holistic Business Perspective.- Independent Safety Auditing.- Safeguarding Systems: In-Service Management.- Static Analysis of Safety Critical Software (Techniques, Tools and Experiences).- Use of Static Code Analysis to Support the Safety Certification of Airborne Software.- Improving the Production and Presentation of Safety Cases through the use of Intranet Technology.- A Methodology for Safety Case Development.- On the Validation of Finite Element Models - an Industrial Perspective.- COTS in Safety-related Systems - Issues and an Illustration.- Research into the Safety Issues Arising from Using ASIC Devices as a Potential Replacement Technology for Analogue Trip Amplifiers in Existing Reactor Safety Systems.- Author Index.
「Nielsen BookData」 より