Automatic Generation of an AUTOSAR-compliant Timing Model from Trace Recordings

With the availability of the AUTOSAR standard, model-driven methodologies are becoming established in the automotive domain. However, the process of creating models of existing system components is often difficult and time consuming, especially when legacy code has to be re-used or information about the exact timing behavior is needed. In order to tackle this reverse engineering problem, we present CoreTAna, a novel tool that derives an AUTOSAR compliant model of a real-time system from a dynamic analysis of its trace recordings. This talk gives an overview of CoreTAna’s current features and discusses its benefits for reverse engineering.