MODIFI

The MODIFI (MODel-Implemented Fault- and attack Injection) tool supports model-implemented fault- and attack injection methods within the MATLAB/Simulink environment allowing the impact of faults and cybersecurity attacks on target systems to be evaluated at early development phases.

Logo

Main partner/Developer Tool developer

Tool Link Link to website/github (URL) with more detailed information (optional)

Tool partners Non-owner organizations associated with the tool (partners/distributors)

Improved/Developed Tool Select if it is a new tool (developed) or an improved tool

Tool description A detailed description of the tool

The MODIFI tool supports model-implemented fault- and attack injection methods within the MATLAB/Simulink environment. These methods allow fault- and attack injection mechanisms implemented as model blocks to be injected into simulated target system models to evaluate the impact of faults and cybersecurity attacks and safety- and/or cybersecurity mechanisms to be tested at early development phases. The injection experiments are configured and controlled via a graphical user interface in MODIFI. Several automatic pre-injection analyses, aimed at reducing the number of fault- and attack injection experiments needed to perform the evaluations, can be applied during the configuration.

Technical toolchains Technical connection of tools with their supporting tools. Example: for running a specific tool, you need to run/install this other tool(s) (e.g., CHESS-FLA CHESS, MoMuT Enterprise Architect, etc)

Description of the improvements Description of the improvements and novelties added during VALU3S/Baseline

The MODIFI tool has been extended to include several automatic pre-injection analysis techniques to reduce the fault- and attack locations in the target system model, thus reducing the time, cost and effort of performing the fault- and attack injection experiments. These techniques include inject-on-read, inject-on-write and error space pruning pre-injection analyses. Each technique is implemented as a function in the MODIFI configuration module which may be executed by the user in the MODIFI GUI to analyse the target system model structure and reduce the locations where the faults and attacks may be injected.

Improvement date

New Improvements To be filled in the future (after VALU3S)

References Related papers, journals, articles, and so on

R. Svenningsson, J. Vinter, H. Eriksson, and M. T ̈orngren, “Modifi: A model- implemented fault injection tool,” in Proc. of the 29th Int. Conf. on Computer Safety, Reliability, and Security, ser. SAFECOMP’10. Berlin, Heidelberg: Springer-Verlag, 2010, pp. 210–222.

B. Sangchoolie, P. Folkesson, and J. Vinter, “A study of the interplay between safety and security using model-implemented fault injection,” in 2018 14th Eur. Dep. Comp. Conf. (EDCC). IEEE, 2018, pp. 41–48.

Relationships with other web-repo artefacts

Related V&V Methods A tool could be based on several V&V methods.

Standards A method can be linked with standards.

Use cases Use cases where the tool has been used

Functional Toolchain Functional connection of tools for the implementation of a specific evaluation scenario/workflow. Example: the output of one tool can be used by the other tool(s) in order to obtain a different information (e.g., CIROS FERAL, MARVER >-> SRVT, etc)

Improvement Classification

Evaluation Criteria for Safety, Cybersecurity, and Privacy (SCP)

Evaluation Criteria for V&V Processes

Open source - Goals

open Source

Goals Tool goals

Contents

There are currently no items in this folder.