Executable AADL: Real-Time Simulation of AADL Models.
Pierre Dissaux, Olivier Marc · 2014
Abstract. The Architecture Analysis and Design Language (AADL) standard [2] defines a default runtime semantic for software intensive Real Time sys-tems. This includes support for multi tasking, network distributed architectures and Time and Space Partitionning systems. A proper implementation of the AADL runtime thus allows for the virtual execution of a system at a model le-vel and contributes to the early verification of critical software applications. This paper describes an implementation of the AADL runtime by the Marzhin Multi Agent simulator that is embedded in the AADL Inspector tool [5].