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

Felix Redmill and Tom Anderson (eds.)

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」 より

詳細情報

ページトップへ