Timing Simulation of Interconnected AUTOSAR Software-Components

Abstract

AUTOSAR is a recent specification initiative which focuses on a model-driven architecture like methodology for automotive applications. However, needed engineering steps, or how-to-come from a logical to a technical architecture respectively implementation, are not well supported by tools, yet. In contrast, SystemC offers a comprehensive way to simulate, analyze, and verify software. Furthermore, it is even able to take the timing behavior of underlying hardware and communication paths into account. Already at a first glance, there are many similarities with respect to the modeling structure between the both concepts. Therefore, this paper discusses approaches on how to use SystemC during the design process of AUTOSAR-conform systems. PV untimed structural com. CDMA CP untimed P2P communication CC cycle accurate communication CAN COMMUNICATION REFINEMENT FLOW CPT timed P2P communication timing approx. communication CAN PVT CP untimed parallel processes COMPUTATION REFINEMENT FLOW CC cycle accurate computation CAN RTOS RTOS CPU CPU CPT timed parallel processes scheduled processes approximate timing RTOS CPU Model PVT PV untimed scheduled processes RTOS PV untimed structural com. CDMA CP untimed P2P communication CC cycle accurate communication CAN COMMUNICATION REFINEMENT FLOW CPT timed P2P communication timing approx. communication CAN PVT PV untimed structural com. CDMA PV untimed structural com. CDMA untimed structural com. CDMA CDMA CP untimed P2P communication CP untimed P2P communication CC cycle accurate communication CAN CC cycle accurate communication CAN CAN COMMUNICATION REFINEMENT FLOW CPT timed P2P communication CPT timed P2P communication timing approx. communication CAN PVT timing approx. communication CAN timing approx. communication CAN CAN PVT CP

Timing modeling and analysis for AUTOSAR-based software development - a case study

“…We make use of these defined semantics as they are very suitable for specifying our various (end-to-end) constraints. A related approach to apply seamless timing annotation and evaluation within the design methodology of automotive systems can be found in [7]. Here, the authors present an AUTOSAR conform methodology, which applies formal transformation rules to map the AUTOSAR Software Component template to SystemC semantics in order to approximate communication and application timings based on SystemC runtimes.…”

Heterogeneous co-simulation platform for the efficient analysis of FlexRay-based automotive distributed embedded systems

“…A methodology for mapping the AUTOSAR design process with SystemC for efficient simulation of AUTOSAR com ponents is presented in [7]. It principally relies on the mapping of AUTOSAR software components to SystemC modules and AUTOSAR ports with SystemC ports.…”

Co-Simulation of Self-Adaptive Automotive Embedded Systems

“…An approach to integrate virtual prototyping in the development process of vehicles is presented in [16]. In this work, a mapping of the Automotive Open System Architecture (AUTOSAR) [17] components to an equivalent SystemC model at different levels of granularity is outlined.…”