OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Mapping AADL models to a repository of multiple schedulability analysis techniques

Ouhamou, Yassine and Grolleau, Emmanuel and Hugues, Jérôme Mapping AADL models to a repository of multiple schedulability analysis techniques. (2013) In: 16th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing (ISORC 2013), 13-21 Jun 2013, Paderborn, Germany .

[img]
Preview
(Document in English)

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

Abstract

To fill the gap between the modeling of real-time systems and the scheduling analysis, we propose a framework that supports seamlessly the two aspects: 1) modeling a system using a methodology, in our case study, the Architecture Analysis and Design Language (AADL), and 2) helping to easily check temporal requirements (schedulability analysis, worst-case response time, sensitivity analysis, etc.). We introduce an intermediate framework called MoSaRT, which supports a rich semantic concerning temporal analysis. We show with a case study how the input model is transformed into a MoSaRT model, and how our framework is able to generate the proper models as inputs to several classic temporal analysis tools.

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:Other partners > Ecole Nationale Supérieure de Mécanique et d'Aérotechnique - ENSMA (FRANCE)
Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE)
Laboratory name:
Statistics:download
Deposited By: Jerome Hugues
Deposited On:03 Sep 2013 08:26

Repository Staff Only: item control page