ABSTRACT

Safety case presents structured arguments by relating evidences—generally produced during system development and safety analysis activities—in order to argue that a set of claims on the safety of a system have been met. The task of collecting and structuring evidences and thereafter maintaining the safety case is mostly manual and resource intensive. This paper discusses the work on a traceability based safety argumentation approach, which could be used to generate parts of the safety case by utilizing the traceability information captured during development. First, we present our traceability approach for capturing traces between different development and assessment artefacts. Secondly, with the help of an example, we will illustrate how the traceability approach could be used to collect, relate and maintain valid set of evidences needed for safety argumentation. The approach not only aims to improve the traceability management but also aids the development of safety cases.