Systèmes temps réel embarqués : spécification, conception, implémentation et validation temporelle
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�...
Uloženo v:
| Hlavní autoři: | , , , , , |
|---|---|
| Médium: | Livre papier |
| Jazyk: | Français |
| Vydáno: |
Paris :
Dunod
DL 2014.
|
| Vydání: | 2e édition. |
| Edice: | Collection Technique & ingénierie. Automatique et réseaux
|
| Témata: | |
| Poznámka: |
Autres contributions : Jérôme Hughes, Yassine Ouhammou, Sara Tucci-Piergiovanni (auteurs) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Systèmes temps réel embarqués, spécification, conception, implémentation et validation temporelle, Francis Cottet, Emmanuel Grolleau, Sébastien Gérard,... [et al.], 2e édition, Paris, Dunod, 2014, 978-2-10-071957-0 |
Obsah:
- Chapitre 1 : Le développement des systèmes embarqués temps réel
- Chapitre 2 : La spécification fonctionnelle
- Chapitre 3 : La conception à l'aide d'AADL
- Chapitre 4 : Architectures matérielles et système d'exploitation
- 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 de files bornées de messages en Ada
- Annexe D : Module de communication Ada