Abstract
The development of safe hardware is a major concern in automotive applications. The parts 5 and 11 of the ISO 26262 define procedures and methods for the development of hardware to achieve a specific automotive safety integrity level. In this paper, we present a novel methodology that combines the hardware metrics analysis of ISO 26262 with SystemC-based virtual prototyping. To show the applicability of our methodology, we modeled the LPDDR4 memory system of a current state-of-the-art ADAS system and estimated the ASIL level of this system. The new methodology is implemented in SystemC and is provided as open-source.
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
References
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 in Software Engineering, pp. 312–327. Springer, Berlin Heidelberg, Berlin, Heidelberg (2011)
Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Trans. Dependable Secur. Comput. 1(1), 11–33 (Jan 2004) 10.1109/TDSC.2004.2, https://dx.doi.org/10.1109/TDSC.2004.2
Boehm, A.: DRAM - More Important Than You Think for Achieving Automotive Functional Safety (2021), https://www.designnews.com/electronics/dram-more-important-you-think-achieving-automotive-functional-safety, visited 2021–07-16
De Schutter, T.: Better Software. Faster!: Best Practices in Virtual Prototyping. Synopsys Press, USA (2014)
ISO: Road vehicles - Functional safety (2011)
Jung, M., Weis, C., Wehn, N.: DRAMSys: A flexible DRAM Subsystem Design Space Exploration Framework. IPSJ Transactions on System LSI Design Methodology (T-SLDM) (August 2015). DOI: https://doi.org/10.2197/ipsjtsldm.8.63
Reiter, S., Pressler, M., Viehl, A., Bringmann, O., Rosenstiel, W.: Reliability assessment of safety-relevant automotive systems in a model-based design flow. In: 2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC). pp. 417–422 (2013). DOI: https://doi.org/10.1109/ASPDAC.2013.6509632
Silva, A.d., Parra, P., Polo, O.R., Sánchez, S.: Runtime instrumentation of systemc/tlm2 interfaces for fault tolerance requirements verification in software cosimulation. Model. Simul. Eng. 2014 (jan 2014). DOI: https://doi.org/10.1155/2014/105051,https://doi.org/10.1155/2014/105051
Steffen Buch, Micron Technology: Questions to Ask Your Memory Supplier... About Functional Safety for DRAM (2020), https://www.youtube.com/watch?v=mzcbtXdWDcg, visited 2021–07-16
Steiner, L., Jung, M., Prado, F.S., Bykov, K., Wehn, N.: DRAMSys4.0: A Fast and Cycle-Accurate SystemC/TLM-Based DRAM Simulator. In: Orailoglu, A., Jung, M., Reichenbach, M. (eds.) SAMOS 2020. LNCS, vol. 12471, pp. 110–126. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-60939-9_8
Steiner, L., Kraft, K., Uecker, D., Jung, M., Huonker, M., Wehn, N.: An LPDDR4 Safety Model for Automotive Applications. In: ACM/IEEE International Symposium on Memory Systems (MEMSYS 2021) (October 2021)
Tabacaru, B.A.: On Fault-Effect Analysis at theVirtual-Prototype Abstraction Level. TU München (2019)
Tabacaru, B.A., Chaari, M., Ecker, W., Kruse, T., Novello, C.: Fault-effect analysis on system-level hardware modeling using virtual prototypes. In: 2016 Forum on Specification and Design Languages (FDL). pp. 1–7 (2016). DOI: https://doi.org/10.1109/FDL.2016.7880368
Weissnegger, R., Schuss, M., Kreiner, C., Pistauer, M., Römer, K., Steger, C.: Simulation-based verification of automotive safety-critical systems based on east-adl. Procedia Computer Science 83, 245–252 (2016). doi: https://doi.org/10.1016/j.procs.2016.04.122,https://www.sciencedirect.com/science/article/pii/S1877050916301454, the 7th International Conference on Ambient Systems, Networks and Technologies (ANT 2016) / The 6th International Conference on Sustainable Energy Information Technology (SEIT-2016) / Affiliated Workshops
Acknowledgments
This work was supported by the Fraunhofer and DFG cooperation program (grant no. 248750294) and by the Fraunhofer High Performance Center for Simulation- and Software-based Innovation. We thank Micron and Mercedes-Benz for the vivid discussions on this topic. Furthermore, we thank Sonnhild Namingha for proofreading this manuscript.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Uecker, D., Jung, M. (2022). Split’n’Cover: ISO 26262 Hardware Safety Analysis with SystemC. In: Orailoglu, A., Reichenbach, M., Jung, M. (eds) Embedded Computer Systems: Architectures, Modeling, and Simulation. SAMOS 2022. Lecture Notes in Computer Science, vol 13511. Springer, Cham. https://doi.org/10.1007/978-3-031-15074-6_5
Download citation
DOI: https://doi.org/10.1007/978-3-031-15074-6_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-15073-9
Online ISBN: 978-3-031-15074-6
eBook Packages: Computer ScienceComputer Science (R0)