Model-based Fault Injection Experiments for the Safety Analysis of Exoskeleton System

Model-based fault injection methods are widely used for the evaluation of fault tolerance in safety-critical control systems. In this paper, we introduce a new model-based fault injection method implemented as a highlycustomizable Simulink block called FIBlock. It supports the injection of typical faults of essential heterogeneous components of Cyber-Physical Systems, such as sensors, computing hardware, and network. The FIBlock GUI allows the user to select a fault type and configure multiple parameters to tune error magnitude, fault activation time, and fault exposure duration. Additional trigger inputs and outputs of the block enable the modeling of conditional faults. Furthermore, two or more FIBlocks connected with these trigger signals can model chained errors. The proposed fault injection method is demonstrated with a lower-limb EXO-LEGS exoskeleton, an assistive device for the elderly in everyday life. The EXO-LEGS model-based dynamic control is realized in the Simulink environment and allows easy integration of the aforementioned FIBlocks. Exoskeletons, in general, being a complex CPS with multiple sensors and actuators, are prone to hardware and software faults. In the case study, three types of faults were investigated: 1) sensor freeze, 2) stuck-at-0, 3) bit-flip. The fault injection experiments helped to determine faults that have the most significant effects on the overall system reliability and identify the fine line for the critical fault duration after that the controller could no longer mitigate faults.

[1]  Ulrich Kremer.  Cyber-Physical Systems : A Case for Soft Real-Time , .

[2]  Henrik Eriksson,et al.  Model-Implemented Fault Injection for Hardware Fault Simulation , 2010, 2010 Workshop on Model-Driven Engineering, Verification, and Validation.

[3]  Johan Potgieter,et al.  A review of commercially available exoskeletons' capabilities , 2017, 2017 24th International Conference on Mechatronics and Machine Vision in Practice (M2VIP).

[4]  João Pedro Hespanha,et al.  A Survey of Recent Results in Networked Control Systems , 2007, Proceedings of the IEEE.

[5]  Yoshiyuki Sankai,et al.  Power Assist System HAL-3 for Gait Disorder Person , 2002, ICCHP.

[6]  Klaus Janschek,et al.  On-Line Error Detection and Mitigation for Time-Series Data of Cyber-Physical Systems using Deep Learning Based Methods , 2019, 2019 15th European Dependable Computing Conference (EDCC).

[7]  Eduardo Pinheiro,et al.  DRAM errors in the wild: a large-scale field study , 2009, SIGMETRICS '09.

[8]  Marios M. Polycarpou,et al.  Sensor Fault Diagnosis , 2016, Found. Trends Syst. Control..

[9]  Wei Li,et al.  A novel sensor fault diagnosis method based on Modified Ensemble Empirical Mode Decomposition and Probabilistic Neural Network , 2015 .

[10]  A. Esquenazi,et al.  Safety and tolerance of the ReWalk™ exoskeleton suit for ambulation by people with complete spinal cord injury: A pilot study , 2012, The journal of spinal cord medicine.

[11]  P E Dodd,et al.  Current and Future Challenges in Radiation Effects on CMOS Electronics , 2010, IEEE Transactions on Nuclear Science.

[12]  Rajeev Alur,et al.  Principles of Cyber-Physical Systems , 2015 .

[13]  Guanghong Yang,et al.  Fault detection for linear uncertain systems with sensor faults , 2010 .

[14]  Ivano Verzola,et al.  A Predictive Approach to Failure Estimation and Identification for Space Systems Operations , 2014 .

[15]  Leonard O'Sullivan,et al.  Safety and Risk Management in Designing for the Lifecycle of an Exoskeleton: A Novel Process Developed in the Robo-Mate Project , 2015 .

[16]  Peter Hazucha,et al.  Characterization of soft errors caused by single event upsets in CMOS processes , 2004, IEEE Transactions on Dependable and Secure Computing.

[17]  Bradley R. Lowery.  Relative error due to a single bit-flip in floating-point arithmetic , 2013, ArXiv.

[18]  Yu Peng,et al.  Review on cyber-physical systems , 2017, IEEE/CAA Journal of Automatica Sinica.

[19]  Insoo Koo,et al.  Sensor Fault Classification Based on Support Vector Machine and Statistical Time-Domain Features , 2017, IEEE Access.

[20]  Bruno Sinopoli,et al.  Foundations of Control and Estimation Over Lossy Networks , 2007, Proceedings of the IEEE.

[21]  Klaus Janschek,et al.  ErrorSim: A Tool for Error Propagation Analysis of Simulink Models , 2017, SAFECOMP.

[22]  Zhen Sun,et al.  Fault detection, isolation, and diagnosis of self-validating multifunctional sensors. , 2016, The Review of scientific instruments.

[23]  Jyrki Kullaa,et al.  Detection, identification, and quantification of sensor fault in a sensor network , 2013 .

[24]  Hend Ghailani,et al.  State-of-the Art and Trends in Cyber-Physical Systems (CPSs) , 2018 .

[25]  Roger Johansson,et al.  A Study of the Impact of Single Bit-Flip and Double Bit-Flip Errors on Program Execution , 2013, SAFECOMP.

[26]  Olivia Penas,et al.  Evolution from mechatronics to cyber physical systems: An educational point of view , 2016, 2016 11th France-Japan & 9th Europe-Asia Congress on Mechatronics (MECATRONICS) /17th International Conference on Research and Education in Mechatronics (REM).

[27]  Jun Nakanishi,et al.  Dynamical Movement Primitives: Learning Attractor Models for Motor Behaviors , 2013, Neural Computation.

[28]  Jorge Sá Silva,et al.  A Survey on Human-in-the-Loop Applications Towards an Internet of All , 2015, IEEE Communications Surveys & Tutorials.

[29]  Allan H. Johnston.  The Effect of Device Scaling on Single-Event Effects in Advance CMOS Devices , 2005 .

[30]  H. Kopetz,et al.  Dependability: Basic Concepts and Terminology , 1992, Dependable Computing and Fault-Tolerant Systems.

[31]  Thomas F. Edgar,et al.  Identification of faulty sensors using principal component analysis , 1996 .

[32]  Carl E. Landwehr,et al.  Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.