Architectural Optimization & Design of Embedded Systems based on AADL Performance Analysis

Due to the increasing co mplexity o f embedded systems, new design methodologies have to be adopted, since traditional techniques are no longer efficient. Model-based engineering enables the designer to confront these concerns using the architecture description of the system as the main axis during the design cycle. Defining the architecture of the system before its implementation enables the analysis of constraints imposed on the system fro m the beginning of the design cycle until the final implementation. AADL has been proposed for designing and analyzing SW and HW architectures for real-t ime mission-critical embedded systems. Although the Behavioural Annex improves its simulation semantics, AADL is a language for analyzing architectures and not for simu lating them. AADS is an AADL simu lation tool that supports the performance analysis of the AADL specification throughout the refinement process from the init ial system architecture until the complete, detailed application and execution platform are developed. In this way, AADS enables the verification of the in itial timing constraints during the complete design process. AADS supports the performance analysis of the AADL specification, enriched with behaviour specifications. AADS-T is Ravenscar Co mputational Model (RCM ) compliant as part of the TASTE toolset and has been used to assist in co-design.