Skip to Main content Skip to Navigation

Intégration d'Éléments Sémantiques dans l'Analyse d'Ordonnançabilité des Applications Temps-Réel

Abstract : We study the modeling and the o -line validation of real-time applications in uniprocessor environment, wich take explicitly the exchange of messages, resource sharing and conditional statements into account. Our goal is to highlight the impact of these parameters on the analysis of applications. Classically, these applications are modeled linearly, encapsulating the conditional blocks, and the scheduling sequences are used for validation. We propose an arborescent approach for modeling and validation, which allow us to consider explicitly the conditional blocks, and use the scheduling trees for validation. We then compare these two approaches of validation, and we prove that the linear validations approaches may be too pessimistic, meaning they can lead to declare certain applications such as non schedulable, when in fact they are schedulable. We beging by building a generator of valid valid scheduling trees. The complexity of the generator being exponential in the number of application tasks, this approach is di cult to implement in practice. So, we propose an approach for modeling, based on Petri nets. This Petri net will be used to generate the valid scheduling trees, by construction of the markings graph, and the complexity can be reduced by heuristics.
Document type :
Complete list of metadata

Cited literature [39 references]  Display  Hide  Download
Contributor : Bénédicte Carouge Connect in order to contact the contributor
Submitted on : Tuesday, April 3, 2012 - 10:49:07 AM
Last modification on : Wednesday, October 20, 2021 - 3:22:09 AM
Long-term archiving on: : Monday, November 26, 2012 - 12:40:22 PM


  • HAL Id : tel-00684788, version 1



Christian Fotsing Takoutsi. Intégration d'Éléments Sémantiques dans l'Analyse d'Ordonnançabilité des Applications Temps-Réel. Autre. ISAE-ENSMA Ecole Nationale Supérieure de Mécanique et d'Aérotechique - Poitiers, 2012. Français. ⟨NNT : 2012ESMA0003⟩. ⟨tel-00684788⟩



Record views


Files downloads