The automotive standard AUTOSAR provides a standardized basis for ECU software development consisting of a layered software architecture with over 80 software modules and libraries accompanied by an associated development methodology.

The AUTOSAR software architecture clearly distinguishes between application software components (SWCs) and basic software (BSW) modules. The description of interfaces and internal behavior of software modules and components is contained in standardized AUTOSAR XML files.

Among other things, these description files contain information on the scheduling, concurrency of modules, the call graph, and the use of specific memory sections. This information can be used as the basis for the verification of the ECU software.

In this session, we present an approach for ensuring code is free from run-time errors for AUTOSAR-based ECUs and for using standardized AUTOSAR XML files to make the verification of software possible and computationally feasible.

Because more and more automotive ECUs are subject to safety standards such as IEC 61508 or ISO 26262, such verification is an important part in the documentation of the safety case.