| Titre : | Systèmes temps réel embarqués : spécification, conception, implémentation et validation temporelle | | Type de document : | texte imprimé | | Auteurs : | Francis Cottet, Auteur ; Emmanuel Grolleau, Auteur ; Sébastien Gérard, Auteur | | Mention d'édition : | 2 ème ed. | | Editeur : | Paris : Tec & Doc / Lavoisier | | Année de publication : | 2014 | | Collection : | Collection Technique & Ingénierie - Automatique et réseaux | | Importance : | 626 p. | | Présentation : | couv. ill. en coul., ill. | | Format : | 23,9 cm. | | ISBN/ISSN/EAN : | 978-2-10-071331-8 | | Langues : | Français (fre) | | Index. décimale : | 25-01 Logique combinatoire et séquentielle | | Résumé : | Cet ouvrage de référence sur les systèmes temps réel permet de :
• Connaître et mettre en oeuvre les méthodes de spécification et de conception,
• Définir et paramétrer l’environnement d’exécution des systèmes,
• Réaliser une implantation multitâche basée sur un noyau temps réel,
• Développer l’application en C, Ada ou Labview.
Cette deuxième édition a été mise à jour en introduisant l’utilisation de SysML (System Modeling Language) pour la spécification fonctionnelle et du langage AADL (Architecture Analysis and Design Language) qui permet de passer des spécifications fonctionnelles aux architectures matérielles et logicielles.
Points forts :
Une méthodologie opérationnelle de développement de systèmes temps réels embarqués critiques passant à l’échelle.
Des exemples tirés de l’industrie
Une présentation de SysML et des IBD
Une mise en oeuvre du langage AADL (Architecture analysis ans ddesign language)
| | Note de contenu : | Sommaire
Chapitre 1: Développement des systèmes de contrôle-commande
Chapitre 2: Spécification selon la méthode EAST-ADL (automobile)
Chapitre 3: Conception selon la méthode AADL (avionique)
Chapitre 4: Architectures systèmes
Chapitre 5: Les exécutifs temps réel
Chapitre 6: Programmation des systèmes multitâches
Chapitre 7: Traitement complet d'une application industrielle
Chapitre 8: Étude avancée des systèmes informatiques multitâches et temps réel
Annexes
Annexe A: Représentation de l'information
Annexe B: Module de boîtes aux lettres POSIX
Annexe C: Module générique de gestion e files bornées de messages en Ada
Annexe C: Module de communication Ada
Index
|
Systèmes temps réel embarqués : spécification, conception, implémentation et validation temporelle [texte imprimé] / Francis Cottet, Auteur ; Emmanuel Grolleau, Auteur ; Sébastien Gérard, Auteur . - 2 ème ed. . - Paris : Tec & Doc / Lavoisier, 2014 . - 626 p. : couv. ill. en coul., ill. ; 23,9 cm.. - ( Collection Technique & Ingénierie - Automatique et réseaux) . ISBN : 978-2-10-071331-8 Langues : Français ( fre) | Index. décimale : | 25-01 Logique combinatoire et séquentielle | | Résumé : | Cet ouvrage de référence sur les systèmes temps réel permet de :
• Connaître et mettre en oeuvre les méthodes de spécification et de conception,
• Définir et paramétrer l’environnement d’exécution des systèmes,
• Réaliser une implantation multitâche basée sur un noyau temps réel,
• Développer l’application en C, Ada ou Labview.
Cette deuxième édition a été mise à jour en introduisant l’utilisation de SysML (System Modeling Language) pour la spécification fonctionnelle et du langage AADL (Architecture Analysis and Design Language) qui permet de passer des spécifications fonctionnelles aux architectures matérielles et logicielles.
Points forts :
Une méthodologie opérationnelle de développement de systèmes temps réels embarqués critiques passant à l’échelle.
Des exemples tirés de l’industrie
Une présentation de SysML et des IBD
Une mise en oeuvre du langage AADL (Architecture analysis ans ddesign language)
| | Note de contenu : | Sommaire
Chapitre 1: Développement des systèmes de contrôle-commande
Chapitre 2: Spécification selon la méthode EAST-ADL (automobile)
Chapitre 3: Conception selon la méthode AADL (avionique)
Chapitre 4: Architectures systèmes
Chapitre 5: Les exécutifs temps réel
Chapitre 6: Programmation des systèmes multitâches
Chapitre 7: Traitement complet d'une application industrielle
Chapitre 8: Étude avancée des systèmes informatiques multitâches et temps réel
Annexes
Annexe A: Représentation de l'information
Annexe B: Module de boîtes aux lettres POSIX
Annexe C: Module générique de gestion e files bornées de messages en Ada
Annexe C: Module de communication Ada
Index
|
|  |
Affiner la recherche Interroger des sources externesSystèmes temps réel embarqués / Francis Cottet
