An Approach to Assure Dependability Through ArchiMate

This paper describes a method to create assurance cases for the Open Dependability through Assuredness (O-DA) standard of The Open Group (TOG) based on ArchiMate. ArchiMate provides Enterprise Architecture (EA) models to describe Business, Application and Technology Architectures. Although O-DA shows the necessity of agreeing on the assuredness of EA using assurance cases, O-DA does not mention how to create assurance cases for EA. In this paper, an assurance case pattern is proposed to argue the assuredness for these three kinds of architectures modelled by ArchiMate.

[1]  Iain Bate,et al.  Architectural considerations in the certification of modular systems , 2003, Reliab. Eng. Syst. Saf..

[2]  Shuichiro Yamamoto,et al.  An evaluation of argument patterns to reduce pitfalls of applying assurance case , 2013, 2013 1st International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE).

[3]  Ketil Stølen,et al.  A Pattern-Based Method for Safe Control Systems Exemplified within Nuclear Power Production , 2012, SAFECOMP.

[4]  Richard F. Paige,et al.  Weaving an Assurance Case from Design: A Model-Based Approach , 2015, 2015 IEEE 16th International Symposium on High Assurance Systems Engineering.

[5]  Mario Tokoro.  Open Systems Dependability : Dependability Engineering for Ever-Changing Systems , 2012 .

[6]  Andrzej Wardzinski,et al.  Safety Assurance Strategies for Autonomous Vehicles , 2008, SAFECOMP.

[7]  Martyn Thomas,et al.  Software for Dependable Systems: Sufficient Evidence? , 2007 .

[8]  Peter G. Bishop,et al.  Safety and Assurance Cases: Past, Present and Possible Future - an Adelard Perspective , 2010, SSS.

[9]  Chung-Ling Lin,et al.  Applying Safety Case Pattern to Generate Assurance Cases for Safety-Critical Systems , 2015, 2015 IEEE 16th International Symposium on High Assurance Systems Engineering.

[10]  Ewen Denney,et al.  AdvoCATE: An Assurance Case Automation Toolset , 2012, SAFECOMP Workshops.

[11]  Shuichiro Yamamoto,et al.  Definition and application of an assurance case development method (d*) , 2013, SpringerPlus.

[12]  John A. McDermid,et al.  Safety Case Construction and Reuse Using Patterns , 1997, SAFECOMP.

[13]  Shuichiro Yamamoto,et al.  A comparative study of d∗framework and GSN , 2013, 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).

[14]  Tim Kelly,et al.  Assessing Software Interference Management When Modifying Safety-Related Software , 2012, SAFECOMP Workshops.

[15]  Tim Kelly,et al.  The Goal Structuring Notation – A Safety Argument Notation , 2004 .

[16]  Huáscar Espinoza,et al.  Towards a Case-Based Reasoning Approach for Safety Assurance Reuse , 2012, SAFECOMP Workshops.

[17]  John A. McDermid,et al.  Safety Cases for Advanced Control Software: Safety Case Patterns , 2007 .

[18]  Tim Kelly,et al.  Arguing Safety - A Systematic Approach to Managing Safety Cases , 1998 .

[19]  Barbara Gallina,et al.  VROOM & cC: a Method to Build Safety Cases for ISO 26262-compliant Product Lines , 2013, SASSUR@SAFECOMP.