A comprehensive framework for the analysis of automotive systems-Reference-Cited by-同舟云学术

A comprehensive framework for the analysis of automotive systems

Published:2022-10-23 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems
language:
Short-container-title:

Author:

Cimatti Alessandro¹,Corfini Sara²,Cristoforetti Luca¹,Di Natale Marco²,Griggio Alberto¹,Puri Stefano²,Tonetta Stefano¹

Affiliation:

1. Fondazione Bruno Kessler, Povo, Trento, Italy

2. Huawei Pisa Research Center, Pisa, Italy

Publisher

ACM

Link

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

Reference32 articles.

1. App4MC project web page. https://www.eclipse.org/app4mc/. App4MC project web page. https://www.eclipse.org/app4mc/.

2. Embedded Validator product suite web page. https://www.btc-es.de/en/products/btc-embeddedvalidator.html. Embedded Validator product suite web page. https://www.btc-es.de/en/products/btc-embeddedvalidator.html.

3. Inchron product web page. https://www.inchron.com/. Inchron product web page. https://www.inchron.com/.

4. The AUTOSAR Tool Platform (Artop). http://www.artop.org. The AUTOSAR Tool Platform (Artop). http://www.artop.org.

5. Timing Architect (TA) product suite web page. https://www.vector.com/int/en/products/products-a-z/software/ta-tool-suite/. Timing Architect (TA) product suite web page. https://www.vector.com/int/en/products/products-a-z/software/ta-tool-suite/.

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

1. Multi-criteria Optimization of Real-time DAGs on Heterogeneous Platforms under P-EDF;ACM Transactions on Embedded Computing Systems;2024-01-10

2. Exploring the Effectiveness and Trends of Domain-Specific Model Driven Engineering: A Systematic Literature Review (SLR);IEEE Access;2024

3. EVA: a Tool for the Compositional Verification of AUTOSAR Models;Tools and Algorithms for the Construction and Analysis of Systems;2023

4. Kratos2: An SMT-Based Model Checker for Imperative Programs;Computer Aided Verification;2023