Programmation synchrone de systèmes réactifs avec Esterel et les... - Librairie Eyrolles
Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Programmation synchrone de systèmes réactifs avec Esterel et les SyncCharts
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

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

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

Luigi Zaffalon - Collection Collection informatique

468 pages, parution le 07/04/2005

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 (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.

L'auteur - 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.

Autres livres de Luigi Zaffalon

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
Voir tout
Replier

Caractéristiques techniques

  PAPIER
Éditeur(s) Presses Polytechniques et Universitaires Romandes (PPUR)
Auteur(s) Luigi Zaffalon
Collection Collection informatique
Parution 07/04/2005
Nb. de pages 468
Format 16 x 24
Couverture Broché
Poids 870g
Intérieur Noir et Blanc
EAN13 9782880746223
ISBN13 978-2-88074-622-3

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription