Systemes Temps-Reel Embarques

Les systèmes temps-réel sont utilisés pour contrôler des appareils autonomes plus ou moins critiques. On les retrouve dans les hautes technologies (par exemple, l'aérospatiale, les centrales nucléaires), et aussi au quotidien (par exemple, la téléphonie mobile, l'automobile). Les travaux présentés dans ce livre s'organisent autour de deux thèmes de recherche. Tout d'abord, le problème de l'ordonnancement qui consiste à choisir l'ordre selon lequel sont réalisées les différentes tâches dévolues au système. Les principaux résultats présentés concernent les systèmes ordonnancés en multiprocesseur. Ensuite, l'étude de la qualité de service qui permet d'évaluer des propriétés secondaires pour le système (non vitales). A l'aide d'un modèle basé sur les chaînes de Markov, on obtient des informations sur le comportement d'un système en fonction du support matériel choisi et indépendamment de l'ordonnancement choisi. On peut ainsi mettre en évidence ses spécificités propres et par suite en tenir compte lors son ordonnancement. Les travaux présentés dans ce live ont été menés au LISI, Université de Poitiers & ENSMA, et financés par la région Poitou-Charentes.