Thomas M. Galla, Elektrobit Corporation
Alexander Much, Elektrobit Corporation
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.
Recorded: 17 Apr 2012
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .Select web site
You can also select a web site from the following list:
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.