Autor: |
Alessandro Cimatti, Luca Cristoforetti, Alberto Griggio, Stefano Tonetta, Sara Corfini, Marco Di Natale, Florian Barrau |
Rok vydání: |
2023 |
Zdroj: |
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783031308192 |
Popis: |
We present , a framework for the integration of modern verification tools in the context of AUTOSAR, a widely-used open standard for the development of automotive software systems. Our framework enables the automatic end-to-end verification of system-level properties using a compositional approach. It combines software model checking techniques for the verification of software components at the code level with a contract-based analysis for verifying their correct composition. In this paper, we present the tool through its application on a representative automotive case study, discussing the main functionalities provided and the results obtained. |
Databáze: |
OpenAIRE |
Externí odkaz: |
|