AIRES
Document Actions
The AIRES (Automatic Integration of Real-time Embedded Software) tool has been developed at The University of Michigan to support the analysis of the non-functional properties, in particular timing and schedulability, of embedded software (ESW) at various stages of the design process. This is achieved by using a meta-model consisting of a functional model (component, software architecture, and runtime model) annotated with performance information. In the AIRES tool, the ESW is represented with different models during the various stages of development. At each stage, analysis algorithms are applied, providing performance evaluation data and design recommendations. The AIRES tool can be used either as a stand-alone analysis and design assistance tool or along with other design tools to form an integrated design tool chain. when deployed as part of an integrated design tool chain, AIRES interfaces with other tools through translators, which translate the models used by other tools to the models required by AIRES and vice versa. The following figure shows the basic function and design flow of AIRES tool.
The implementation of AIRES includes a graphical modeling environment, a metamodel, and analysis packages. The Generic Modeling Environment (GME) was chosen as the graphic modeling environment for AIRES. The meta-model is implemented as a modeling paradigm in GME and exported as an XML file for sharing among different tools. The analysis algorithms perform component allocation, timing assignment, priority assignment, schedulability, and end-to-end response time analysis. The AIRES tool can interface with design models in Rational Rose through the Embedded System Modeling Language (ESML) Analyis Interchange Format (AIF) and Matlab Smulink/Stateflow. Two flavors of the ARIES tool have been implemented: one for avionics applications and one for automotive applications.
GReAT 1.6.2 Released
