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.
eBook - PDF
Programmation synchrone de systèmes réactifs avec Esterel et les SyncCharts
- 490 pages
- French
- PDF
- Disponible sur iOS et Android
eBook - PDF
Programmation synchrone de systèmes réactifs avec Esterel et les SyncCharts
À propos de ce livre
Approuvé par les 375,005 étudiants
Accès à plus de 1,5 million de titres pour un prix mensuel raisonnable.
Étudiez plus efficacement en utilisant nos outils d'étude.
Informations
Sujet
Computer ScienceSujet
ProgrammingTable 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
Foire aux questions
Oui, vous pouvez résilier à tout moment à partir de l'onglet Abonnement dans les paramètres de votre compte sur le site Web de Perlego. Votre abonnement restera actif jusqu'à la fin de votre période de facturation actuelle. Découvrir comment résilier votre abonnement
Non, les livres ne peuvent pas être téléchargés sous forme de fichiers externes, tels que des PDF, pour être utilisés en dehors de Perlego. Cependant, vous pouvez télécharger des livres dans l'application Perlego pour les lire hors ligne sur votre téléphone portable ou votre tablette. Apprendre à télécharger des livres hors ligne
Perlego propose deux formules : Essential et Complete
- Essential est idéal pour les apprenants et les professionnels qui aiment explorer une grande variété de sujets. Accédez à la Essential Library avec plus de 800 000 titres de confiance et best-sellers dans les domaines du business, du développement personnel et des sciences humaines. Inclut un temps de lecture illimité et la voix Standard Read Aloud.
- Complete : Parfait pour les apprenants avancés et les chercheurs ayant besoin d'un accès total et sans restriction. Débloquez plus de 1,5 million de livres dans des centaines de sujets, y compris des titres académiques et spécialisés. Le forfait Complete inclut aussi des fonctionnalités avancées telles que Premium Read Aloud et Research Assistant.
Nous sommes un service déabonnement à des manuels scolaires en ligne, qui vous permet d'accéder à une bibliothèque en ligne entière pour moins que le prix d'un seul livre par mois. Avec plus de 1,5 million de livres sur plus de 990 thèmes, nous avons ce qu'il vous faut ! Découvrir notre mission
Recherchez le symbole Écouter sur votre prochain livre pour voir si vous pouvez l'écouter. L'outil Écouter lit le texte à haute voix pour vous, en surlignant le passage qui est en cours de lecture. Vous pouvez le mettre sur pause, l'accélérer ou le ralentir. En savoir plus sur la fonctionnalité Écouter
Oui ! Vous pouvez utiliser l'application Perlego sur les appareils iOS et Android pour lire à tout moment, n'importe où, même hors ligne. Parfait pour les trajets quotidiens ou lorsque vous êtes en déplacement.
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
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
Oui, vous pouvez accéder à Programmation synchrone de systèmes réactifs avec Esterel et les SyncCharts de Luigi Zaffalon aux formats PDF et/ou ePub, ainsi qu'à d'autres livres populaires dans Computer Science et Programming. Nous avons plus de 1,5 million de livres disponibles dans notre catalogue pour vous.