Institut de Recherche sur les Composants logiciels et matériels pour l’Information et la Communication Avancée - USR 3380 du CNRS


Nos tutelles

Nos partenaires

Rechercher





Accueil

Thèse de Bertout Antoine

Soutenue le 25-11-2015 14:00 , Amphithéâtre IRCICA

Minimisation du nombre de tâches d’un système temps réel par regroupement

Les systèmes embarqués des domaines de l’aéronautique ou de l’automobile sont en interaction permanente avec leur environnement. Ils récupèrent de l’information depuis leurs capteurs, traitent les données et réagissent par le biais de leurs actionneurs. Ces systèmes critiques se doivent non seulement de produire des résultats corrects du point de vue logique mais aussi de les réaliser dans le temps imparti. Cette particularité les classe dans la famille des systèmes temps réel. Dans les domaines cités, les fonctionnalités sont à l’origine définies au regard de la dynamique du système et leur nombre peut atteindre plusieurs milliers. Les systèmes d’exploitation temps réel, logiciels responsables du traitement de ces fonctionnalités sur le matériel, limitent généralement le nombre de traitements implantables, en raison des surcoûts engendrés par leur gestion. Dans ce travail, nous nous intéressons donc à des techniques de réduction du nombre de ces traitements, de manière à passer outre les limitations des systèmes d’exploitation temps réel. Nous proposons des algorithmes de regroupement qui assurent que les contraintes de temps soient respectées. Ces méthodes visent des architectures monoprocesseurs et multiprocesseurs pour des traitements communicants.

Jury de these:

RapporteursChargée de recherche, Inria Paris Rocquencourt
RapporteurProfesseur des Universités, Université de Poitiers
ExaminateursProfesseur des Universités, Scuola Superiore Sant’Anna
Maître de Conférence, Université de Lille
Professeur des Universités, Université de Lille
Ingénieur de recherche, Laboratoire CRIStAL


Prochaines soutenances      Toutes les thèses...