A Tool to Create Assurance Case through Models
DOI:
https://doi.org/10.14738/tmlai.62.4428Keywords:
dependability, architecture models, Enterprise Architecture, experimental tool evaluation, O-DAAbstract
In this paper, an assurance case development tool is proposed to derive the argument decomposition structure from generic model definitions. The method solves O-DA issues for assuring business, application, and technology architecture of TOGAF. An example case study using the proposed tool is also shown for the system configuration model of the tool itself.
Discussions based on the case study showed the effectiveness and appropriateness of the proposed methods.
Future work includes the formalization of assurance case derivation process from ArchiMate, UML, and SysML models.
References
(1) Real-Time and Embedded Systems, “Dependability through Assuredness™ (O-DA) Framework,” Open Group Standard, 2013.
(2) D. Jackson, "Software for dependable systems– sufficient evidence?," NATIONAL RESEARCH COUNCIL, 2008.
(3) DEOS project, http://www.crest-os.jst.go.jp, 2013.
(4) DEOS project, JST White Paper DEOS-FY2011-WP-03J, www.dependable-os.net/ja/topics/file/White_Paper_V3.0J.pdf , 2011.
(5) M. Tokoro, eds., "Open Systems Dependability, Dependability Engineering for Ever-Changing Systems," CRC Press, 2012.
(6) Avizienis, Laprie, J., Randell, B., Landwehr, C., "Basic concepts and taxonomy of dependable and secure computing," IEEE Transactions on Dependable and Secure Computing, vol.1. No.1, pp.11-33, 2004.
(7) Josely, A., "TOGAF® Version 9.1 A Pocket Guide," 2011.
(8) Josely, "ArchiMate®3.0, A Pocket Guide," The Open Group, Van Haren8 Publishing, 2016.
(9) T. Kelly, "A Six-Step Method for the Development of Goal Structures," York Software Engineering, 1997.
(10) T. Kelly, J. McDermid, "Safety Case Construction and Reuse using Patterns," University of York, 1997.
(11) T. Kelly, "Arguing Safety, a Systematic Approach to Managing Safety Cases," PhD Thesis, Department of Computer Science, University of York, 1998.
(12) J. McDermid, "Software safety: where's the evidence?, " in SCS '01: Proceedings of the Sixth Australian workshop on Safety critical systems and software, pp. 1-6, Darlinghurst, Australia, Australian Computer Society, Inc., 2001.
(13) T. Kelly, and R. Weaver, "The Goal Structuring Notation – A Safety Argument Notation," Proceedings of the Dependable Systems and Networks 2004 Workshop on Assurance Cases, 2004.
(14) R. Bloomfield, and P. Bishop, "Safety and Assurance Cases: Past, Present and Possible Future," Safety Critical Systems Symposium, Bristol, UK, 2010.
(15) G. Despotou, and T. Kelly, "Extending the Concept of Safety Cases to Address Dependability," in proceedings of the 22nd International System Safety Conference (ISSC), Providence, RI USA, 2004.
(16) Hauge, and K. Stolen, "A Pattern-Based Method for Safe Control Systems Exemplified within Nuclear Power Production," SAFECOMP 2012, LNCS 7612, pp.13-24, 2012.
(17) Wardzinski, "Safety Assurance Strategies for Autonomous Vehicles, "SAFECOMP 2008, LNCS 5219, pp.277-290, 2008.
(18) S. Yamamoto, and Y. Matsuno, "An evaluation of argument patterns to reduce pitfalls of applying Assurance Case," Assure2013.
(19) R. Alexander, T. Kelly, Z. Kurd, and J. McDermid, "Safety Cases for Advanced Control Software: Safety Case Patterns," Technical report, University of York, 2007.
(20) P. Graydon, and T. Kelly, "Assessing Software Interference Management When Modifying Safety-Related Software," in Proceedings of the Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR) Workshop, SAFECOMP 2012, Springer, 2012.
(21) Ruiz, I. Habli, and H. Espinoza, "Towards a Case-Based Reasoning Approach for Safety Assurance Reuse," SAFECOMP 2012 Workshops, LNCS 7613, pp. 22–35, 2012.
(22) R. Hawkins, I. Habli, I., D. Kolovos, R. Paige, and T. Kelly, "Weaving an Assurance Case from Design: A Model-Based Approach," HASE15, pp.110-117, 2015.
(23) S. Yamamoto, "An approach to assure Dependability through ArchiMate," SAFECOMP 2015 Workshops, LNCS 9338, PP.50-61, Assure 2015, DOI: 10.1007/978-3-319-24249-1_5.
(24) Shuichiro Yamamoto and Nobuhide Kobayashi, Mobile Security Assurance through ArchiMate, Vol. 4, No. 3 of IT Convergence Practice, pp.1-8, (INPRA), 2017, http://inpra.yolasite.com/vol4no3.php
(25) Shuichiro Yamamoto, Assuring Security through Attribute GSN, ICITCS 2015, 5th International Conference on IT Convergence and Security (ICITCS), pp.1-5, 2015
(26) Nobuhide Kobayashi, Assurance case development method using SPRME on software review, ER2016, 2016.
(27) OMG, UML, http://www.uml.org/
(28) OMG, SysML, http://www.omgsysml.org/
