Model-Implemented Hybrid Fault Injection for Simulink (Tool Demonstrations)

@inproceedings{Moradi2018ModelImplementedHF,
  title={Model-Implemented Hybrid Fault Injection for Simulink (Tool Demonstrations)},
  author={Mehrdad Moradi and Bert Van Acker and Ken Vanherpen and J. Denil},
  booktitle={CyPhy/WESE},
  year={2018}
}
The increasing complexity and certification needs of cyber-physical systems (CPS) requires improved methods of dependability analysis. Fault injection (FI) is an experimental-based way for safety analysis of a system which is mainly divided in model-based, software-based and hardware-based techniques. For safety analysis during model-based development, FI mechanisms can be added directly into models of hardware, models of software and/or models of the system. This approach is denoted as model… 
Hardware-in-the-Loop-Based Real-Time Fault Injection Framework for Dynamic Behavior Analysis of Automotive Software Systems
TLDR
A real-time FI framework is proposed based on a hardware-in-the-loop (HiL) simulation platform and a real- time electronic control unit (ECU) prototype that covers most of the potential faults and shows the effects of single and simultaneous faults on the system performance under a faulty mode compared to the golden running mode.
Validity frame concept as effort-cutting technique within the verification and validation of complex cyber-physical systems
TLDR
This paper explores how the effort (and cost) of the V&V phase of the engineering process of complex CPSs can be reduced by enhancing the knowledge about the system components, and explicitly capturing it within their corresponding validity frame.
Machine-learning assisted model-implemented fault injection
TLDR
This work proposes an approach where the Machine Learning (ML) algorithm aids FI by efficiently injecting faults in the model under test automatically, which fail the model’s properties.
Exploring Fault Parameter Space Using Reinforcement Learning-based Fault Injection
TLDR
A Reinforcement Learning (RL) approach to explore the fault space and find critical faults and compare the proposed method with Monte Carlo-based fault injection is more efficient in terms of fault coverage and time to find the first critical fault.
Machine Learning-assisted Fault Injection
TLDR
A model-based approach to improve the efficiency of the FI process by utilizing Machine Learning and formalized domain knowledge that uses a probabilistic automaton to reduce the manual effort required in the testing procedure.

References

SHOWING 1-10 OF 31 REFERENCES
Combining software-implemented and simulation-based fault injection into a single fault injection method
  • Jens Güthoff, V. Sieh
  • Engineering
    Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers
  • 1995
TLDR
Two approaches are introduced which try to overcome crucial problems when using software-based fault injection techniques, and one improves the accuracy of software-implemented fault injection experiments and the second offers detailed insights into the system dynamics in the presence of faults.
Improving Fault Injection in Automotive Model Based Development using Fault Bypass Modeling
TLDR
The focus is laid on an important challenge encountered when injecting faults in continuous models, i.e. managing system-environment inter-dependencies and an effective approach to deal with this problem is outlined.
MODIFI: A MODel-Implemented Fault Injection Tool
TLDR
The MODIFI (MODel-Implemented Fault Injection) tool is presented, currently targeting behaviour models in Simulink and the fault injection algorithm uses the concept of minimal cut sets (MCS) generation.
Model-based Testing of Real-Time Embedded Systems in the Automotive Domain
TLDR
An approach to functional black-box testing based on the system models by providing a test model is developed, contrasted with the currently applied test methods that form dedicated solutions, usually specialized in a concrete testing context.
Model-Implemented Fault Injection for Hardware Fault Simulation
TLDR
A fault injection environment has been developed to enable comparison of experiments at model level and hardware level using Simulink and an Infineon microcontroller, respectively to simulate the effect of hardware-related faults in embedded systems.
Fault Injection for Dependability Validation: A Methodology and Some Applications
TLDR
The authors address the problem of validating the dependability of fault-tolerant computing systems, in particular, the validation of the fault-Tolerance mechanisms through the use of fault injection at the physical level on a hardware/software prototype of the system considered.
Localizing Faults in Simulink/Stateflow Models with STL
TLDR
A new procedure is proposed that aids designers in debugging Simulink/Stateflow hybrid system models, guided by Signal Temporal Logic (STL) specifications, that combines the previous analysis from multiple tests to identify the internal states and/or transitions that are the most likely to explain the fault.
Synthesis of Multitask Implementations of Simulink Models With Minimum Delays
TLDR
This paper presents an improvement of code generation technology for SR obtained via a novel algorithm for optimizing the multitask implementation of Simulink models on single-processor platforms with limited availability of memory.
Rule-based model transformation for, and in simulink
TLDR
A rule-based approach is presented for model-to-model transformations in Simulink, and the abstraction from the code base provides benefits such as a more intuitive representation and the ability to more effectively reason about the transformations.
DEPEND: A Simulation-Based Environment for System Level Dependability Analysis
TLDR
The rationale for a functional simulation tool, called DEPEND, which provides an integrated design and fault injection environment for system level dependability analysis is presented and techniques developed to simulate realistic fault scenarios, reduce simulation time explosion, and handle the large fault model and component domain associated with system level analysis are presented.
...
...