Traceability in model-driven safety critical software engineering

Evidence-Based Software Engineering (EBSE) focuses on understanding and delivering software engineering practices, tools and techniques that qualitatively and quantitatively provide value. The principles of EBSE underpin safety critical software engineering practices: when we build a safety critical software system, we must, in parallel, deliver evidence that the steps we have taken and the artefacts that we build will lead to an acceptably safe system. In safety critical software engineering, traceability plays a vital role. This talk will explore some of the different applications and uses of traceability in this context, and will suggest ways in which Model-Driven Engineering can provide solutions (e.g., through standardised approaches for describing safety arguments and evidence), as well as new challenges.