OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Enforcing Software Engineering Tools Interoperability: An Example with AADL Subsets

Gaudel, Vincent and Plantec, Alain and Singhoff, Frank and Hugues, Jérôme and Dissaux, Pierre and Legrand, Jérôme Enforcing Software Engineering Tools Interoperability: An Example with AADL Subsets. (2013) In: IEEE International Symposium on Rapid System Prototyping, 3 October 2013 - 4 October 2013 (Montreal, Canada).

(Document in English)

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


Model-Based Engineering is now a valuable asset to design complex real-time systems. Toolchains are assembled to cover the various stages of the process: high-level model- ing, analysis and code generation. Yet tools put heterogeneous requirements on models: specific modeling patterns must be respected so that a given analysis is performed. This creates an interoperability paradox: models must be tuned not given system requirements, but to abide to tools capabilities. In this paper, we propose a systematic process to define the definition, comparison and enforcement of tools-specific subsets. Thus, we guide the user in selecting the tools that could support its engineering process. Our contribution is illustrated in the context of the AADL Architecture Design Language.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to IEEE editor. (c) 2011 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new collective works for resale or redistribution to servers or lists, or reuse of any copyrighted components of this work in other works. The definitive version will be available at http://ieeexplore.ieee.org
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Other partners > Ecole Nationale Supérieure de Techniques Avancées - ENSTA (FRANCE)
Other partners > Ellidiss Technologies (FRANCE)
Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE)
Other partners > Université de Bretagne Occidentale - UBO (FRANCE)
Other partners > Ecole Nationale d'Ingénieurs de Brest - ENIB (FRANCE)
Other partners > Telecom Bretagne (FRANCE)
Other partners > Université de Bretagne Sud - UBS (FRANCE)
Laboratory name:
Deposited On:08 Oct 2013 14:57

Repository Staff Only: item control page