2014 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) (2014)
Atlanta, GA, USA
June 23, 2014 to June 26, 2014
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/DSN.2014.97
Assurance cases are documented bodies of evidence that provide valid and convincing arguments that a system is adequately dependable in a given application and environment. Assurance cases are widely required by regulation for safety-critical systems in the EU. There have been several graphical notation systems proposed for assurance cases. GSN (Goal Structuring Notation) and CAE (Claim, Argument, Evidence) are such two notation systems, and a standardization effort for these notation systems have been attempted in OMG (Object Management Group). However, these notation systems have not been defined in a formal way. This paper presents a formal definition of an assurance case language based on GSN and its pattern and module extensions. We take the framework of functional programming language as the basis of our study. The implementation has been done on an Eclipse based GSN editor. We report case studies on previous work done with GSN and show the applicability of the assurance case language.
Safety, Context, Standards, Computer aided engineering, Communities, Contracts, Functional programming
Y. Matsuno, "A Design and Implementation of an Assurance Case Language," 2014 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Atlanta, GA, USA, 2014, pp. 630-641.