Abstract
The growing complexity of safety-relevant systems causes an increasing effort for safety assurance. The reduction of development costs and time-to-market, while guaranteeing safe operation, is therefore a major challenge. In order to enable efficient safety assessment of complex architectures, we present an approach, which combines deductive safety analyses, in form of Component Fault Trees (CFTs), with an Error Effect Simulation (EES) for sanity checks. The combination reduces the drawbacks of both analyses, such as the subjective failure propagation assumptions in the CFTs or the determination of relevant fault scenarios for the EES. Both CFTs and the EES provide a modular, reusable and compositional safety analysis and are applicable throughout the whole design process. They support continuous model refinement and the reuse of conducted safety analysis and simulation models. Hence, safety goal violations can be identified in early design stages and the reuse of conducted safety analyses reduces the overhead for safety assessment.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Avizienis, A., Laprie, J.-C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secure Comput. 1(1), 11–33 (2004)
Ayestaran, I., Nicolas, C.F., Perez, J., Larrucea, A., Puschner, P.: Modeling and simulated fault injection for time-triggered safety-critical embedded systems. In: IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), pp. 180–187 (2014)
Becker, M., Kuznik, C., Mueller, W.: Virtual platforms for model-based design of dependable cyber-physical system software. In: 17th Euromicro Conference on Digital System Design (DSD), pp. 246–253 (2014)
Bolchini, C., Miele, A., Sciuto, D.: Fault models and injection strategies in SystemC specifications. In: 11th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools (DSD), pp. 88–95 (2008)
Bonfiglio, V., Montecchi, L., Rossi, F., Lollini, P., Pataricza, A., Bondavalli, A.: Executable models to support automated software FMEA. In: 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (2015)
Chaari, M., Ecker, W., Novello, C., Tabacaru, B.A., Kruse, T.: A model-based and simulation-assisted FMEDA approach for safety-relevant e/e systems. In: 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC), June 2015
Adler, R., Domis, D., Höfig, K., Kemmann, S., Kuhn, T., Schwinn, J.-P., Trapp, M.: Integration of component fault trees into the UML. In: Dingel, J., Solberg, A. (eds.) MODELS 2010. LNCS, vol. 6627, pp. 312–327. Springer, Heidelberg (2011). doi:10.1007/978-3-642-21210-9_30
Höfig, K., Zeller, M., Heilmann, R.: ALFRED: a methodology to enable component fault trees for layered architectures. In: 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA) (2015)
IEEE Computer Society: IEEE 1666–2011 Standard SystemC Language Reference Manual (2011)
International Electrotechnical Commission (IEC): IEC 61508: functional safety of electrical/electronic/programmable electronic safety related systems (1998)
International Organization for Standardization (ISO): ISO 26262: road vehicles - functional safety (2011)
Kaiser, B., Liggesmeyer, P., Mäckel, O.: A new component concept for fault trees. In: Proceedings of the 8th Australian Workshop on Safety Critical Systems and Software, SCS 2003, vol. 33, pp. 37–46 (2003)
Marinescu, R., Kaijser, H., Mikučionis, M., Seceleanu, C., Lönn, H., David, A.: Analyzing industrial architectural models by simulation and model-checking. In: Artho, C., Ölveczky, P.C. (eds.) FTSCS 2014. CCIS, vol. 476, pp. 189–205. Springer, Cham (2015). doi:10.1007/978-3-319-17581-2_13
Misera, S., Vierhaus, H.T., Sieber, A.: Fault injection techniques and their accelerated simulation in SystemC. In: 10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (DSD), pp. 587–595 (2007)
Oetjens, J.-H., Bannow, N., et al.: Safety evaluation of automotive electronics using virtual prototypes: state of the art and research challenges. In: 51st ACM/EDAC/IEEE Design Automation Conference (DAC), pp. 1–6 (2014)
Perez, J., Azkarate-Askasua, M., Perez, A.: Codesign and simulated fault injection of safety-critical embedded systems using SystemC. In: European Dependable Computing Conference (EDCC), pp. 221–229 (2010)
Reiter, S., Pressler, M., Viehl, A., Bringmann, O., Rosenstiel, W.: Reliability assessment of safety-relevant automotive systems in a model-based design flow. In: 18th Asia and South Pacific Design Automation Conference (ASP-DAC) (2013)
Reiter, S., Viehl, A., Bringmann, O., Rosenstiel, W.: Fault injection ecosystem for assisted safety validation of automotive systems. In: 2016 IEEE International High Level Design Validation and Test Workshop (HLDVT), October 2016
Vesely, W., Goldberg, F., Roberts, N., Haasl, D.: Fault Tree Handbook. US Nuclear Regulatory Commission, Rockville (1981)
Weissnegger, R., Schuß, M., Kreiner, C., Pistauer, M., Römer, K., Steger, C.: Seamless integrated simulation in design and verification flow for safety-critical systems. In: Skavhaug, A., Guiochet, J., Schoitsch, E., Bitsch, F. (eds.) SAFECOMP 2016. LNCS, vol. 9923, pp. 359–370. Springer, Cham (2016). doi:10.1007/978-3-319-45480-1_29
Zeller, M., Höfig, K.: Confetti component – fault tree-based testing. In: Podofillini, L., Sudret, B., Stojadinovic, B., Zio, E., Kröger, W. (eds.) Safety and Reliability of Complex Engineered Systems: Proceedings of the 25th European Safety and Reliability Conference (ESREL), pp. 4011–4017 (2015)
Zeller, M., Höfig, K.: INSiDER: incorporation of system and safety analysis models using a dedicated reference model. In: 2016 Annual Reliability and Maintainability Symposium (RAMS) (2016)
Acknowledgement
This work has been partially supported by the German Ministry of Science and Education (BMBF) in the project ASSUME under grant 01IS15031 and EffektiV under grant 01IS13022.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Reiter, S., Zeller, M., Höfig, K., Viehl, A., Bringmann, O., Rosenstiel, W. (2017). Verification of Component Fault Trees Using Error Effect Simulations. In: Bozzano, M., Papadopoulos, Y. (eds) Model-Based Safety and Assessment. IMBSA 2017. Lecture Notes in Computer Science(), vol 10437. Springer, Cham. https://doi.org/10.1007/978-3-319-64119-5_14
Download citation
DOI: https://doi.org/10.1007/978-3-319-64119-5_14
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-64118-8
Online ISBN: 978-3-319-64119-5
eBook Packages: Computer ScienceComputer Science (R0)