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},
  url={https://api.semanticscholar.org/CorpusID:195769468}
}
This paper presents an automated framework to inject faults in the Simulink model that is completely build upon the generative technique of model transformation, allowing it to be ported to other formalisms and tool environments.
View via Publisher
figshare.com
12 Citations
Background Citations
3
Methods Citations
4

12 Citations

Hardware-in-the-Loop-Based Real-Time Fault Injection Framework for Dynamic Behavior Analysis of Automotive Software Systems

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

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.

A Fault Injection and Formal Verification Framework Based on UML Sequence Diagrams

A fault injection and verification framework based on UML sequence diagrams is proposed, providing a guide to the practices of developers and the development of the support tool and demonstrating that by the proposed approach, critical design flaws are revealed.

Machine-learning assisted model-implemented fault injection

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

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.

Model-in-the-Loop Tests Bench as an Efficient Means for Digital Transition: From Descriptive to Simulated Model-Based Systems Engineering and Model-Based Safety Assessment

A methodology for digitally coupling systems architectures using Model Based System Engineering (MBSE) and safety analysis through Model-Based Safety Assessment (MBSA) is proposed and validated using a Model-in-the-Loop (MiL) test bench to investigate fault propagation paths.

Failure Identification Using Model-Implemented Fault Injection with Domain Knowledge-Guided Reinforcement Learning

This study used the system (safety) specification to shape the reward function in the reinforcement learning agent and compared the proposed method with random-based fault injection in terms of the severity and number of faults found.

Machine Learning-assisted Fault Injection

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.

SYSAI for System Health Management - a Statistical Framework for the Analysis of Diagnosis Systems

This paper presents how the SYSAI (System Analysis for Systems with AI components) framework can support intelligent analysis and testing of HMS on the system level and illustrates the approach using the ADAPT (Advanced Diagnostics and Prognostics Testbed) redundant power storage and distribution system.

Machine Learning-Based Fault Injection for Hazard Analysis and Risk Assessment

This work attempts to ease this labour-intensive process by using machine learning-based fault injection to discover representative hazardous situations by using a Simulation-Aided Hazard Analysis and Risk Assessment (SAHARA) methodology.

35 References

Combining software-implemented and simulation-based fault injection into a single fault injection method

    Jens GüthoffV. Sieh
    Computer Science, Engineering
    Twenty-Fifth International Symposium on Fault…
  • 1995
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

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

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

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

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

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

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

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

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

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.