<div class="csl-bib-body">
<div class="csl-entry">Yadav, D., Mandrioli, C., Bartocci, E., & Bianculli, D. (2026). Fault Injection for Simulink-based CPS Models: Insights and Future Directions. In <i>40th IEEE/ACM International Conference on Automated Software Engineering (ASE)</i> (pp. 3834–3839). IEEE. https://doi.org/10.1109/ASE63991.2025.00326</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/226396
-
dc.description.abstract
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.
en
dc.language.iso
en
-
dc.subject
Cyber-Physical Systems
en
dc.subject
Fault Injection
en
dc.subject
Simulink Models
en
dc.subject
Safety-Critical Systems
en
dc.subject
System Reliability
en
dc.title
Fault Injection for Simulink-based CPS Models: Insights and Future Directions
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.contributor.affiliation
Software Verification and Validation - University of Luxembourg (Luxembourg, LU)
-
dc.contributor.affiliation
University of Luxembourg (Luxembourg, LU)
-
dc.relation.doi
10.1109/ASE63991.2025
-
dc.description.startpage
3834
-
dc.description.endpage
3839
-
dc.type.category
Full-Paper Contribution
-
tuw.booktitle
40th IEEE/ACM International Conference on Automated Software Engineering (ASE)
-
tuw.peerreviewed
true
-
tuw.relation.publisher
IEEE
-
tuw.researchTopic.id
I2
-
tuw.researchTopic.name
Computer Engineering and Software-Intensive Systems
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E191-01 - Forschungsbereich Cyber-Physical Systems
-
tuw.publication.orgunit
E056-13 - Fachbereich LogiCS
-
tuw.publication.orgunit
E056-17 - Fachbereich Trustworthy Autonomous Cyber-Physical Systems
-
tuw.publication.orgunit
E056-26 - Fachbereich Automated Reasoning
-
tuw.publisher.doi
10.1109/ASE63991.2025.00326
-
dc.description.numberOfPages
6
-
tuw.author.orcid
0000-0002-2974-0323
-
tuw.author.orcid
0000-0002-7013-1191
-
tuw.author.orcid
0000-0002-8004-6601
-
tuw.author.orcid
0000-0002-4854-685X
-
tuw.event.name
40th IEEE/ACM International Conference on Automated Software Engineering (ASE 2025)
en
tuw.event.startdate
16-11-2025
-
tuw.event.enddate
20-11-2025
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Seoul
-
tuw.event.country
KR
-
tuw.event.presenter
Yadav, Drishti
-
tuw.event.track
Multi Track
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.value
100
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.fulltext
no Fulltext
-
item.languageiso639-1
en
-
item.grantfulltext
none
-
item.openairetype
conference paper
-
item.cerifentitytype
Publications
-
crisitem.author.dept
E191-01 - Forschungsbereich Cyber-Physical Systems
-
crisitem.author.dept
Software Verification and Validation - University of Luxembourg (Luxembourg, LU)
-
crisitem.author.dept
E191-01 - Forschungsbereich Cyber-Physical Systems
