Programmation synchrone de systèmes réactifs avec Esterel et les SyncCharts
- French
- PDF
- Disponible sur iOS et Android
Programmation synchrone de systèmes réactifs avec Esterel et les SyncCharts
À propos de ce livre
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.
Foire aux questions
- Essentiel est idéal pour les étudiants et les professionnels qui aiment explorer un large éventail de sujets. Accédez à la bibliothèque Essentiel comprenant plus de 800 000 titres de référence et best-sellers dans les domaines du commerce, du développement personnel et des sciences humaines. Il comprend un temps de lecture illimité et la voix standard de la fonction Écouter.
- Complet est parfait pour les étudiants avancés et les chercheurs qui ont besoin d'un accès complet et illimité. Accédez à plus de 1,4 million de livres sur des centaines de sujets, y compris des titres académiques et spécialisés. L'abonnement Complet comprend également des fonctionnalités avancées telles que la fonction Écouter Premium et l'Assistant de recherche.
Veuillez noter que nous ne pouvons pas prendre en charge les appareils fonctionnant sur iOS 13 et Android 7 ou versions antérieures. En savoir plus sur l'utilisation de l'application.
Informations
Table des matières
- Table des matières
- Préface
- Avant-propos
- CHAPITRE 1. Introduction à la programmation réactive synchrone
- CHAPITRE 2. Exemples introductifs
- CHAPITRE 3. Premier approfondissement
- CHAPITRE 4. Outils d'abstraction
- CHAPITRE 5. Tâches externes
- CHAPITRE 6. Causalité constructive
- CHAPITRE 7. Implémentation logicielle
- CHAPITRE 8. Implémentation matérielle
- CHAPITRE 9. Vérification formelle
- CHAPITRE 10. Esteral version 7
- Bibliographie
- Index