Timing Analysis of Car-to-Car Communication Systems Using Real-Time Calculus: A Case Study

The advent of autonomous driving has brought many technologies to attention such as car-tocar communication systems. Timing analysis of autonomous driving applications that perform car-to-car communication is necessary due to their safety-critical nature. The analysis of such applications is usually conducted using relatively complicated and non-modular traditional approaches such as CPA. In this paper, the applicability of Real-Time Calculus (RTC) for conducting timing analysis of these applications is investigated. We address the mapping of AMALTHEA models of automotive applications to RTC semantics, and use these semantics to conduct a case study where a safe upper bound on the end-to-end latency of a car-to-car communication based automotive subsystem is derived.