Abstract
To handle the complexity of safety-critical embedded systems, it is not appropriate to develop functionality and consider safety in separate tasks, or to consider software only as a black box in safety analyses. Rather, safety aspects have to be integrated as tightly as possible into the system and software development process and its models. But existing safety analyses and models do not fit well with software development tasks such as architectural design and do not take advantage of their strengths. To solve this problem, this paper extends fault tree analysis by hierarchical component-based abstraction, enabling fault tree analysis to be integrated into a component-oriented model-based design approach and to handle the complexity of software architectural design.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
IEC 61508: Functional safety of electrical/electronic/programmable electronic safety-related systems, International Electrotechnical Commission (1999)
IEC/TR 80002-1 Ed.1: Medical device software - Guidance on the application of ISO 14971 to medical device software, International Electrotechnical Commission (2009)
MISRA: Guidelines for safety analysis of vehicle based programmable systems. MIRA Limited, Warwickshire (2007)
ISO/CD 26262, Road vehicles, Functional Safety Part 6: Product development software. Committee draft (2008)
Atkinson, C., Bayer, J., Bunse, C., Kamsties, E., Laitenberger, O., Laqua, R., Muthig, D., Peach, B., Wüst, J., Zettel, J.: Component-based Product Line Engineering with UML. Addison-Wesley, London (2001)
Domis, D., Trapp, M.: Integrating Safety Analyses and Comopnent-based Design. In: Harrison, M.D., Sujan, M.-A. (eds.) SAFECOMP 2008. LNCS, vol. 5219, pp. 58–71. Springer, Heidelberg (2008)
Kaiser, B., Liggesmeyer, P., Mäckel, O.: A New Component Concept for Fault Trees. In: Lindsay, P., Cant, T. (eds.) Conferences in Research and Practice in Information Technology Series, vol. 33, pp. 37–46. Australian Computer Society (2003)
Fenelon, P., McDermid, J.A., Pumfrey, D.J., Nicholson, M.: Towards Integrated Safety Analysis and Design. ACM Computing Reviews 2(1), 21–32 (1994)
Papadopoulos, Y., McDermid, J.A.: Hierarchically Performed Hazard Origin and Propagation Studies. In: Felici, M., Kanoun, K., Pasquini, A. (eds.) 18th International Conference on Computer Safety, Reliability and Security. LNCS, vol. 1608, pp. 139–152. Springer, Heidelberg (1999)
Grunske, L.: Towards an Integration of Standard Component-Based Safety Evaluation Techniques with SaveCCM. In: Hofmeister, C., Crnković, I., Reussner, R. (eds.) QoSA 2006. LNCS, vol. 4214, pp. 199–213. Springer, Heidelberg (2006)
Lisagor, O., McDermid, J.A., Pumfrey, D.J.: Towards a Practicable Process for Automated Safety Analysis. In: 24th International System Safety Conference, pp. 596–607 (2006)
IEEE Standard Glossary of Software Engineering Terminology, IEEE Std. 610.12-1990
Coudert, O., Madre, J., Henri, F.: A new viewpoint on Two-Level Logic Minimization. In: 30th ACM/IEEE Design Automation Conference, Dallas, TX, USA, pp. 625–630 (1993)
Coudert, O., Madre, J., Henri, F.: New Qualitative Analysis Strategies in Metaprime. In: Annual Reliability and Maintainability Symposium, Anaheim, CA, USA, pp. 298–303 (1994)
Dutuit, Y., Rauzy, A.: Exact and Truncated Computations of Prime Implicants of Coherent and non-Coherent Fault Trees within Aralia. In: Reliability Engineering & System Safety, vol. 58, pp. 127–144 (1997)
Remenyte-Prescott, R., Andrews, J.: Prime Implicants for modularized non-coherent fault tress using binary decision diagrams. Int. J. Reliability and Safety 1(4), 446–464 (2007)
Sun, H., Andrews, J.: Identification of independent modules in fault trees which contain dependent basic events. Reliability Engineering & System Safety 86, 285–296 (2004)
Dutuit, Y., Rauzy, A.: A Linear Time Algorithm to Find Modules of Fault Trees. IEEE Transactions on Reliability 45, 422–425 (1996)
Damm, W., Votintseva, A., Metzner, A., Josko, B., Peikenkamp, T., Böde, E.: Boosting Re-use of Embedded Automotive Applications Through Rich Components. In: Proceedings of the Foundation of Interface Technology Workshop. Elsevier Science B.V, Amsterdam (2005)
Feiler, P., Rugina, A.: Dependability Modeling with the Architecture Analysis & Design Language. Technical Report CMU/SEI-2007-TN-043, Carnegie Mellon University (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Domis, D., Trapp, M. (2009). Component-Based Abstraction in Fault Tree Analysis. In: Buth, B., Rabe, G., Seyfarth, T. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2009. Lecture Notes in Computer Science, vol 5775. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04468-7_24
Download citation
DOI: https://doi.org/10.1007/978-3-642-04468-7_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04467-0
Online ISBN: 978-3-642-04468-7
eBook Packages: Computer ScienceComputer Science (R0)