Component-Based Abstraction in Fault Tree Analysis
作者： Dominik Domis , Mario Trapp
DOI: 10.1007/978-3-642-04468-7_24
关键词:
摘要: To handle the complexity of safety-critical embedded systems, it is not appropriate to develop functionality and consider safety in separate tasks, or software only as a black box analyses. Rather, aspects have be integrated tightly possible into system development process its models. But existing analyses models do fit well with tasks such architectural design take advantage their strengths. solve this problem, paper extends fault tree analysis by hierarchical component-based abstraction, enabling component-oriented model-based approach design.
springer.com
core.ac.uk
uni-kl.de参考文章(16)
Peter Jesty, David Ward, Roger Rivett, Keith Longmore, Katrin Hartwig, Edith Holland, Paul Groves, Frank O'Neill, Richard Evans, MISRA Guidelines for Safety Analysis of Vehicle Based Programmable Systems ,(2007)
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)
Lars Grunske, Towards an integration of standard component-based safety evaluation techniques with SaveCCM international conference on quality software. ,vol. 1, pp. 199- 213 ,(2006) , 10.1007/11921998_17
Dominik Domis, Mario Trapp, Integrating Safety Analyses and Component-Based Design international conference on computer safety reliability and security. pp. 58- 71 ,(2008) , 10.1007/978-3-540-87698-4_8
Yiannis Papadopoulos, John A. McDermid, Hierarchically Performed Hazard Origin and Propagation Studies international conference on computer safety, reliability, and security. pp. 139- 152 ,(1999) , 10.1007/3-540-48249-0_13
Erik Kamsties, Dirk Muthig, Christian Bunse, Oliver Laitenberger, Joachim Bayer, Roland Laqua, Jörg Zettel, Colin Atkinson, Jürgen Wüst, Barbara Paech, Component-Based Product Line Engineering with UML ,(2001)
Peter Liggesmeyer, Oliver Mäckel, Bernhard Kaiser, A new component concept for fault trees SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33. pp. 37- 46 ,(2003)
Kevin Lano, David Clark, Kelly Androutsopoulos, Safety and Security Analysis of Object-Oriented Models international conference on computer safety reliability and security. pp. 82- 93 ,(2002) , 10.1007/3-540-45732-1_10
P. Fenelon, J. A. McDermid, M. Nicolson, D. J. Pumfrey, Towards integrated safety analysis and design ACM Sigapp Applied Computing Review. ,vol. 2, pp. 21- 32 ,(1994) , 10.1145/381766.381770
Antoine Rauzy, Yves Dutuit, Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within Aralia Reliability Engineering & System Safety. ,vol. 58, pp. 127- 144 ,(1997) , 10.1016/S0951-8320(97)00034-3