AADL Design-Patterns and Tools for Modelling and Performance Analysis of Real-Time systems

Pierre Dissaux 1 Jérôme Legrand 1 Alain Plantec 2 Mickael Kerboeuf 3 Frank Singhoff 2
2 Lab-STICC_UBO_CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance, UBO - Université de Brest
3 EP-ATR - Environnement de programmation d'applications temps réel
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Abstract : This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models expressed with the AADL language and verified with the real-time scheduling theory. To perform verifications with the real-time scheduling theory, the architecture designers must check that their models are compliant with the assumptions of this theory. Unfortunately, this task is difficult since it requires that designers have a deep understanding of the real-time scheduling theory. In this article, we investigate how to automatically check that an AADL architecture is compliant to this theory. We show how to explicitly model the relationships between an AADL architectural model and the analytical methods proposed by the real-time scheduling theory. From these models, we apply a model-based engineering process to generate a decision tool which is able to decide from an AADL architecture model what are the feasibility tests that the designer can apply.
Document type :
Conference papers
Complete list of metadatas

Cited literature [27 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02264385
Contributor : Axelle Pagnier <>
Submitted on : Tuesday, August 6, 2019 - 8:29:12 PM
Last modification on : Saturday, August 10, 2019 - 1:13:31 AM

File

2C-1.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02264385, version 1

Citation

Pierre Dissaux, Jérôme Legrand, Alain Plantec, Mickael Kerboeuf, Frank Singhoff. AADL Design-Patterns and Tools for Modelling and Performance Analysis of Real-Time systems. ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France. ⟨hal-02264385⟩

Share

Metrics

Record views

6

Files downloads

4