Development of a Safety Case Editor with Assessment Features

Abstract

A safety case is an argumentation for showing confidence in the claimed safety assurance of a system, which should be comprehensible and well-structured. Typically, safety cases are represented in plain text, but the structure of safety cases might become ambiguous and unclear. To address this, the Goal Structuring Notation (GSN) was introduced to represent safety arguments graphically. Recently, a number of safety case editors are developed to support safety case development with graphical representation. Those editors support the development and management of safety cases. However, only few of the editors offer functionality for safety case assessment which is also an important phase of safety assurance. This motivates us to developa safety case editor with assessment features. In this paper, we describe the state of the art of existing safety case editors. Furthermore, we briefly introduce three use cases to demonstrate the prototype functions that will be developed for safety case assessment.