Peer Reviewed Journal via three different mandatory reviewing processes, since 2006, and, from September 2020, a fourth mandatory peer-editing has been added.
AADL has been proposed for designing and analyzing
SW and HW architectures for real-time mission-critical
embedded systems. Although the Behavioral Annex
improves its simulation semantics, AADL is a language
for analyzing architectures and not for simulating them.
AADS-T is an AADL simulation tool that supports the
performance analysis of the AADL specification
throughout the refinement process from the initial system
architecture until the complete, detailed application and
execution platform are developed. In this way, AADS-T
enables the verification of the initial timing constraints
during the complete design process. In this paper we
focus on the compatibility of AADS-T with the
Ravenscar Computational Model (RCM) as part of the
TASTE toolset. Its flexibility enables AADS-T to support
different processors. In this work we have focused on
performing the simulation on a LEON2 processor.