Systemes Temps-Reel Embarques

Les systmes temps-rel sont utiliss pour contrler des appareils autonomes plus ou moins critiques. On les retrouve dans les hautes technologies (par exemple, l'arospatiale, les centrales nuclaires), et aussi au quotidien (par exemple, la tlphonie mobile, l'automobile). Les travaux prsents dans ce livre s'organisent autour de deux thmes de recherche. Tout d'abord, le problme de l'ordonnancement qui consiste choisir l'ordre selon lequel sont ralises les diffrentes tches dvolues au systme. Les principaux rsultats prsents concernent les systmes ordonnancs en multiprocesseur. Ensuite, l'tude de la qualit de service qui permet d'valuer des proprits secondaires pour le systme (non vitales). A l'aide d'un modle bas sur les chanes de Markov, on obtient des informations sur le comportement d'un systme en fonction du support matriel choisi et indpendamment de l'ordonnancement choisi. On peut ainsi mettre en vidence ses spcificits propres et par suite en tenir compte lors son ordonnancement. Les travaux prsents dans ce live ont t mens au LISI, Universit de Poitiers & ENSMA, et financs par la rgion Poitou-Charentes.