Nantilus
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�...
Enregistré dans:
| Auteurs principaux : | , , , , , |
|---|---|
| Format : | Livre |
| Langue : | français |
| Titre complet : | 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.] |
| Édition : | 2e édition |
| Publié : |
Paris :
Dunod
, DL 2014, cop. 2014 |
| Description matérielle : | 1 vol. (XI-626 p.) |
| Collection : | Collection Technique & ingénierie. Automatique et réseaux |
| Sujets : | |
| Documents associés : | Autre format:
Systèmes temps réel embarqués |
- 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