Title: At the Sharp End: developing and validating Safety Critical Software

Author(s): Fergus Duncan

Publication Event: Proceedings of the Twentieth Safety-critical Systems Symposium, Bristol, UK

Publication Date: 2012-01-05

Resource URL: https://scsc.uk/r735.pdf

Abstract:

Whatever methods and tools are used to generate and maintain the safety case for a project, at some stage the software needs to be developed, verified and validated. With its associated documentation set, this can easily become a very expensive and time consuming exercise, which is largely repeated for each version. This paper examines some of the key issues that impact time and cost, shares previous lessons learnt an describes some key methods that can reduce time and cost. Metrics are provided w here available to help quantify the associated benefits.