AADL Real-Tme Design-Pattern Automatic Recognition
AADL Real-Tme Design-Pattern Automatic Recognition
- Neue Suche nach: Plantec, Alain
- Neue Suche nach: Legrand, Jerome
- Neue Suche nach: Dissaux, Pierre
- Neue Suche nach: Rubini, Stephane
- Neue Suche nach: Gaudel, Vincent
- Neue Suche nach: Plantec, Alain
- Neue Suche nach: Legrand, Jerome
- Neue Suche nach: Dissaux, Pierre
- Neue Suche nach: Rubini, Stephane
- Neue Suche nach: Gaudel, Vincent
This article deals with performance verifications applied to architecture models of real-time embedded systems. We focus on models that can be 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 help designers to check that their architecture models are compliant with this theory. We show how to explicitly model the relationships between an architectural model and real-time scheduling analysis methods. From these models, we apply a model-based engineering process to generate a recognition tool that is able to detect from an architecture model which are the analysis methods that can be applied.
Dokumentinformationen
AADL Real-Tme Design-Pattern Automatic Recognition
Sae Technical Papers
Aerospace Technology Conference and Exposition ; 2011
2011-10-18
Aufsatz (Konferenz)
Englisch
Ähnliche Titel
Architecture Analysis & Design Language (AADL)
SAE Technical Papers | 2022
Architecture Analysis & Design Language (AADL)
SAE Technical Papers | 2012
Architecture Analysis & Design Language (AADL)
SAE Technical Papers | 2017
| NTIS | 2021
Architecture Analysis & Design Language (AADL)
SAE Technical Papers | 2009