AADL has been proposed for designing and analyzing SW and HW architectures for real-
time mission-critical embedded systems. However, it does not support the expression of the
behavior of a system in detail, so a behavioral annex has been defined. In this paper we
propose AADS+, an AADL simulation tool that supports the performance analysis of the
AADL specification, enriched with behavior specifications, throughout the refinement
process from the initial system architecture until the complete, detailed application and …