Abstract
The development of cyber-physical systems such as highly integrated, safety-relevant automotive functions is challenged by an increasing complexity resulting from both customizable products and numerous soft- and hardware variants. In order to reduce the time to market for scenarios like these, a systematic analysis of the dependencies between functions, as well as the functional and technical variance, is required (cf. ISO 26262). In this paper we introduce a new approach which allows for a compact representation and analysis of failure mechanisms of systems marked by numerous variants, also: Product Line Fault Tree (PLFTs), in a unified data structure based on Multi-valued Decision Diagram (MDDs). Therefore, instead of analyzing the Fault Tree (FT) of each variant separately, the proposed method enables one to analyze the FT in a single step. Summing up, this article introduces a systematic modeling concept to analyze fault propagation in variant-rich systems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
For reasons of simplicity we henceforth write MDD instead of ROMDD.
- 2.
A minterm is a product term in which each variable appears once. Boolean functions can be expressed as sum of minterms where each minterm corresponds to a row of the function’s truth table. This final value of the function’s output is 1.
References
Ebert, C., Jones, C.: Embedded software: facts, figures and future. IEEE Comput. 42(4), 42–52 (2009)
International Organization for Standardization: ISO/ IS 26262. - road vehicles - functional Safety (2011)
Vesely, W., Goldberg, F.F., Roberts, N., Haasl, D.F.: Fault tree handbook. In: No. NUREG-0492, Nuclear Regulatory Commission, Washington, DC (1981)
International Electrotechnical Commission: IEC 61025 fault tree analysis (1990)
Vesely, B.: Fault Tree Anaylsis (FTA): concepts and applications. In: NASA HQ (2002). http://www.hq.nasa.gov/office/codeq/risk/docs/ftacourse.pdf
Leveson, N.G., Diaz-Herrera, J.: Safeware: System Safety and Computer. Addison-Wesley (1995)
Hansen, K.M., Ravn, A.P., Stavridou, V.: From safety analysis to software requirements. IEEE Trans. Softw. Eng. 24(7), 573–584 (1998)
Lutz, R., Woodhouse, R.M.: Requirements analsis using forward and backward search. Ann. Softw. Eng. 3(1), 459–475 (1997)
Dehlinger, J., Lutz, R.: Software fault tree analysis for product lines. In: Proceedings of the 8th IEEE International Symposium on High Assurance Systems Engineering, pp. 12–21 (2004)
Lu, D., Lutz, R.: Fault contribution trees for product families. In: Proceedings of the 13th International Symposium in Software Reliability Engineering, pp. 231–242 (2002)
Lam, W.: A case study of requirements reuse through product families. Ann. Softw. Eng. 5(1), 253–277 (1998)
Feng, Q., Lutz, R.: Bi-directional safety analysis of product lines. J. Syst. Softw. 78(2), 111–127 (2005)
Noda, A., Nakanishi, T., Kitasuka, T., Fukuda, A.: Introducing fault tree analysis into product line software engineering for exception handling feature exploitation. In: Proceedings of the 25th Conference on IASTED International Multi-conference: Software Engineering, pp. 229–234 (2007)
Gómez, C., Liggesmeyer, P., Sutor, A.: Variability management of safety and reliability models: an intermediate model towards systematic reuse of component fault trees. In: Schoitsch, E. (ed.) SAFECOMP 2010. LNCS, vol. 6351, pp. 28–40. Springer, Heidelberg (2010)
Kaiser, B., Liggesmeyer, P., Mäckel, O.: A new component concept for fault trees. In: Proceedings of the 8th Workshop on Safety Critical Systems and Software, pp. 37–46 (2003)
Atkinson, C., Bayer, J., Muthig, D.: Component-based product line development: the KobrA approach. In: Software Product Lines, pp. 289–309 (2000)
Srinivasan, A., Ham, T., Malik, S., Brayton, R.: Algorithms for discrete function manipulation. In: ICCAD-90, International Conference on Computer-Aided Design, pp. 92–95, IEEE, November 1990
Lee, C.Y.: Representation of switching circuits by binary-decision programs. Bell Syst. Tech. J. 38(4), 985–999 (1959)
Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Trans. Comput. 35, 677–691 (1986)
Mo, Y., Xing, L., Dugan, J.: MDD-based method for efficient analysis on phased-mission systems with multimode failures. IEEE Trans. Syst. Man Cybern.: Syst. 44(6), 757–769 (2014)
Manikas, T., Thornton, M., Feinstein, D.: Using multiple-valued logic decision diagrams to model system threat probabilities. In: 41st IEEE International Symposium on Multiple-valued Logic, pp. 263–267, May 2011
Gulati, R., Bechta Dugan, J.:A modular approach for analyzing static and dynamic fault trees. In: 1997 Proceedings of the Annual Reliability and Maintainability Symposium, pp. 57–63, January 1997
Mo, Y.: A multiple-valued decision-diagram-based approach to solve dynamic fault trees. IEEE Trans. Reliab. 63(1), 81–93 (2014)
Xing, L., Dugan, J.B.: Dependability analysis using multiple-valued decision diagrams. In: Proceedings of the 6th International Conference on Probabilistic Safety Assessment and Management (2002)
Xing, L., Dai, Y.: A new decision-diagram-based method for efficient analysis on multistate systems. IEEE Trans. Dependable Secure Comput. 6(3), 161–174 (2009)
Mo, Y., Xing, L., Amari, S.: A multiple-valued decision diagram based method for efficient reliability analysis of non-repairable phased-mission systems. IEEE Trans. Reliab. 63(1), 320–330 (2014)
Jung, W.S., Han, S.H., Ha, J.: A fast BDD algorithm for large coherent fault trees analysis. Reliab. Eng. Syst. Saf. 83(3), 369–374 (2004)
Contini, S., Matuzas, V.: Analysis of large fault trees based on functional decomposition. Reliab. Eng. Syst. Saf. 96(3), 383–390 (2011)
Rauzy, A.: Mathematical foundations of minimal cutsets. IEEE Trans. Reliab. 50(4), 389–396 (2001)
Rauzy, A.: Binary decision diagrams for reliability studies. In: Misra, K. (ed.) Handbook of Performability Engineering, pp. 381–396. Springer, London (2008)
Schulze, M., Mauersberger, J., Beuche, D.: Functional safety and variability: can it be brought together?. In: Proceedings of the 17th International Software Product Line Conference, pp. 236–243. ACM (2013)
Käßmeyer, M., Velasco Moncaday, D., Schurius, M.: Evaluation of a systematic approach in variant management for safety-critical systems development. In: Proceedings of the 12th International Conference on Embedded and Ubiquitous Computing. IEEE (2015)
Berndt, R., Bazan, P., Hielscher, K.S.: On the ordering of variables of multi-valued decision diagrams. In: MMB (ed.): Leistungs-, Zuverlässigkeits- und Verlässlichkeitsbewertung von Kommunikationsnetzen und Verteilten Systemen, Hamburg, pp. 89–98 (2011)
Berndt, R., Bazan, P., Hielscher, K.-S., German, R.: Construction methods for MDD-based state space representations of unstructured systems. In: Fischbach, K., Krieger, U.R. (eds.) Proceedings of the 17th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems and Dependability and Fault-Tolerance. LNCS, vol. 8376, pp. 43–56. Springer, Switzerland (2014)
Schmiedle, F., Gunther, W., Drechsler, R.: Selection of efficient re-ordering heuristics for MDD construction. In: Proceedings of the 31st International Symposium on Multiple-valued Logic, pp. 299–304. IEEE (2001)
Acknowledgment
Partially funded by the project SPES XT of the German Federal Ministry of Education and Research (grant no. 01IS12005C).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Käßmeyer, M., Berndt, R., Bazan, P., German, R. (2016). Product Line Fault Tree Analysis by Means of Multi-valued Decision Diagrams. In: Remke, A., Haverkort, B.R. (eds) Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems. MMB&DFT 2016. Lecture Notes in Computer Science(), vol 9629. Springer, Cham. https://doi.org/10.1007/978-3-319-31559-1_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-31559-1_11
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-31558-4
Online ISBN: 978-3-319-31559-1
eBook Packages: Computer ScienceComputer Science (R0)