Assurance cases in model-driven development of the pacemaker software
作者： Eunkyoung Jee , Insup Lee , Oleg Sokolsky
DOI: 10.1007/978-3-642-16561-0_33
关键词: Software verification and validation 、 Software 、 Software construction 、 Software quality analyst 、 Software development 、 Software engineering 、 Computer science 、 Systematic code 、 Software security assurance 、 Structure (mathematical logic)
摘要: We discuss the construction of an assurance case for pacemaker software. The software is developed following a model-based technique that combined formal modeling system, systematic code generation from model, and measurement timing behavior implementation. show how structure reflects our development approach.
springer.com
core.ac.uk
sci-hub.st 参考文章(11)
Tim Kelly, Rob Weaver, The Goal Structuring Notation – A Safety Argument Notation ,(2004)
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
Gerd Behrmann, Alexandre David, Kim G. Larsen, A Tutorial on UPPAAL formal methods. pp. 200- 236 ,(2004) , 10.1007/978-3-540-30080-9_7
Eunkyoung Jee, Shaohui Wang, Jeong Ki Kim, Jaewoo Lee, Oleg Sokolsky, Insup Lee, A Safety-Assured Development Approach for Real-Time Software embedded and real-time computing systems and applications. pp. 133- 142 ,(2010) , 10.1109/RTCSA.2010.42
R.E. Bloomfield, S. Guerra, A. Miller, M. Masera, C.B. Weinstock, International Working Group on Assurance Cases (for Security) ieee symposium on security and privacy. ,vol. 4, pp. 66- 68 ,(2006) , 10.1109/MSP.2006.73
Rajeev Alur, David L. Dill, A theory of timed automata Theoretical Computer Science. ,vol. 126, pp. 183- 235 ,(1994) , 10.1016/0304-3975(94)90010-8
Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi, Times: a Tool for Schedulability Analysis and Code Generation of Real-Time Systems formal modeling and analysis of timed systems. pp. 60- 72 ,(2003) , 10.1007/978-3-540-40903-8_6
Paul Pettersson, Tobias Amnell, Wang Yi, Elena Fersman, Hongyan Sun, Code synthesis for timed automata Nordic Journal of Computing. ,vol. 9, pp. 269- 300 ,(2002)
Charles B Weinstock, John B Goodenough, Towards an Assurance Case Practice for Medical Devices Carnegie Mellon University. ,(2009) , 10.1184/R1/6585389.V1
Alan Wassyng, Tom Maibaum, Mark Lawford, Hans Bherer, Software Certification: Is There a Case against Safety Cases? Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems. pp. 206- 227 ,(2011) , 10.1007/978-3-642-21292-5_12