ErrorSim: A Tool for Error Propagation Analysis of Simulink Models-Reference-Cited by-同舟云学术

ErrorSim: A Tool for Error Propagation Analysis of Simulink Models

Published:2017 Issue: Volume: Page:245-254
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Saraoğlu Mustafa,Morozov Andrey,Söylemez Mehmet Turan,Janschek Klaus

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-66266-4_16

Reference16 articles.

1. Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secure Comput. 1(1), 11–33 (2004)

2. Fey, I., Müller, J.: Model-based design for safety-related applications (2008)

3. Hsueh, M.C., Tsai, T.K., Iyer, R.K.: Fault injection techniques and tools. Computer 30(4), 75–82 (1997)

4. Lecture Notes in Computer Science;A Joshi,2005

5. Kooli, M., Di Natale, G.: A survey on simulation-based fault injection tools for complex systems. In: 2014 9th IEEE International Conference on Design & Technology of Integrated Systems In: Nanoscale Era (DTIS), pp. 1–6. IEEE (2014)

Cited by 19 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. Simulation Framework for Architecting Autonomous Fault Protection;2024 IEEE Aerospace Conference;2024-03-02

3. Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink;Bridging the Gap Between AI and Reality;2023-12-14

4. Property-Based Mutation Testing;2023 IEEE Conference on Software Testing, Verification and Validation (ICST);2023-04

5. FIM: fault injection and mutation for Simulink;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07