Programmation synchrone de systèmes réactifs avec Esterel et les SyncCharts
Medias
Présentation
Il est des systèmes qui exhibent une caractéristique majeure constituée par une interaction forte et soutenue avec leur environnement. Ils sont très diffus voire insoupçonnés, dans des domaines d'application aussi divers que le transport et l'automobile (automotive), la communication (y compris le Web), le monitorage médical, le contrôle/commande de procédés industriels, les systèmes mobiles (assistants et téléphones portables), les interfaces homme-machine, les circuits VLSI ou encore l'électronique de loisirs. De tels systèmes sont dits réactifs. Des outils et des formalismes basés sur des approches asynchrones et synchrones permettent de développer et de vérifier de tels systèmes. L'approche synchrone, basée sur une hypothèse de temps de traitement nul, est plus récente et présente divers avantages. Mathématiquement fondée, elle est notamment utilisée dans le développement du logiciel des nouveaux avions Airbus.
Sommaire
- Préface
- Avant-propos
- Introduction à la programmation réactive synchrone
- Exemples introductifs
- Premier approfondissement
- Outils d'abstraction
- Tâches externes
- Causalité constructive
- Implémentation logicielle
- Implémentation matérielle
- Vérification formelle
- Esterel version 7
- Bibliographie
- Index.
Informations
Éditeur : EPFL Press
Collection : Informatique
Publication : 18 mars 2005
Édition : 1re édition
Support(s) : Livre papier, eBook [PDF]
Nombre de pages eBook [PDF] : 487
Taille(s) : 9,29 Mo (PDF)
Langue(s) : Français
EAN13 eBook [PDF] : 9782889144396
Du même auteur
Dans la même collection
Jean-Cédric Chappelier, Florian Seydoux
45,00 €
42,00 €
Jean-Yves Le Boudec, Patrick Thiran, Rüdiger Urbanke
À partir de 9,90 €
Philippe Collard, Sébastien Verel, Manuel Clergue
À partir de 33,50 €
Sur des thèmes similaires
Marylène Micheloud, Medard Rieder
À partir de 36,30 €
