Fault Injection for Simulink-based CPS Models: Insights and Future Directions

YADAV, Drishti; MANDRIOLI, Claudio; Bartocci, Ezio; BIANCULLI, Domenico

doi:10.1109/ASE63991.2025.00326

Download

Paper published in a book (Scientific congresses, symposiums and conference proceedings)

Fault Injection for Simulink-based CPS Models: Insights and Future Directions

YADAV, Drishti; MANDRIOLI, Claudio; Bartocci, Ezio et al.

2025 • In Proceedings of the 2025 40th ACM/IEEE International Conference on Automated Software Engineering (ASE'25)

Peer reviewed

Permalink
https://hdl.handle.net/10993/65775

DOI
10.1109/ASE63991.2025.00326

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

ASE_NIER_2025 (1).pdf

Author postprint (151.59 kB)

In Press

Download

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Keywords :

Cyber-Physical Systems; Fault Injection; Simulink; Model-Based Development; Testing; Mutation

Abstract :

[en] Ensuring the safety and reliability of Cyber-Physical Systems (CPS) is critical, particularly in safety-critical domains such as automotive and aerospace. Fault Injection (FI) is a well- established technique for testing system resilience, but current FI tools often face challenges when applied to Simulink-based CPS models. In this paper, we analyze the shortcomings of existing FI methods, and reflect on the key challenges of FI for Simulink- based CPS models. By offering insights into these challenges and proposing research pathways, we aim to inspire further advances in FI methodologies, enabling more robust testing of CPS in real- world applications.

Research center :

Interdisciplinary Centre for Security, Reliability and Trust (SnT) > SVV - Software Verification and Validation

Disciplines :

Computer science

Author, co-author :

YADAV, Drishti ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV

MANDRIOLI, Claudio ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV

Bartocci, Ezio; TU Wien > Institute of Computer Engineering

BIANCULLI, Domenico ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV

External co-authors :

yes

Language :

English

Title :

Fault Injection for Simulink-based CPS Models: Insights and Future Directions

Publication date :

2025

Event name :

40th IEEE/ACM International Conference on Automated Software engineering (ASE 2025)

Event date :

16-20 November 2025

Audience :

International

Main work title :

Proceedings of the 2025 40th ACM/IEEE International Conference on Automated Software Engineering (ASE'25)

Publisher :

IEEE

Peer reviewed :

Peer reviewed

Focus Area :

Security, Reliability and Trust

Development Goals :

9. Industry, innovation and infrastructure

European Projects :

HE - 101148870 - ContTestCPS - Control Theory-based Testing of Cyber-Physical Systems

Funders :

European Union

Available on ORBilu :

since 11 September 2025

Statistics

Number of views

218 (20 by Unilu)

Number of downloads

210 (4 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

OpenAlex citations

Bibliography

E. Bartocci, L. Mariani, D. Nickovic, and D. Yadav, "FIM: Fault injection and mutation for simulink," in Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2022, Singapore, Singapore, November 14-18, 2022, A. Roychoudhury, C. Cadar, and M. Kim, Eds. USA: ACM, 2022, pp. 1716-1720. [Online]. Available: https://doi.org/10.1145/3540250.3558932
Mathworks. (2025) Simulink documentation. Mathworks. [Online]. Available: https://in.mathworks.com/ help/simulink/
D. Yadav, "From fault injection to formal verification: A holistic approach to fault diagnosis in cyberphysical systems," in Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, ser. ISSTA 2024. New York, NY, USA: ACM, 2024, p. 1896-1900. [Online]. Available: https://doi.org/10.1145/3650212.3685552
R. A. DeMillo, R. J. Lipton, and F. G. Sayward, "Hints on test data selection: Help for the practicing programmer," Computer, vol. 11, no. 4, pp. 34-41, April 1978.
A. T. Acree, T. A. Budd, R. A. DeMillo, R. J. Lipton, and F. G. Sayward, "Mutation analysis," Georgia Institute of Technology, Atlanta, Georgia, techreport GIT-ICS-79/08, 1979.
E. Bartocci, L. Mariani, D. Nickovic, and D. Yadav, "Search-based testing for accurate fault localization in CPS," in IEEE 33rd International Symposium on Software Reliability Engineering, ISSRE 2022, Charlotte, NC, USA, October 31-Nov. 3, 2022. USA: IEEE, 2022, pp. 145-156. [Online]. Available: https://doi.org/10.1109/ISSRE55969.2022.00024
E. Bartocci, L. Mariani, D. Nickovic, and D. Yadav, "Property-based mutation testing," in IEEE Conference on Software Testing, Verification and Validation, ICST 2023, Dublin, Ireland, April 16-20, 2023. USA: IEEE, 2023, pp. 222-233. [Online]. Available: https: //doi.org/10.1109/ICST57152.2023.00029
D. Yadav, "Enhancing fault diagnosis in safety-critical cyber-physical systems," Ph.D. dissertation, Technische Universität Wien, Vienna, Austria, 2025. [Online]. Available: https://doi.org/10.34726/hss.2025.125790
I. Pill, I. Rubil, F. Wotawa, and M. Nica, "Simultate: A toolset for fault injection and mutation testing of simulink models," in 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW). USA: IEEE, 2016, pp. 168-173.
R. Svenningsson, J. Vinter, H. Eriksson, and M. Törngren, "Modifi: A model-implemented fault injection tool," in International Conference on Computer Safety, Reliability, and Security, E. Schoitsch, Ed. Berlin, Heidelberg: Springer, 2010, pp. 210-222.
M. Saraoglu, A. Morozov, M. T. Söylemez, and K. Janschek, "Errorsim: A tool for error propagation analysis of simulink models," in International Conference on Computer Safety, Reliability, and Security. Cham: Springer, 2017, pp. 245-254.
T. Fabarisov, I. Mamaev, A. Morozov, and K. Janschek, "Model-based fault injection experiments for the safety analysis of exoskeleton system," in Proceedings of the 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference, 2020. [Online]. Available: https://arxiv.org/abs/2101.01283
M. Moradi, B. V. Acker, K. Vanherpen, and J. Denil, "Model-implemented hybrid fault injection for simulink (tool demonstrations)," in Cyber Physical Systems. Model-Based Design-8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018, Revised Selected Papers, ser. Lecture Notes in Computer Science, R. D. Chamberlain, W. Taha, and M. Törngren, Eds., vol. 11615. Springer, 2018, pp. 71-90. [Online]. Available: https://doi.org/10.1007/978-3-030-23703-5 4
A. Ramírez Bárcenas, M. García-Valderas, and C. López-Ongil, "Fault injection at model level for signal data processing in a multisensor instrument for planetary exploration," IEEE Sensors Journal, vol. 24, no. 24, pp. 41 277-41 287, 2024.
MathWorks, "Simulink fault analyzer," 2025. [Online]. Available: https://in.mathworks.com/products/ simulink-fault-analyzer.html
J. Zhang, D. Ghobari, M. Sabetzadeh, and S. Nejati, "Simulink mutation testing using codebert," arXiv preprint arXiv:2501.07553, 2025.
H. I. Ceylan, O. Kilincceker, M. Beyazit, and S. Demeyer, "MUT4SLX: Fast mutant generation for simulink," in 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023. IEEE, 2023, pp. 2086-2089. [Online]. Available: https://doi.org/10.1109/ASE56229.2023.00093
S. Nuyens, H. I. Ceylan, O. Kilincceker, M. Beyazit, and S. Demeyer, "MUT4SLX: Extensions for mutation testing of stateflow models," in IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2024-Companion, Rovaniemi, Finland, March 12, 2024. IEEE, 2024, pp. 215-218. [Online]. Available: https://doi.org/10.1109/SANER-C62648.2024.00035
B. Liu, S. Nejati, Lucia, and L. C. Briand, "Effective fault localization of automotive simulink models: Achieving the trade-off between test oracle effort and fault localization accuracy," Empir. Softw. Eng., vol. 24, no. 1, pp. 444-490, 2019. [Online]. Available: https://doi.org/10.1007/s10664-018-9611-z
K. Chen, M. Wen, H. Jia, R. Wu, and H. Jin, "Towards effective and efficient error handling code fuzzing based on software fault injection," in IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2024, Rovaniemi, Finland, March 12-15, 2024. IEEE, 2024, pp. 320-331. [Online]. Available: https://doi.org/10.1109/SANER60148.2024.00039
E. Bartocci, L. Mariani, D. Nickovic, and D. Yadav, "Signal feature coverage and testing for cps dataflow models," ACM Trans. Softw. Eng. Methodol., vol. 34, no. 7, Aug. 2025. [Online]. Available: https://doi.org/10. 1145/3714467
Q. Wang, J. Rios, S. Jha, K. Shanmugam, F. Bagehorn, X. Yang, R. Filepp, N. Abe, and L. Shwartz, "Fault injection based interventional causal learning for distributed applications," Proceedings of the AAAI Conference on Artificial Intelligence, vol. 37, no. 13, pp. 15 738-15 744, Jul. 2024. [Online]. Available: https://ojs.aaai.org/index.php/AAAI/article/view/26868
Y.-J. Zhang and L.-S. Hu, "Fault propagation inference based on a graph neural network for steam turbine systems," Energies, vol. 14, no. 2, p. 309, 2021.
Mathworks. (2025) Design a guidance system in matlab and simulink. Mathworks. [Online]. Available: https://nl.mathworks.com/help/simulink/slref/ designing-a-guidance-system-in-matlab-and-simulink. html
Mathworks. (2025) Model an antilock braking system. Mathworks. [Online]. Available: https://nl.mathworks.com/help/simulink/slref/ modeling-an-anti-lock-braking-system.html
L. Briand, D. Bianculli, S. Nejati, F. Pastore, and M. Sabetzadeh, "The case for context-driven software engineering research: Generalizability is overrated," IEEE Software, vol. 34, no. 5, pp. 72-75, 2017.