OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Towards the systematic analysis of non-functional properties in Model-Based Engineering for real-time embedded systems

Brau, Guillaume and Hugues, Jérôme and Navet, Nicolas Towards the systematic analysis of non-functional properties in Model-Based Engineering for real-time embedded systems. (2018) Science of Computer Programming, 156. 1-20. ISSN 01676423

[img]
Preview
(Document in English)

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

Official URL: http://doi.org/10.1016/j.scico.2017.12.007

Abstract

The real-time scheduling theory provides analytical methods to assess the temporal predictability of embedded systems. Nevertheless, their use is limited in a Model-Based Systems Engineering approach. In fact, the large number of applicability conditions makes the use of real-time scheduling analysis tedious and error-prone. Key issues are left to the engineers: when to apply a real-time scheduling analysis? What to do with the analysis results? This article presents an approach to systematize and then automate the analysis of non-functional properties in Model-Based Systems Engineering. First, preconditions and postconditions define the applicability of an analysis. In addition, contracts specify the analysis interfaces, thereby enabling to reason about the analysis process. We present a proof-of-concept implementation of our approach using a combination of constraint languages (REAL for run-time analysis) and specification languages (Alloy for describing interfaces and reasoning about them). This approach is experimented on architectural models written with the Architecture Analysis and Design Language (AADL).

Item Type:Article
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE)
Other partners > University of Luxembourg (LUXEMBOURG)
Laboratory name:
Statistics:download
Deposited By: Jerome Hugues
Deposited On:31 Jul 2018 11:32

Repository Staff Only: item control page