Nous utilisons des cookies pour vous proposer des contenus et services adaptés. En poursuivant votre navigation sur ce site, vous acceptez l'utilisation de cookies.
Ce site respecte la loi RGPD du 25 mai 2018. Pour en savoir plus, cliquez ici
(+33) 02 47 61 20 22 Du lundi au vendredi de 10H à 16H30

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

Programmation synchrone de systèmes réactifs avec Esterel et les SyncCharts - presses polytechniques et universitaires romandes - 9782880746223 -
Programmation synchrone de systèmes réactifs avec Esterel et les SyncCharts 

Auteur : 

Editeur : PRESSES POLYTECHNIQUES ET UNIVERSITAIRES ROMANDES

Collection : Informatique

Date parution :


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.


Auteurs :


Luigi ZAFFALON :

Luigi Zaffalon est diplômé en électrotechnique de l'Ecole 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 concurente et temps réel, la programmation parallèle et les systèmes réactifs.




En suivant ce lien, retrouvez tous les livres dans la spécialité Automatique - Robotique.
Reliure : Relié
Nbr de pages : 487
Dimension : 24 cm x 16 cm
ISBN 10 : 2880746221
ISBN 13 : 9782880746223
59,00 €
Sur commande , expédition à 0.01€ sous 4 à 8 jours (en savoir plus)

Avis clients sur Programmation synchrone de systèmes réactifs avec Esterel et les SyncCharts - presses polytechniques et universitaires romandes - Informatique

(Ils sont modérés par nos soins et rédigés par des clients ayant acheté l'ouvrage)
Donnez votre avis

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.
Dernières parutions dans Informatique, L'intelligence artificielle par la pratique
49,50 €
Dernières parutions dans Informatique, Découvrir le numérique
43,90 €
Dernières parutions dans Informatique, WebGL par la pratique
49,00 €
Dernières parutions dans Informatique, Paiements électroniques sécurisés
69,00 €
Dernières parutions dans Informatique, Programmation concurrente et temps réel avec Java
49,00 €
Dernières parutions dans Informatique, Algorithmes et structures de données avec ADA, C+  et Java
53,50 €
Dernières parutions dans Informatique, Programmation concurrente et temps réel en ADA 95
69,50 €
Dernières parutions dans Informatique, Idées nettes sur la logique floue
42,50 €
Dernières parutions dans Informatique, Mathématiques discrètes 1
49,90 €
Dernières parutions dans Informatique, Simulation par événements discrets
45,00 €
Dernières parutions sur Automatique - Robotique, Métaheuristiques pour la robotique, volume 4
64,80 €
Dernières parutions sur Automatique - Robotique, Automates programmables industriels
69,00 €
Dernières parutions sur Automatique - Robotique, Régulation industrielle
85,00 €
Dernières parutions sur Automatique - Robotique, Machine Learning avec Scikit-Learn
34,00 €
Dernières parutions sur Automatique - Robotique, 36 activités avec le robot mBot
15,00 €
Dernières parutions sur Automatique - Robotique, 24 heures d'innovations
24,00 €
Dernières parutions sur Automatique - Robotique, LabVIEW  Programmation et applications
79,00 €
Dernières parutions sur Automatique - Robotique, Introduction aux systèmes embarqués temps réel
29,90 €
Dernières parutions sur Automatique - Robotique, Intralog : la logistique à l'heure de l'automatisme et des robots
34,00 €
Dernières parutions sur Automatique - Robotique, Poincaré
10,00 €
Dernières parutions sur Automatique - Robotique, Qualification de mode opératoire de soudage robotisé (Réf : 9Q310)
60,00 €
Dernières parutions sur Automatique - Robotique, Synthèse de SER pour la technologie RFID sans puce à forte capacité de codage
69,60 €
Dernières parutions sur Automatique - Robotique, Automatique analogique et techniques de commande et régulation numérique
84,00 €
Dernières parutions sur Automatique - Robotique, Les machines à commande numérique
25,00 €
Dernières parutions sur Automatique - Robotique, Robots tueurs
13,50 €
Dernières parutions sur Automatique - Robotique, Une introduction aux lasers organiques
68,40 €
Dernières parutions sur Automatique - Robotique, Industrie x.0
40,00 €
Dernières parutions sur Automatique - Robotique, LFA 2017 - Rencontres francophones sur la Logique Floue et ses Applications
30,00 €

Rubriques associées pour Programmation synchrone de systèmes réactifs avec Esterel et les SyncCharts :