An implementation of GSN community standard

GSN (Goal Structuring Notation) is a graphical notation widely used to construct assurance cases, which are required for the system assurance of safety critical systems specially in Europe, and now worldwide as the importance of system assurance has been growing and several safety standard such as ISO 26262 mandate the use of safety case (assurance case for system safety). The syntax and extensions for module and patterns have been defined in GSN Community Standard. In this paper we report our preliminary implementation partly satisfying the standard. The prototype implementation has been done on D-Case Editor, an Eclipse based GSN editor. Among syntax defined in the standard, we have implemented “away goal” and “module node” as the basis for the module system, together with parameters with scope and pattern instantiation function which are extensions of our previous works. Due to some ambiguity in the GSN community standard, several design choices may exist. In this paper we report our design choices. We also report further a few issues for implementing the full syntax of the GSN community standard.