Skip to Main content Skip to Navigation

Aide à la validation temporelle et au dimensionnement de systèmes temps réels dans une démarche dirigée par modèles

Abstract : Real-time embedded systems are increasingly omnipresent in everyday life. The development cycle of critical systems can take months or even years. Therefore, modeling of these systems should be analyzed at an early stage in the development cycle to verify that all requirements are met, including temporal requirements (e.g., latencies, end-to-end delays). This thesis, which was funded as part of FUI project, offers three major contributions. The first contribution relates to mono-processor task system with deterministic multi-periodic communication relationships. A pattern based on Semaphore Precedence Constraint (SPC) has been extended to support cycles in the case of dynamic priority scheduling. An unfolding graph has also been proposed in order to present the cyclicity of SPC-based systems and guarantee deadlock free. The extended SPC pattern and the corresponding scheduling analysis tests have been implemented for the standard AADL language. The second contribution of this thesis consists in proposing an exact calculation of end-to-end response time using the time Petri net formalism for identical multiprocessor systems. It takes into account the dependence between the tasks : precedence and mutual exclusion. The third contribution concerns the capitalization of the efforts of the analysis process. Indeed, many analytical tests have been proposed, notably by academic researchers, based on scheduling theory and dedicated to the different software and hardware architectures. However, one of the main difficulties encountered by designers is to choose the most appropriate analysis test to validate and/or correctly dimension their designs. In industrial environment, there are few analytical tests used despite the multitude of the tests offered. This thesis therefore aims to facilitate the analysis process, reduce the semantic gap between the business model and the entries in the analysis tests as well as accelerate technology transfer and the adoption of academic tests. The thesis proposes an analysis repository playing the role of a dictionary of tests, their contexts for correct use, the tools implementing them, as well as a mechanism for choosing tests according to the input business model.
Document type :
Complete list of metadata
Contributor : ABES STAR :  Contact
Submitted on : Thursday, December 17, 2020 - 9:40:58 AM
Last modification on : Wednesday, November 3, 2021 - 5:58:57 AM
Long-term archiving on: : Thursday, March 18, 2021 - 6:31:55 PM


Version validated by the jury (STAR)


  • HAL Id : tel-03079085, version 1



Thanh Dat Nguyen. Aide à la validation temporelle et au dimensionnement de systèmes temps réels dans une démarche dirigée par modèles. Autre [cs.OH]. ISAE-ENSMA Ecole Nationale Supérieure de Mécanique et d'Aérotechique - Poitiers, 2020. Français. ⟨NNT : 2020ESMA0007⟩. ⟨tel-03079085⟩



Record views


Files downloads