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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.