Skip to main content
Springer Nature Link
Log in

Industrial Perspectives of Safety-critical Systems

Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham 1998

  • Conference proceedings
  • © 1998

Overview

Editors:
  1. Felix Redmill

    1. Redmill Consultancy, London, UK

  2. Tom Anderson

    1. Centre for Software Reliability, University of Newcastle-upon-Tyne, Newcastle-upon-Tyne, UK

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book EUR 106.99
Price includes VAT (Germany)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

') var buybox = document.querySelector("[data-id=id_"+ timestamp +"]").parentNode var buyboxMaxSingleColumnWidth = 480 ;[].slice.call(buybox.querySelectorAll(".buying-option")).forEach(initCollapsibles) function initCollapsibles(buyingOption, index) { var toggle = buyingOption.querySelector(".buying-option-price") buyingOption.classList.remove("expanded") var form = buyingOption.querySelector(".buying-option-form") var priceInfo = buyingOption.querySelector(".price-info") if (toggle && form && priceInfo) { toggle.setAttribute("role", "button") toggle.setAttribute("tabindex", "0") toggle.addEventListener("click", function (event) { var expandedBuyingOptions = buybox.querySelectorAll(".buying-option.expanded") var buyboxWidth = buybox.offsetWidth ;[].slice.call(expandedBuyingOptions).forEach(function(option) { if (buyboxWidth -1 ;[].slice.call(buybox.querySelectorAll(".buying-option")).forEach(function (option, index) { var toggle = option.querySelector(".buying-option-price") var form = option.querySelector(".buying-option-form") var priceInfo = option.querySelector(".price-info") if (allOptionsInitiallyCollapsed || narrowBuyboxArea && index > 0) { toggle.setAttribute("aria-expanded", "false") form.hidden = "hidden" priceInfo.hidden = "hidden" } else { toggle.click() } }) } initialStateOpen() if (window.buyboxInitialised) return window.buyboxInitialised = true initKeyControls() })()

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

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.

Similar content being viewed by others

Keywords

Table of contents (17 papers)

  1. Front Matter

    Pages I-IX
    Download chapter PDF

  2. Issues in Managing a Safety-Critical System Development Project

    • Charles Lee, Jon Garnsworthy, Morris Chudleigh, Duncan Bishop
    Pages 1-26

  3. Principles of Engineering Safety Management

    • Ian Spalding
    Pages 27-43

  4. A System Requirements Traceability Model: An Industrial Application

    • Trevor Cockram, Reg Parker, David Tiley, Jane Smith
    Pages 44-61

  5. Small Modules as Configuration Items in Certified Safety Critical Systems

    • Paul E. Bennett
    Pages 62-69

  6. Ada for High Integrity

    • B. A. Wichmann
    Pages 70-81

  7. Developments for Safer Systems in the Swedish Defence

    • Gustaf Myhrman
    Pages 82-92

  8. Managing Safety Within A Large And Complex Air Traffic Control Project

    • Shoky Visram
    Pages 93-111

  9. Risk

    • A. G. Hessami
    Pages 112-125

  10. Independent Safety Auditing

    • Ceri Rees, Vivien Hamilton
    Pages 126-136

  11. ‘Safeguarding Systems: In-Service Management’

    • Maurice Pritchard
    Pages 137-149

  12. Static Analysis of Safety Critical Software (Techniques, Tools, and Experiences)

    • Graham Buckle
    Pages 150-168

  13. Use of Static Code Analysis to Support the Safety Certification of Airborne Software

    • Richard Granville, Keith Harrison
    Pages 169-183

  14. Improving the Production and Presentation of Safety Cases through the use of Intranet Technology

    • Rupert Brown
    Pages 184-193

  15. A Methodology for Safety Case Development

    • Peter Bishop, Robin Bloomfield
    Pages 194-203

  16. On the Validation of Finite Element Models — an Industrial Perspective

    • N. C. Knowles
    Pages 204-210

  17. COTS in Safety-Related Systems Issues and an Illustration

    • R. May, J. A. McDermid, I. H. A. Johnston
    Pages 211-221

  18. Research into the Safety Issues Arising from Using ASIC Devices as a Potential Replacement Technology for Analogue Trip Amplifiers in Existing Reactor Safety Systems

    • R. E. Jennings
    Pages 222-232

  19. Back Matter

    Pages 233-233
    Download chapter PDF
Back to top

Editors and Affiliations

  • Redmill Consultancy, London, UK

    Felix Redmill

  • Centre for Software Reliability, University of Newcastle-upon-Tyne, Newcastle-upon-Tyne, UK

    Tom Anderson

Accessibility Information

PDF accessibility summary

This PDF is not accessible. It is based on scanned pages and does not support features such as screen reader compatibility or described non-text content (images, graphs etc). However, it likely supports searchable and selectable text based on OCR (Optical Character Recognition). Users with accessibility needs may not be able to use this content effectively. Please contact us at [email protected] if you require assistance or an alternative format.

Bibliographic Information

  • Book Title: Industrial Perspectives of Safety-critical Systems

  • Book Subtitle: Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham 1998

  • Editors: Felix Redmill, Tom Anderson

  • DOI: https://doi.org/10.1007/978-1-4471-1534-2

  • Publisher: Springer London

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag London Limited 1998

  • Softcover ISBN: 978-3-540-76189-1Published: 13 February 1998

  • eBook ISBN: 978-1-4471-1534-2Published: 06 December 2012

  • Edition Number: 1

  • Number of Pages: IX, 233

  • Number of Illustrations: 7 b/w illustrations

  • Topics: Software Engineering, System Performance and Evaluation

Publish with us

Policies and ethics

Back to top