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

Name: Systèmes temps réel 1: Techniques de description et de vérification (Traité IC2, série Informatique et systèmes d'information)
Brand: Hermes Science
SKU: 9782746237445
Price: 119.0 EUR
Availability: InStock
ISBN: 978-2-746-23744-5

de Nicolas Navet (auteur)

Maison d'édition : Hermes Science

juin 2006

Parcourir en ligne

eBook [PDF]

Téléchargement après achat

119,00 €

Cette publication est disponible en version papier sur notre site libraire

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.