Identification of Risk Significant Automotive Scenarios Under Hardware Failures

The level of autonomous functions in vehicular control systems has been on a steady rise. This rise makes it more challenging for control system engineers to ensure a high level of safety, especially against unexpected failures such as stochastic hardware failures. A generic Backtracking Process Algorithm (BPA) based on a deductive implementation of the Markov/Cell-to-Cell Mapping technique is proposed for the identification of critical scenarios leading to the violation of safety goals. A discretized state-space representation of the system allows tracing of fault propagation throughout the system, and the quantification of probabilistic system evolution in time. A case study of a Hybrid State Control System for an autonomous vehicle prone to a brake-by-wire failure is constructed. The hazard of interest is collision with a stationary vehicle. The BPA is implemented to identify the risk significant scenarios leading to the hazard of interest.

[1]  Nabarun Das,et al.  Quantified fault tree techniques for calculating hardware fault metrics according to ISO 26262 , 2016, 2016 IEEE Symposium on Product Compliance Engineering (ISPCE).

[2]  Martin Buss,et al.  Determining states of inevitable collision using reachability analysis , 2014, 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[3]  Arda Kurt,et al.  Hybrid Systems Modeling and Reachability-Based Controller Design Methods for Vehicular Automation , 2014 .

[4]  Yeqiong Song,et al.  Quantitative evaluation of the safety of X-by-Wire architecture subject to EMI perturbations , 2005, 2005 IEEE Conference on Emerging Technologies and Factory Automation.

[5]  Tunc Aldemir,et al.  Process reliability and safety under uncertainties , 1996 .

[6]  Hongkun Zhang,et al.  Model-based hazard analysis method on automotive programmable electronic system , 2010, 2010 3rd International Conference on Biomedical Engineering and Informatics.

[7]  Durga Rao Karanki,et al.  Probabilistic Safety Assessment , 2016 .

[8]  Jean-Charles Fabre,et al.  An approach for improving Fault-Tolerance in Automotive Modular Embedded Software , 2009 .

[9]  Rolf Johansson.  The Importance of Active Choices in Hazard Analysis and Risk Assessment , 2015 .

[10]  Tunc Aldemir,et al.  The cell to cell mapping technique and chapman-kolmogorov representation of system dynamics , 1995 .

[11]  Giorgio Rizzoni,et al.  Fault detection and identification in dynamic systems with noisy data and parameter/modeling uncertainties , 1999 .

[12]  Tunc Aldemir,et al.  Computer-Assisted Markov Failure Modeling of Process Control Systems , 1987, IEEE Transactions on Reliability.

[13]  Keith Redmill,et al.  A Hierarchical Hybrid State System Based Controller Design Approach for an Autonomous UAS Mission , 2016 .

[14]  Wassim G. Najm,et al.  Pre-Crash Scenario Typology for Crash Avoidance Research , 2007 .

[15]  Tim Kelly,et al.  The Goal Structuring Notation – A Safety Argument Notation , 2004 .

[16]  Matthias Althoff,et al.  Online Verification of Automated Road Vehicles Using Reachability Analysis , 2014, IEEE Transactions on Robotics.

[17]  Joseph G. D'Ambrosio,et al.  A System-Safety Process For By-Wire Automotive Systems , 2000 .

[18]  Umit Ozguner,et al.  Coordination of hierarchical systems , 1990, Proceedings. 5th IEEE International Symposium on Intelligent Control 1990.

[19]  Tunc Aldemir,et al.  Probabilistic analysis of asymptotic reactor dynamics and the cell-to-cell mapping technique , 1991 .

[20]  Jun Yang,et al.  An algorithm for the computationally efficient deductive implementation of the Markov/Cell-to-Cell-Mapping Technique for risk significant scenario identification , 2016, Reliab. Eng. Syst. Saf..

[21]  Yoshinobu Sato,et al.  Failure rate calculation with priority FTA method for functional safety of complex automotive subsystems , 2011, 2011 International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering.

[22]  Antoine Rauzy,et al.  Modeling automotive safety mechanisms: A Markovian approach , 2014, Reliab. Eng. Syst. Saf..

[23]  Tankut Acarman,et al.  Autonomous Ground Vehicles , 2011 .

[24]  André Platzer,et al.  Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified , 2011, FM.

[25]  Mohammad Modarres,et al.  Reliability engineering and risk analysis : a practical guide , 2016 .

[26]  André Platzer,et al.  Formal verification of obstacle avoidance and navigation of ground robots , 2016, Int. J. Robotics Res..

[27]  Rolf Drechsler,et al.  Safety evaluation of automotive electronics using Virtual Prototypes: State of the art and research challenges , 2014, 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC).

[28]  Georg Scharfenberg,et al.  Random Hardware failure compliance of a cell balancing circuit with the requirements of automotive functional safety , 2015, 2015 International Conference on Applied Electronics (AE).

[29]  Sergio Guarro,et al.  Quantitative and Risk-Based Framework for Unmanned Aircraft Control System Assurance , 2017 .

[30]  Diego Mandelli,et al.  Probabilistic risk assessment modeling of digital instrumentation and control systems using two dynamic methodologies , 2010, Reliab. Eng. Syst. Saf..

[31]  Karl Henrik Johansson,et al.  Guaranteeing safety for heavy duty vehicle platooning : Safe set computations and experimental evaluations , 2014 .

[32]  Sergio Guarro,et al.  Risk Informed Safety Case Framework for Unmanned Aircraft System Flight Software Certification , 2017 .

[33]  Jonas Fredriksson,et al.  Verification of Collision Avoidance Systems using Reachability Analysis , 2014 .

[34]  Manfred Broy,et al.  Challenges in automotive software engineering , 2006, ICSE.

[35]  Sergio Guarro,et al.  Formal Framework and Models for Validation and Verification of Software-Intensive Aerospace Systems , 2017 .

[36]  Sergio Guarro,et al.  Dynamic Probabilistic Risk Assessment of Unmanned Aircraft Adaptive Flight Control Systems , 2018 .

[37]  Julian Weber,et al.  Automotive Development Processes , 2009 .

[38]  Purnendu Sinha.  Architectural design and reliability analysis of a fail-operational brake-by-wire system from ISO 26262 perspectives , 2011, Reliab. Eng. Syst. Saf..