AADS+: AADL Simulation Including the Behavioral Annex

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 execution platform are developed. In this way, AADS+ enables the verification of the initial timing constraints during the complete design process.