Help With Temporal Validation and Sizing of Real-Time Systems in a Model Driven Engineering Approach. - Archive ouverte HAL Access content directly
Theses Year : 2020

Help With Temporal Validation and Sizing of Real-Time Systems in a Model Driven Engineering Approach.

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

(1)
1

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.
Les systèmes embarqués temps réel sont de plus en plus omniprésents dans la vie quotidienne. Le cycle de développement des systèmes embarqués temps réel critiques peut prendre des mois voire des années. Par conséquent, la modélisation de ces systèmes doit être analysée à un stade précoce du cycle de développement afin de vérifier si toutes les exigences sont satisfaites, y compris les exigences relatives à la performance temporelle (par exemple, les latences, les délais de bout en bout, etc.). Cette thèse, qui a été financée dans le cadre d’un projet FUI, propose trois contributions majeures. La première contribution porte sur le système de tâches monoprocesseur avec des relations de communication multi-périodique déterministe. Un pattern basé sur les relations de précédence avec sémaphore (SPC) a été étendu afin de supporter les cycles dans le cas d’ordonnancement à priorités dynamiques. Un graphe de dépliage a été également proposé afin de présenter la cyclicité des systèmes à base de SPC et garantir le non- blocage. Le pattern SPC étendu ainsi que le test d’ordonnançabilité correspondant ont été implémentés pour le langage standard AADL.La deuxième contribution de cette thèse consiste en la proposition d’un calcul exact de temps de réponse de bout en bout, en utilisant le formalisme de réseau de Petri temporel, pour les systèmes multiprocesseurs identiques. Il prend en compte la dépendance entre les tâches : la précédence et l’exclusion mutuelle sans protocole de gestion. La troisième contribution porte sur la capitalisation des efforts du processus d’analyse. En effet, de nombreux tests d’analyse ont été proposés, notamment par des chercheurs académiques, basés sur la théorie d’ordonnancement et dédiés aux différentes architectures logicielles et matérielles. Cependant, l’une des principales difficultés rencontrées par les concepteurs est de choisir le test d’analyse le plus approprié permettant de valider et/ou de dimensionner correctement leurs conceptions. Cette difficulté se concrétise, dans le milieu industriel, par le peu de tests d’analyse utilisés malgré la multitude de tests proposés. Cette thèse vise donc à faciliter le processus d’analyse, réduire le fossé sémantique entre le modèle métier et les entrées des tests d’analyse ainsi qu’accélérer le transfert technologique et l’adoption des tests académiques. La thèse propose un référentiel d’analyse jouant le rôle d’un dictionnaire de tests, leurs contextes pour une utilisation correcte, les outils les implémentant, ainsi qu’un mécanisme pour le choix des tests selon le modèle métier d’entrée.
Fichier principal
Vignette du fichier
2020ESMA0007_nguyen.pdf (12.23 Mo) Télécharger le fichier
Origin : Version validated by the jury (STAR)

Dates and versions

tel-03079085 , version 1 (17-12-2020)

Identifiers

  • HAL Id : tel-03079085 , version 1

Cite

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⟩
106 View
28 Download

Share

Gmail Facebook Twitter LinkedIn More