Uniform Model Interface for Assurance Case Integration with System Models
Assurance cases are developed and maintained in parallel with corresponding system models and therefore need to reference each other. Managing the correctness and consistency of interrelated safety argument and system models is essential for system dependability and is a nontrivial task. The model interface presented in this paper enables a uniform process of establishing and managing assurance case references to various types of system models. References to system metamodels are specified in an argument pattern and then used for assurance case instantiation. The proposed approach permits incremental development of assurance cases that maintain consistency with corresponding system models throughout the system development life cycle.
KeywordsAssurance case Safety case System models Argument pattern
- 4.Hawkins, R., Habli, I., Kolovos, D., Paige, R., Kelly, T.: Weaving an assurance case from design: a model-based approach. In: IEEE 16th International Symposium on High Assurance Systems Engineering (2015)Google Scholar
- 5.Compositional assurance cases and arguments for distributed MILS, D-MILS Project deliverable D4.2, University of York (2015)Google Scholar
- 7.Larson B.R., Hatcliff, J.: Open Patient-Controlled Analgesia Infusion Pump System Requirements, Kansas State University, SAnToS TR 2014-6-1 (2014)Google Scholar
- 9.Structured Assurance Case Metamodel (SACM), version 2.0 – Beta, Object Management Group (2016)Google Scholar