Ebook: Industrial Perspectives of Safety-critical Systems: Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham 1998

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.

---

This volume contains the invited papers presented at the sixth annual Safety-critical Systems Symposium. They cover a broad spectrum of issues affecting safety, from a philosophical appraisal to technology transfer, intelligence and psychological aspects . The papers presented in this volume offer views both of the topics which are considered by industry to be important and of what is going on in industry with respect to them. Understanding these two views can lead to better and swifter technology transfer and more focused research, both of which should be reflected in time, in safer systems. All of the papers address practical issues and offer useful information and advice.

---

This volume contains the invited papers presented at the sixth annual Safety-critical Systems Symposium. They cover a broad spectrum of issues affecting safety, from a philosophical appraisal to technology transfer, intelligence and psychological aspects . The papers presented in this volume offer views both of the topics which are considered by industry to be important and of what is going on in industry with respect to them. Understanding these two views can lead to better and swifter technology transfer and more focused research, both of which should be reflected in time, in safer systems. All of the papers address practical issues and offer useful information and advice.
Content:
Front Matter....Pages I-IX
Issues in Managing a Safety-Critical System Development Project....Pages 1-26
Principles of Engineering Safety Management....Pages 27-43
A System Requirements Traceability Model: An Industrial Application....Pages 44-61
Small Modules as Configuration Items in Certified Safety Critical Systems....Pages 62-69
Ada for High Integrity....Pages 70-81
Developments for Safer Systems in the Swedish Defence....Pages 82-92
Managing Safety Within A Large And Complex Air Traffic Control Project....Pages 93-111
Risk....Pages 112-125
Independent Safety Auditing....Pages 126-136
‘Safeguarding Systems: In-Service Management’....Pages 137-149
Static Analysis of Safety Critical Software (Techniques, Tools, and Experiences)....Pages 150-168
Use of Static Code Analysis to Support the Safety Certification of Airborne Software....Pages 169-183
Improving the Production and Presentation of Safety Cases through the use of Intranet Technology....Pages 184-193
A Methodology for Safety Case Development....Pages 194-203
On the Validation of Finite Element Models — an Industrial Perspective....Pages 204-210
COTS in Safety-Related Systems Issues and an Illustration....Pages 211-221
Research into the Safety Issues Arising from Using ASIC Devices as a Potential Replacement Technology for Analogue Trip Amplifiers in Existing Reactor Safety Systems....Pages 222-232
Back Matter....Pages 233-233

---

This volume contains the invited papers presented at the sixth annual Safety-critical Systems Symposium. They cover a broad spectrum of issues affecting safety, from a philosophical appraisal to technology transfer, intelligence and psychological aspects . The papers presented in this volume offer views both of the topics which are considered by industry to be important and of what is going on in industry with respect to them. Understanding these two views can lead to better and swifter technology transfer and more focused research, both of which should be reflected in time, in safer systems. All of the papers address practical issues and offer useful information and advice.
Content:
Front Matter....Pages I-IX
Issues in Managing a Safety-Critical System Development Project....Pages 1-26
Principles of Engineering Safety Management....Pages 27-43
A System Requirements Traceability Model: An Industrial Application....Pages 44-61
Small Modules as Configuration Items in Certified Safety Critical Systems....Pages 62-69
Ada for High Integrity....Pages 70-81
Developments for Safer Systems in the Swedish Defence....Pages 82-92
Managing Safety Within A Large And Complex Air Traffic Control Project....Pages 93-111
Risk....Pages 112-125
Independent Safety Auditing....Pages 126-136
‘Safeguarding Systems: In-Service Management’....Pages 137-149
Static Analysis of Safety Critical Software (Techniques, Tools, and Experiences)....Pages 150-168
Use of Static Code Analysis to Support the Safety Certification of Airborne Software....Pages 169-183
Improving the Production and Presentation of Safety Cases through the use of Intranet Technology....Pages 184-193
A Methodology for Safety Case Development....Pages 194-203
On the Validation of Finite Element Models — an Industrial Perspective....Pages 204-210
COTS in Safety-Related Systems Issues and an Illustration....Pages 211-221
Research into the Safety Issues Arising from Using ASIC Devices as a Potential Replacement Technology for Analogue Trip Amplifiers in Existing Reactor Safety Systems....Pages 222-232
Back Matter....Pages 233-233
....