Can I read A Comprehensive Framework for the Analysis of Automotive Systems on EtoBox?

A Comprehensive Framework for the Analysis of Automotive Systems by Alessandro Cimatti; Sara Corfini; Luca Cristoforetti; Marco Di Natale; Alberto Griggio; Stefano Puri; Stefano Tonetta is a scholarly article available to read on EtoBox.

What is A Comprehensive Framework for the Analysis of Automotive Systems about?

Analysis models, technologies and tools are extensively used in the automotive domain to validate and optimize the design and implementation of SW systems. This is especially true for modern systems including advanced autonomous (and complex) features. The range of analysis methods that can be applied is extremely wide and goes from functional correctness to functional safety to timing (and schedulability), security, and possibly even more. The AUTOSAR automotive standard has been defined with the purpose of standardizing the SW architecture of automotive systems and enable the construction of systems by composing SW components that are portable and abstract with respect to the underlying HW/SW platform. However, AUTOSAR was originally developed with portability of code in mind, and even if it quickly evolved to include a system-level modeling language (with its metamodel) and later extensions to deal with the needs of analysis methods (and tools), it is hardly comprehensive and still affected by several omissions and limitations. To fix the limitations with respect to timing and schedulability analysis Bosch developed the Amalthea (later App4MC) metamodel and tools. In Huawei, a m

Author

Alessandro Cimatti; Sara Corfini; Luca Cristoforetti; Marco Di Natale; Alberto Griggio; Stefano Puri; Stefano Tonetta

Publisher

ACM

Published

2022

Language

EN