Lavoisier Lavoisier Lavoisier Lavoisier

Résumé

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.

Sommaire

Réseaux de petri temporels : méthodes d'analyse et vérifications avec TINA -B. Berthomieu, F. Vernadat. Combinaison entre vérification et test pour la validation de systèmes réactifs -C. Constant, Th. Jéron, H. Marchand, V. Rusu. Model checking : éléments de base -S. Merz. Vérification par automates temporisés -P. Bouyer, F. Laroussinie. Modélisation et analyse de systèmes asynchrones avec CADP -R. Mateescu. Vérification de programmes synchrones avec Lustre/Lesar -P. Raymond. Lucid Synchrone, un langage de programmation des systèmes réactifs -P. Caspi, G. Hamon, M. Pouzet. Vérification de systèmes probabilisés : méthodes et outils -S. Haddad, P. Moreaux. La boîte à outils IF pour la modélisation et la vérification de systèmes temps réels -M. Bozga, S. Graf, L. Mounier, I. Ober. Description d'architectures pour le temps réel : l'approche AADL -A.-M. Déplanche, S. Faucou. Index.

Caractéristiques

Editeur : Hermes Science

Auteur(s) : Nicolas Navet

Publication : 16 juin 2006

Edition : 1ère édition

Intérieur : Couleur, Noir & blanc

Support(s) : eBook [PDF], Contenu téléchargeable [PDF], Text (eye-readable) [PDF]

Contenu(s) : PDF

Protection(s) : Marquage social (PDF)

Taille(s) : 6,1 Mo (PDF)

Langue(s) : Français

Code(s) CLIL : 3193, 3290

EAN13 eBook [PDF] : 9782746237445

EAN13 (papier) : 9782746213036

Ouvrages du même auteur