Service Dependability with Continuously Revised Assurance Cases by Multiple Stakeholders: A Case Study
作者： Kimio Kuramitsu
DOI:
关键词: Service (systems architecture) 、 Software 、 Computer science 、 Process management 、 Dependability 、 Customer Service Assurance 、 System lifecycle 、 Service recovery 、 Software security assurance 、 Computer security 、 Software quality analyst 、 Software assurance
摘要: Recently, assurance cases have received much attentions in the field of software-based computer systems and IT services. However, software very often changes there are no strong regulations for software. These facts main two challenges to be addressed cases. We propose a development method by means continuous revision at every stage system lifecycle, including in-operation service recovery failure The quality dependability arguments improved multiple stakeholders who check with each other. This paper reported our experience proposed case ASPEN education service. study demonstrate that continuos updates create significant amount active risk communications between stakeholders. gives us promising perspective long-term improvement lifecycle
harvard.edu
arxiv.org参考文章(13)
Tim Kelly, Rob Weaver, The Goal Structuring Notation – A Safety Argument Notation ,(2004)
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
Richard Hawkins, Kester Clegg, Rob Alexander, Tim Kelly, Using a software safety argument pattern catalogue: two case studies international conference on computer safety reliability and security. pp. 185- 198 ,(2011) , 10.1007/978-3-642-24270-0_14
Alberto Melzi, Tim Kelly, Alejandra Ruiz, Systematic application of ISO 26262 on a SEooC: Support by applying a systematic reuse approach design, automation, and test in europe. pp. 393- 396 ,(2015) , 10.5555/2755753.2755842
Tangming Yuan, Tim Kelly, Argument-based approach to computer system safety engineering International Journal of Critical Computer-based Systems. ,vol. 3, pp. 151- 167 ,(2012) , 10.1504/IJCCBS.2012.050295
George Despotou, Mark Ryan, Tim Kelly, Sean White, Introducing safety cases for health IT software engineering in health care. pp. 44- 50 ,(2012) , 10.5555/2667036.2667044
Richard Hawkins, Ibrahim Habli, Dimitris Kolovos, Richard Paige, Tim Kelly, Weaving an Assurance Case from Design: A Model-Based Approach high assurance systems engineering. pp. 110- 117 ,(2015) , 10.1109/HASE.2015.25
Andreas Haeberlen, Petr Kouznetsov, Peter Druschel, PeerReview Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles - SOSP '07. ,vol. 41, pp. 175- 188 ,(2007) , 10.1145/1294261.1294279
Ewen Denney, Ganesh Pai, Ibrahim Habli, Perspectives on software safety case development for unmanned aircraft dependable systems and networks. pp. 1- 8 ,(2012) , 10.1109/DSN.2012.6263939
A. Avizienis, J.-C. Laprie, B. Randell, C. Landwehr, Basic concepts and taxonomy of dependable and secure computing IEEE Transactions on Dependable and Secure Computing. ,vol. 1, pp. 11- 33 ,(2004) , 10.1109/TDSC.2004.2