Using Process Models in System Assurance
作者： Richard Hawkins , Thomas Richardson , Tim Kelly
DOI: 10.1007/978-3-319-45477-1_3
关键词:
摘要: When creating an assurance justification for a critical system, the focus is often on demonstrating technical properties of that system. Complete, compelling justifications also require consideration processes used to develop Creating such can be onerous task systems using complex and highly integrated tool chains. In this paper we describe how process models automatically generate required in cases systems. We use example case study illustrate implementation approach. advantages approach brings system development
springer.com
sci-hub.st 参考文章(9)
R. Bell, IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview Control of Major Accidents and Hazards Directive (COMAH) - Implications for Electrical and Control Engineers (Ref. No. 1999/173), IEE Colloquium. ,(1999)
Martin Hieronymus, Thorsten Kostrzewa, Jana Maria Heinsohn, Einführung in die ISO 26262 "Functional Safety - Road Vehicles" Arbeitspapiere der Nordakademie. ,(2011)
Richard Hawkins, Tim Kelly, John Knight, Patrick Graydon, A New Approach to creating Clear Safety Arguments Advances in Systems Safety. pp. 3- 23 ,(2011) , 10.1007/978-0-85729-133-2_1
Linling Sun, Establishing Confidence in Safety Assessment Evidence University of York. ,(2012)
Richard Helm, John Vlissides, Ralph Johnson, Erich Gamma, Design Patterns: Elements of Reusable Object-Oriented Software ,(1994)
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
Sunil Nair, Neil Walkinshaw, Tim Kelly, Jose Luis de la Vara, None, An evidential reasoning approach for assessing confidence in safety evidence international symposium on software reliability engineering. pp. 541- 552 ,(2015) , 10.1109/ISSRE.2015.7381846
Peter H. Feiler, Bruce A. Lewis, Steve Vestal, The SAE Architecture Analysis & Design Language (AADL) a standard for engineering performance critical systems 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control. pp. 1206- 1211 ,(2006) , 10.1109/CACSD-CCA-ISIC.2006.4776814
Ibrahim Habli, Tim Kelly, Richard David Hawkins, The Need for a Weaving Model in Assurance Case Automation ,(2015)