Several industries, particularly the automotive sector, are increasingly incorporating more electronics into their products. As a result, these products are becoming more complex and difficult to analyze. This complexity poses a significant challenge for manufacturers in proving the functional safety of their products. Not only do random faults present risks, but component tolerances can also lead to unexpected safety hazards. Current methods are struggling to keep pace with these challenges. We have identified key issues with existing methods and introduce a new approach that leverages computer automation and a model-based framework to enhance the process. We explain how this new method not only improves upon existing practices but also introduces additional capabilities.
In this paper, we examine methods for proving the functional safety of electronic systems. We begin by identifying the challenges associated with current established methods. Next, we introduce our new approach, which relies heavily on computer assistance and offers novel techniques for conducting broader and more in-depth analyses of these systems. We then explain a new workflow that utilizes this approach. To illustrate its application, we provide a demonstrative example. Our conclusion summarizes our findings and results, and we share our thoughts on potential future developments.
Citation: Levent Ergün, Roman Müller Hainbach, Stefan Butzmann. Methodology of a hierarchical and automated failure analysis and its advantages[J]. AIMS Electronics and Electrical Engineering, 2024, 8(3): 370-379. doi: 10.3934/electreng.2024017
[1] | Claus Kirchner, Michael Herty, Simone Göttlich, Axel Klar . Optimal control for continuous supply network models. Networks and Heterogeneous Media, 2006, 1(4): 675-688. doi: 10.3934/nhm.2006.1.675 |
[2] | Simone Göttlich, Oliver Kolb, Sebastian Kühn . Optimization for a special class of traffic flow models: Combinatorial and continuous approaches. Networks and Heterogeneous Media, 2014, 9(2): 315-334. doi: 10.3934/nhm.2014.9.315 |
[3] | Gabriella Bretti, Ciro D’Apice, Rosanna Manzo, Benedetto Piccoli . A continuum-discrete model for supply chains dynamics. Networks and Heterogeneous Media, 2007, 2(4): 661-694. doi: 10.3934/nhm.2007.2.661 |
[4] | Michael Herty, Veronika Sachers . Adjoint calculus for optimization of gas networks. Networks and Heterogeneous Media, 2007, 2(4): 733-750. doi: 10.3934/nhm.2007.2.733 |
[5] | Alexandre M. Bayen, Alexander Keimer, Nils Müller . A proof of Kirchhoff's first law for hyperbolic conservation laws on networks. Networks and Heterogeneous Media, 2023, 18(4): 1799-1819. doi: 10.3934/nhm.2023078 |
[6] | Ciro D'Apice, Rosanna Manzo . A fluid dynamic model for supply chains. Networks and Heterogeneous Media, 2006, 1(3): 379-398. doi: 10.3934/nhm.2006.1.379 |
[7] | Martin Gugat, Alexander Keimer, Günter Leugering, Zhiqiang Wang . Analysis of a system of nonlocal conservation laws for multi-commodity flow on networks. Networks and Heterogeneous Media, 2015, 10(4): 749-785. doi: 10.3934/nhm.2015.10.749 |
[8] | Mauro Garavello . A review of conservation laws on networks. Networks and Heterogeneous Media, 2010, 5(3): 565-581. doi: 10.3934/nhm.2010.5.565 |
[9] | Ciro D'Apice, Peter I. Kogut, Rosanna Manzo . On relaxation of state constrained optimal control problem for a PDE-ODE model of supply chains. Networks and Heterogeneous Media, 2014, 9(3): 501-518. doi: 10.3934/nhm.2014.9.501 |
[10] | Dirk Helbing, Jan Siegmeier, Stefan Lämmer . Self-organized network flows. Networks and Heterogeneous Media, 2007, 2(2): 193-210. doi: 10.3934/nhm.2007.2.193 |
Several industries, particularly the automotive sector, are increasingly incorporating more electronics into their products. As a result, these products are becoming more complex and difficult to analyze. This complexity poses a significant challenge for manufacturers in proving the functional safety of their products. Not only do random faults present risks, but component tolerances can also lead to unexpected safety hazards. Current methods are struggling to keep pace with these challenges. We have identified key issues with existing methods and introduce a new approach that leverages computer automation and a model-based framework to enhance the process. We explain how this new method not only improves upon existing practices but also introduces additional capabilities.
In this paper, we examine methods for proving the functional safety of electronic systems. We begin by identifying the challenges associated with current established methods. Next, we introduce our new approach, which relies heavily on computer assistance and offers novel techniques for conducting broader and more in-depth analyses of these systems. We then explain a new workflow that utilizes this approach. To illustrate its application, we provide a demonstrative example. Our conclusion summarizes our findings and results, and we share our thoughts on potential future developments.
[1] | DIN EN 61508 (2002) Funktionale Sicherheit sicherheitsbezogener elektrischer/elektronischer/programmierbarer elektronischer Systeme, VDE-Verlag. |
[2] | Löw P, Pabst R, Petry E (2011) Funktionale Sicherheit in der Praxis: Anwendung von DIN EN 61508 und ISO/DIS 26262 bei der Entwicklung von Serienprodukten, dpunkt. verlag, Heidelberg. |
[3] | Behrends E, Gritzmann P, Ziegler GM (2018) und Co.: Kaleidoskop der Mathematik, Springer Berlin Heidelberg, Berlin. https://doi.org/10.1007/978-3-662-67495-6 |
[4] | Pill I, Rubil I, Wotawa F, Nica M (2016) SIMULTATE: A Toolset for Fault Injection and Mutation Testing of Simulink Models. IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 168–173. https://doi.org/10.1109/ICSTW.2016.21 |
[5] | Fabarisov T, Mamaev I, Morozov A, Janschek K (2021) Model-based Fault Injection Experiments for the Safety Analysis of Exoskeleton System, The 30th European Safety and Reliability Conference and The 15th Probalilistic Safety Assessment and Management Conference. https://doi.org/10.3850/978-981-14-8593-0_5770-cd |
[6] | Bartocci E, Mariani L, Ničković D, Yadav D (2022) FIM: Fault Injection and Mutation for Simulink. Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 1716–1720. https://doi.org/10.1145/3540250.3558932 |
[7] | Saraoğlu M, Morozov A, Söylemez M, Janschek K (2017) ErrorSim: A tool for error propagation analysis of simulink models. Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings 36, 245–254. Springer International Publishing. https://doi.org/10.1007/978-3-319-66266-4_16 |
1. | C. D'Apice, R. Manzo, B. Piccoli, Numerical Schemes for the Optimal Input Flow of a Supply Chain, 2013, 51, 0036-1429, 2634, 10.1137/120889721 | |
2. | Mauro Garavello, Benedetto Piccoli, Time-varying Riemann solvers for conservation laws on networks, 2009, 247, 00220396, 447, 10.1016/j.jde.2008.12.017 | |
3. | Simone Göttlich, Stephan Martin, Thorsten Sickenberger, Time-continuous production networks with random breakdowns, 2011, 6, 1556-181X, 695, 10.3934/nhm.2011.6.695 | |
4. | S. Göttlich, M. Herty, C. Ringhofer, U. Ziegler, Production systems with limited repair capacity, 2012, 61, 0233-1934, 915, 10.1080/02331934.2011.615395 | |
5. | Felix Bestehorn, Christoph Hansknecht, Christian Kirches, Paul Manns, 2019, A switching cost aware rounding method for relaxations of mixed-integer optimal control problems, 978-1-7281-1398-2, 7134, 10.1109/CDC40024.2019.9030063 | |
6. | D.B. Work, A.M. Bayen, Convex Formulations of Air Traffic Flow Optimization Problems, 2008, 96, 0018-9219, 2096, 10.1109/JPROC.2008.2006150 | |
7. | Felix Bestehorn, Christoph Hansknecht, Christian Kirches, Paul Manns, Switching Cost Aware Rounding for Relaxations of Mixed-Integer Optimal Control Problems: The 2-D Case, 2022, 6, 2475-1456, 548, 10.1109/LCSYS.2021.3082989 | |
8. | Simone Göttlich, Patrick Schindler, Optimal inflow control of production systems with finite buffers, 2015, 20, 1553-524X, 107, 10.3934/dcdsb.2015.20.107 | |
9. | Khaled A.A.A. Othman, Thomas Meurer, Demand Tracking Control in Manufacturing Systems, 2020, 53, 24058963, 11219, 10.1016/j.ifacol.2020.12.334 | |
10. | Simone Göttlich, Michael Herty, Optimal control for supply network models: Mixed integer programming, 2007, 7, 16177061, 2060051, 10.1002/pamm.200700618 | |
11. | Alfredo Cutolo, Benedetto Piccoli, Luigi Rarità, An Upwind-Euler Scheme for an ODE-PDE Model of Supply Chains, 2011, 33, 1064-8275, 1669, 10.1137/090767479 | |
12. | Ciro D'Apice, Peter I. Kogut, Rosanna Manzo, On Approximation of Entropy Solutions for One System of Nonlinear Hyperbolic Conservation Laws with Impulse Source Terms, 2010, 2010, 1687-5249, 1, 10.1155/2010/982369 | |
13. | Michael N. Jung, Christian Kirches, Sebastian Sager, Susanne Sass, Computational Approaches for Mixed Integer Optimal Control Problems with Indicator Constraints, 2018, 46, 2305-221X, 1023, 10.1007/s10013-018-0313-z | |
14. | Khaled A.A.A. Othman, Thomas Meurer, Optimal Boundary Control for the Backlog Problem in Production Systems, 2022, 55, 24058963, 511, 10.1016/j.ifacol.2022.09.146 | |
15. | Tanmay Sarkar, A numerical study on a nonlinear conservation law model pertaining to manufacturing system, 2016, 47, 0019-5588, 655, 10.1007/s13226-016-0199-y | |
16. | Agnes Dittel, Simone Göttlich, Ute Ziegler, Optimal design of capacitated production networks, 2011, 12, 1389-4420, 583, 10.1007/s11081-010-9123-1 | |
17. | A. Fügenschuh, S. Göttlich, M. Herty, C. Kirchner, A. Martin, Efficient reformulation and solution of a nonlinear PDE-controlled flow network model, 2009, 85, 0010-485X, 245, 10.1007/s00607-009-0038-7 | |
18. | A. Fügenschuh, S. Göttlich, M. Herty, A. Klar, A. Martin, A Discrete Optimization Approach to Large Scale Supply Networks Based on Partial Differential Equations, 2008, 30, 1064-8275, 1490, 10.1137/060663799 | |
19. | Oliver Kolb, Simone Göttlich, A continuous buffer allocation model using stochastic processes, 2015, 242, 03772217, 865, 10.1016/j.ejor.2014.10.065 | |
20. | Ciro D'Apice, Peter I. Kogut, Rosanna Manzo, On relaxation of state constrained optimal control problem for a PDE-ODE model of supply chains, 2014, 9, 1556-181X, 501, 10.3934/nhm.2014.9.501 | |
21. | Simone Göttlich, Michael Herty, Claus Kirchner, Optimal control for supply network models: adjoint calculus, 2007, 7, 16177061, 2060053, 10.1002/pamm.200700624 | |
22. | Simone Göttlich, Axel Klar, 2013, Chapter 8, 978-3-642-32159-7, 395, 10.1007/978-3-642-32160-3_8 | |
23. | Ingenuin Gasser, Martin Rybicki, Winnifried Wollner, Optimal control of the temperature in a catalytic converter, 2014, 67, 08981221, 1521, 10.1016/j.camwa.2014.02.006 | |
24. | Simone Göttlich, Sebastian Kühn, Jan Peter Ohst, Stefan Ruzika, Markus Thiemann, Evacuation dynamics influenced by spreading hazardous material, 2011, 6, 1556-181X, 443, 10.3934/nhm.2011.6.443 | |
25. | P. Degond, C. Ringhofer, Stochastic Dynamics of Long Supply Chains with Random Breakdowns, 2007, 68, 0036-1399, 59, 10.1137/060674302 | |
26. | S. Göttlich, S. Kühn, J. A. Schwarz, R. Stolletz, Approximations of time-dependent unreliable flow lines with finite buffers, 2016, 83, 1432-2994, 295, 10.1007/s00186-015-0529-6 | |
27. | Simone Göttlich, Oliver Kolb, Sebastian Kühn, Optimization for a special class of traffic flow models: Combinatorial and continuous approaches, 2014, 9, 1556-181X, 315, 10.3934/nhm.2014.9.315 | |
28. | Sebastian Sager, 2012, Chapter 22, 978-1-4614-1926-6, 631, 10.1007/978-1-4614-1927-3_22 |