Model-Based Timing Analysis of Automotive Use Case Developed in UML

Abstract

Development of AUTOSAR-based systems using UML tools is gaining significant attention in the automotive industry. In this context, incorporating an early and automated model-based timing analysis of such systems in state-of-the-practice timing analysis tools is a significant step towards automated tooling for Verification & Validation (V&V) in the AUTOSAR-based development process; nevertheless is missing. Addressing this aspect, a workflow for early model-based timing analysis of AUTOSAR models is outlined. A detailed discussion of the model transformations for extracting a timing analysis model from a timing annotated AUTOSAR-based design model is presented in this book chapter. Further, a detailed case study of an automotive use case is presented and evaluated step-by-step by employing the outlined workflow. An early model-based timing analysis of the use case developed in UML is discussed in detail. © 2021, Springer Nature Switzerland AG.