Automated End-to-End Timing Analysis of AUTOSAR-based Causal Event Chains

摘要

Reflecting the ever-increasing complexity of automotive embedded systems and their stringent timing requirements, a significant level of automated tooling is imperative to enhance software quality. In this context, though AUTOSAR-based systems are nowadays more often developed using powerful Unified Modeling Language (UML) tools, there is a lack of an integrated approach and automated tooling for validation of timing properties. Addressing this aspect, a systematic software engineering and automation approach for timing analysis of AUTOSAR-based systems, already early in the design stages, in state-of-the-practice timing analysis tools is presented. A specific example of a widely used timing analysis measure for automotive systems namely, end-to-end delay analysis is described with the help of an AUTOSAR-based causal event chain example. The practical relevance of the approach is demonstrated by evaluating it in an elaborate automotive case study.