ISBN-13: 9786131510229 / Francuski / Miękka / 2010 / 264 str.
Les systemes temps-reel sont utilises pour controler des appareils autonomes plus ou moins critiques. On les retrouve dans les hautes technologies (par exemple, l'aerospatiale, les centrales nucleaires), et aussi au quotidien (par exemple, la telephonie mobile, l'automobile). Les travaux presentes dans ce livre s'organisent autour de deux themes de recherche. Tout d'abord, le probleme de l'ordonnancement qui consiste a choisir l'ordre selon lequel sont realisees les differentes taches devolues au systeme. Les principaux resultats presentes concernent les systemes ordonnances en multiprocesseur. Ensuite, l'etude de la qualite de service qui permet d'evaluer des proprietes secondaires pour le systeme (non vitales). A l'aide d'un modele base sur les chaines de Markov, on obtient des informations sur le comportement d'un systeme en fonction du support materiel choisi et independamment de l'ordonnancement choisi. On peut ainsi mettre en evidence ses specificites propres et par suite en tenir compte lors son ordonnancement. Les travaux presentes dans ce live ont ete menes au LISI, Universite de Poitiers & ENSMA, et finances par la region Poitou-Charentes."
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, laérospatiale, les centrales nucléaires), et aussi au quotidien (par exemple, la téléphonie mobile, lautomobile). Les travaux présentés dans ce livre sorganisent autour de deux thèmes de recherche. Tout dabord, le problème de lordonnancement qui consiste à choisir lordre 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 laide dun modèle basé sur les chaînes de Markov, on obtient des informations sur le comportement dun système en fonction du support matériel choisi et indépendamment de lordonnancement 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.