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

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

4.11 - 1251 ratings - Source



Il est des systAumes qui exhibent une caractAcristique majeure constituAce par une interaction forte et soutenue avec leur environnement. Ils sont trAus diffus voire insoupAsonnAcs, dans des domaines d'application aussi divers que le transport et l'automobile (automotive), la communication (y compris le Web), le monitorage mAcdical, le contrAale/commande de procAcdAcs industriels, les systAumes mobiles (assistants et tAclAcphones portables), les interfaces homme-machine, les circuits VLSI ou encore l'Aclectronique de loisirs. De tels systAumes sont dits rAcactifs. Des outils et des formalismes basAcs sur des approches asynchrones et synchrones permettent de dAcvelopper et de vAcrifier de tels systAumes. L'approche synchrone, basAce sur une hypothAuse de temps de traitement nul, est plus rAccente et prAcsente divers avantages. MathAcmatiquement fondAce, elle est notamment utilisAce dans le dAcveloppement du logiciel des nouveaux avions Airbus. Le contenu de cet ouvrage est destinAc An des Actudiants avancAcs, il nAccessite la maArtrise prAcalable de la programmation. Il peut Aotre utilisAc comme support de cours de programmation de systAumes rAcactifs ou comme ouvrage de rAcfAcrence pour des professionnels souhaitant Aclargir leurs connaissances, qu'ils Acvoluent dans les domaines du logiciel ou des systAumes numAcriques.[Inm 88] InMos Ltd. Occam 2 Reference Manual. InMos Ltd ... Ada 95 Reference Manual, Language and Standard Libraries. Springer ... Commandes pour la#39; installation et le chargement da#39;une application Esterel Studio sur GameBoy Advance.


Title:Programmation synchrone de systèmes réactifs avec Esterel et les SyncCharts
Author: Luigi Zaffalon
Publisher:PPUR presses polytechniques - 2005
ISBN-13:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.


Click button below to register and download Ebook
Privacy Policy | Contact | DMCA