OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Towards the qualification of an AADL model transformation tool with contracts.

Brau, Guillaume and Garion, Christophe and Hugues, Jérôme Towards the qualification of an AADL model transformation tool with contracts. (2019) In: Formalisation des Activités Concurrentes 2019 (FAC 2019), 27 March 2019 - 28 March 2019 (Toulouse, France). (Unpublished)

(Document in English)

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


Model-Based Engineering (MBE) can be used to build complex and critical systems. At the core of MBE, model transformation allows for the automatic processing of models to automatically generate code of the application or to perform analysis. In the context of safety-critical applications, qualification of MBE tools must provide evidence that the model transformation process is ``correct''. Its implementation must (i) document the transformation process itself, and support validation (ii) to infer properties on this process. We propose to use contracts to support qualification of the model transformation process. Contracts, by providing a formal specification of a model transformation, can be used in different ways, either to detect contract violations at run time or to demonstrate properties of the model transformation at the design time. This approach has been experimented in the context of Ocarina, an AADL toolset (Architecture Analysis and Design Language).

Item Type:Other Conference
Audience (conference):National conference without published proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Université de Toulouse > Institut National des Sciences Appliquées de Toulouse - INSA (FRANCE)
Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Laboratory name:
Deposited On:25 Jun 2019 12:17

Repository Staff Only: item control page