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éveloppe...
Сохранить в:
| Главные авторы: | , , |
|---|---|
| Формат: | Livre numérique |
| Язык: | Français |
| Опубликовано: |
Paris :
Dunod
2014.
|
| Редактирование: | 2e édition. |
| Предметы: | |
| Online-ссылка: | Accès Université d'Orléans et IFPM Accès INSA CVL |
| Примечание: |
Notice rédigée d'après la consultation, 2015-04-01 Titre provenant de la page de titre du document numérique La pagination de l'édition imprimée correspondante est de : 636 pages Cyberlibris (ScholarVox) corpus Sciences de l'ingénieur Cyberlibris (ScholarVox) corpus Sciences de l'ingénieur Reproduction numérique de la 2e édition de Paris : Dunod, 2014 |
| 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, 2014, Paris, Dunod, 1 vol. (XI-626 p.), Collection Technique & ingénierie, 978-2-10-071331-8 |
Оглавление:
- 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