Titre de série :	Collection Informatique
Titre :	Programmation synchrone de systèmes réactifs avec Esterel et les SyncCharts
Type de document :	texte imprimé
Auteurs :	Luigi Zaffalon, Auteur
Editeur :	Lausanne [SUISSE] : Presses polytechniques et universitaires Romandes
Année de publication :	2005
Importance :	467p
Présentation :	ill
Format :	24cmx16cm
ISBN/ISSN/EAN :	978-2-88074-622-3
Langues :	Français (fre) Langues originales : Français (fre)
Catégories :	Informatique:02 Logiciels et Programmation
Mots-clés :	introduction à la programmation réactive  exemples introductifs  premier approfondissement  outils d'abstraction  taches externes  causalité constructive  implémentation logicielle  implémentation matérielle  vérification formelle  estrel version 7 .
Résumé :	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 (automobile), 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. Le contenu de cet ouvrage est destiné à des étudiants avancés, il nécessite la maîtrise préalable de la programmation. Il peut être utilisé comme support de cours de programmation de systèmes réactifs ou comme ouvrage de référence pour des professionnels souhaitant élargir leurs connaissances, qu'ils évoluent dans les domaines du logiciel ou des systèmes numériques

Collection Informatique. Programmation synchrone de systèmes réactifs avec Esterel et les SyncCharts [texte imprimé] / Luigi Zaffalon, Auteur . - Lausanne [SUISSE] : Presses polytechniques et universitaires Romandes, 2005 . - 467p : ill ; 24cmx16cm.
ISBN : 978-2-88074-622-3
Langues : Français (fre) Langues originales : Français (fre)

Catégories :	Informatique:02 Logiciels et Programmation
Mots-clés :	introduction à la programmation réactive  exemples introductifs  premier approfondissement  outils d'abstraction  taches externes  causalité constructive  implémentation logicielle  implémentation matérielle  vérification formelle  estrel version 7 .
Résumé :	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 (automobile), 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. Le contenu de cet ouvrage est destiné à des étudiants avancés, il nécessite la maîtrise préalable de la programmation. Il peut être utilisé comme support de cours de programmation de systèmes réactifs ou comme ouvrage de référence pour des professionnels souhaitant élargir leurs connaissances, qu'ils évoluent dans les domaines du logiciel ou des systèmes numériques