DYANA: HLA-based distributed real-time embedded systems simulation tool
Vitaly Antonenko, E. Chemeritskiy, Alevtina B. Glonina, Igor Konnov, Vasily Pashkov, V. V. Podymov, Konstantin Savenkov, Ruslan L. Smeliansky, D. Yu. Volkanov, Vladimir Anatolyevich Zakharov, Зорин Даниил Александрович · Winter Simulation Conference · 2013
In this paper we present DYANA, an HLA-based hardware-in-the-loop simulation tool. This tool is used for distributed Real-Time Embedded Systems (RTES) simulation. RTES models are described by Unified Modeling Language (UML) statechart diagrams. The statechart diagram is transformed into HLA-based Simulation Model (HSM). After translation into HSM we use CERTI as the simulation runtime. The statechart diagram is also transformed into a Network of Timed Automata (NTA). After translation into NTA we use UPPAAL for RTES model verification.