Weaving an Assurance Case from Design: A Model-Based Approach
作者： Richard Hawkins , Ibrahim Habli , Dimitris Kolovos , Richard Paige , Tim Kelly
DOI: 10.1109/HASE.2015.25
关键词:
摘要: Assurance cases are used to demonstrate confidence in properties of interest for a system, e.g. For safety or security. A model-based assurance case seeks bring the benefits model-driven engineering, such as automation, transformation and validation, what is currently lengthy informal process. In this paper we develop approach, based on weaving model, which allows integration between case, design process models meta-models. our itself treated structured with aim that all entities become linked explicitly represent them. We show how it possible exploit model automated generation cases. Building upon these results, discuss seamless approach can be achieved examine utility increased formality automation.
sci-hub.se 参考文章(16)
John Rushby, Logic and Epistemology in Safety Cases international conference on computer safety reliability and security. pp. 1- 7 ,(2013) , 10.1007/978-3-642-40793-2_1
Ewen Denney, Ganesh Pai, A Formal Basis for Safety Case Patterns international conference on computer safety reliability and security. pp. 21- 32 ,(2013) , 10.1007/978-3-642-40793-2_3
Ewen Denney, Ganesh Pai, A lightweight methodology for safety case assembly international conference on computer safety reliability and security. pp. 1- 12 ,(2012) , 10.1007/978-3-642-33678-2_1
Jean Bézivin, Marcos Didonet del Fabro, Frédéric Jouault, Guillaume Gueltas, Erwann Breton, AMW: a generic model weaver 1 ere Journées sur l'Ingénierie Dirigée par les Modèles (IDM05). pp. 105- 114 ,(2005)
T. P. Kelly, J. A. McDermid, Safety Case Construction and Reuse Using Patterns Safe Comp 97. pp. 55- 69 ,(1997) , 10.1007/978-1-4471-0997-6_5
John Rushby, Formalism in Safety Cases Making Systems Safer. pp. 3- 17 ,(2010) , 10.1007/978-1-84996-086-1_1
Yutaka Matsuno, A Design and Implementation of an Assurance Case Language dependable systems and networks. pp. 630- 641 ,(2014) , 10.1109/DSN.2014.97
Shuichiro Yamamoto, Yutaka Matsuno, An implementation of GSN community standard Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems. pp. 24- 28 ,(2013) , 10.5555/2662398.2662405
John Rushby, Mechanized Support for Assurance Case Argumentation international symposium on artificial intelligence. pp. 304- 318 ,(2013) , 10.1007/978-3-319-10061-6_20
Yutaka Matsuno, Kenji Taguchi, Parameterised Argument Structure for GSN Patterns international conference on quality software. pp. 96- 101 ,(2011) , 10.1109/QSIC.2011.35