Programing adaptive real-time systems - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Thèse Année : 2022

Programing adaptive real-time systems

Programmation de systèmes temps réels adaptatifs

Résumé

A real-time system is a system whose correctness depends not only on the correctness of the values it produces, but also on the time when it produces those values. The rate at which it must produce values is defined by the environment it operates in. A typical example is an aircraft controller which must be able to react to external perturbations such as a gust of wind in a timely manner to guarantee the aircraft's safety.When programming such a system, it is important that the programming language allows to reason about the constraints introduced by this context. Synchronous languages are well-adapted to the programming of critical real-time systems thanks to their clean formal semantics and to their formally defined compilation process.However, real-time systems and their requirements have considerably evolved since the inception of these languages. In this work, we will present extensions to the synchronous language Prelude to tackle two issues: Programming multicore systems predictably and handling system reconfiguration during execution.
Un système temps réel est un système dont la correction dépend non seulement des valeurs qu'il produit, mais aussi du temps quand il produit ces valeurs. La fréquence à laquelle il doit produire ces valeurs est définie par l'environnement dans lequel il opère. Un exemple typique est le système de contrôle d'un avion. Afin de garantir la sécurité de l'avion, celui-ci doit être capable de réagir dans un temps approprié à des perturbations externes tel que des rafales de vent.Quand on programme un tel système, il est important que le langage de programmation permette de raisonner sur les contraintes introduites par ce contexte. Les langages synchrones sont bien adaptés pour la programmation de systèmes temps réels critiques grâce à leur sémantique formelle et leur processus de compilation bien défini.Cependant, les systèmes temps réels et les attentes y associées ont considérablement évolués depuis la conceptions de ces langages. Dans ce travail, nous allons présenter des extensions au langage Prelude pour aborder deux limitations: La programmation de systèmes multicœur prédictible et la reconfiguration du système pendant l'exécution.
Fichier principal
Vignette du fichier
These_FORT_Frederic.pdf (1.01 Mo) Télécharger le fichier
Origine : Version validée par le jury (STAR)

Dates et versions

tel-03948472 , version 1 (20-01-2023)
tel-03948472 , version 2 (31-01-2023)

Identifiants

  • HAL Id : tel-03948472 , version 2

Citer

Frédéric Fort. Programing adaptive real-time systems. Programming Languages [cs.PL]. Université de Lille, 2022. English. ⟨NNT : 2022ULILB024⟩. ⟨tel-03948472v2⟩
108 Consultations
65 Téléchargements

Partager

Gmail Facebook X LinkedIn More