Systèmes temps réel 1: Techniques de description et de vérification (Traité IC2, série Informatique et systèmes d'information)

Aujourd'hui, les systèmes informatiques temps réel sont présents dans de multiples secteurs d'activités : contrôle des systèmes automatisés de production, aide à la conduite des véhicules ou gestion des flux d'information sur des réseaux locaux et sur l'Internet. Au cours des 30 dernières années, le temps réel s'est progressivement établi comme une discipline à part entière qui rassemble une forte communauté issue à la fois du monde académique et de l'industrie. Ce traité en deux volumes a pour objectif de mieux faire connaître cette discipline : ses enjeux, les méthodes et formalismes qui lui sont spécifiques, les outils existants, les résultats connus et, naturellement, les recherches encore à mener. Ce second tome est consacré aux mécanismes exécutifs permettant l'obtention d'une ""qualité de service"" temps réel. En particulier, seront largement étudiés les stratégies d'ordonnancement de tâches ainsi que les réseaux et protocoles de communication temps réel.