Rayon Développement d'applications, langages de programmation
Programmation synchrone de systèmes réactifs avec Esterel et les SyncCharts

Fiche technique

Format : Broché
Nb de pages : XIX-467 pages
Poids : 874 g
Dimensions : 16cm X 24cm
EAN : 9782880746223

Programmation synchrone de systèmes réactifs avec Esterel et les SyncCharts


Collection(s) | Informatique
Paru le
Broché XIX-467 pages

Quatrième de couverture

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.

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.

Biographie

Luigi Zaffalon est diplômé en électrotechnique de l'Ecole technique supérieure de Genève et en informatique de l'Université de Genève. Après avoir été assistant au Centre universitaire d'informatique de l'Université de Genève, il est, depuis 1982, professeur d'informatique et responsable du Laboratoire d'informatique industrielle de l'Ecole d'ingénieurs de Genève où il enseigne la programmation concurrente et temps réel ainsi que les systèmes réactifs.

Avis des lecteurs

Du même auteur : Luigi Zaffalon

Programmation concurrente et en temps réel avec Java

Programmer en Portal

Programmation concurrente et temps réel avec Ada 95

Programmation séquentielle avec Ada 95