OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

The AADL Constraint Annex

Hugues, Jérôme and Gheoghe, Serban The AADL Constraint Annex. (2013) In: SAE 2013 AeroTech Congress & Exhibition, 24 September 2013 - 26 September 2013 (Montreal, Canada). (Unpublished)

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader


The SAE Architecture Analysis and Design Language -- AADL has been defined with a strong focus on the careful modeling of critical real-time embedded systems. Around this formalism, several analysis tools have been defined, e.g. scheduling, safety, security or performance. The SAE AS2-C wishes to complement the AADL with a versatile language to support project-specific analysis. The Model Constraints Sublanguage Annex (or in short the Constraints Annex) provides a standard AADL sublanguage extension with three major objectives: •to allow specification of project specific AADL language subsets and enforce consistent use of the language subset over all classifiers in a package and all packages in a project •to allow specification of project specific Structural Assertions on AADL instance models of component implementations and specification of Structural Assertions on classifier types (component types, feature group types and their extensions) •to allow the specification of Behavior Assertions for feature groups, component types and component implementations, grouped as Assumptions and Guarantees. Assumptions group together Behavior Assertions describing expected behavior of the environment in which a component will operate. Guarantees group together Behavior Assertions which must be honored by all instances of the component, assuming that it is deployed into an environment that honors the Assumptions Behavior Assertions. In this presentation, we will provide an overview of this language, and report on ongoing implementation efforts to date for this language.

Item Type:Conference or Workshop Item (Speech)
Additional Information:SAE 2013 AeroTech Congress & Exhibition, September 25, 2013. Programme : http://www.sae.org/servlets/techSession?EVT_NAME=ATC407&GROUP_CD=TSESS&SCHED_NUM=214786&tab=sessionDetails&REQUEST_TYPE=SESSION_DETAILS
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE)
Other partners > Edgewater Computer Systems (CANADA)
Laboratory name:
Deposited On:03 Oct 2013 08:40

Repository Staff Only: item control page