FIM: fault injection and mutation for Simulink-Reference-Cited by-同舟云学术

FIM: fault injection and mutation for Simulink

Published:2022-11-07 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
language:
Short-container-title:

Author:

Bartocci Ezio¹,Mariani Leonardo²,Ničković Dejan³,Yadav Drishti¹

Affiliation:

1. TU Wien, Austria

2. University of Milano-Bicocca, Italy

3. AIT, Austria

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3540250.3558932

Reference20 articles.

1. Classification and Coverage-Based Falsification for Embedded Control Systems

2. Time Robustness in MTL and Expressivity in Hybrid System Falsification

3. Basic concepts and taxonomy of dependable and secure computing

4. The FSAP/NuSMV-SA Safety Analysis Platform

5. Tagir Fabarisov , Ilshat Mamaev , Andrey Morozov , and Klaus Janschek . 2021. Model-based Fault Injection Experiments for the Safety Analysis of Exoskeleton System. CoRR, abs/2101.01283 ( 2021 ), arXiv:2101.01283. arxiv:2101.01283 Tagir Fabarisov, Ilshat Mamaev, Andrey Morozov, and Klaus Janschek. 2021. Model-based Fault Injection Experiments for the Safety Analysis of Exoskeleton System. CoRR, abs/2101.01283 (2021), arXiv:2101.01283. arxiv:2101.01283

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. From Fault Injection to Formal Verification: A Holistic Approach to Fault Diagnosis in Cyber-Physical Systems;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. MUT4SLX: Extensions for Mutation Testing of Stateflow Models;2024 IEEE International Conference on Software Analysis, Evolution and Reengineering - Companion (SANER-C);2024-03-12

3. Simulation Framework for Architecting Autonomous Fault Protection;2024 IEEE Aerospace Conference;2024-03-02

4. A Failure Model Library for Simulation-Based Validation of Functional Safety;Lecture Notes in Computer Science;2024

5. Methodology of a hierarchical and automated failure analysis and its advantages;AIMS Electronics and Electrical Engineering;2024