Real-time simulation of automotive systems based on UPPAAL

Abstract

Modeling and simulation is becoming one of the most powerful techniques in the development of modern automotive systems. UPPAAL, as a toolbox for modeling, simulation and verification of real-time systems, has by now reached a state, where they are mature enough for application on a number of case-studies in real-time controllers and real-time communication protocols. However the simulation of UPPAAL is not really real-time. In this paper we explore an approach for real-time simulation of the UPPAAL model. We represent an UPPAAL model to C++ code. Based on a transformed UPPAAL model, real-time simulation can be taken. The approach can be used to real-time simulating an UPPAAL model, and many works can be done based on the transformed UPPAAL model.