A Discrete-Event Simulator for Early Validation of Avionics Systems.
Denis Buzdalov, Alexey Vladimirovich Khoroshilov · 2014
The paper discusses problems arising in development of avionics systems and considers how discrete-event simulation on the base of architecture models at the early stages of avionics design can help to mitigate some of them. A tool for simulation of AADL architecture models augmented by behavioural specifications is presented and its main design decisions are discussed.