Back to Search
Start Over
EVA: a Tool for the Compositional Verification of AUTOSAR Models
- Source :
- Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783031308192
- Publication Year :
- 2023
- Publisher :
- Springer Nature Switzerland, 2023.
-
Abstract
- 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.
Details
- ISBN :
- 978-3-031-30819-2
- ISBNs :
- 9783031308192
- Database :
- OpenAIRE
- Journal :
- Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783031308192
- Accession number :
- edsair.doi...........7229ca60bc805dd738f1099e707f7626