Collection : Technique et ingénierie
Ouvrage

Systèmes temps réel embarqués - Spécification, conception, implémentation et validation tem

Systèmes temps réel embarqués

Technique et ingénierie
2014


592 pages

Citer cet ouvrage

  • COTTET, Francis,
  • GROLLEAU, Emmanuel,
  • GÉRARD, Sébastien,
  • HUGUES, Jérôme,
  • OUHAMMOU, Yassine
  • et TUCCI-PIERGIOVANNI, Sara,
2014. Systèmes temps réel embarqués - Spécification, conception, implémentation et validation tem Systèmes temps réel embarqués. Paris : Dunod. « Technique et ingénierie », p.592. URL : https://stm.cairn.info/systemes-temps-reel-embarques--9782100713318?lang=fr.
  • Cottet, Francis.,
  • et al.
Systèmes temps réel embarqués - Spécification, conception, implémentation et validation tem : Systèmes temps réel embarqués. Paris, Dunod. « Technique et ingénierie », (2014)
  • Cottet, F.,
  • Grolleau, E.,
  • Gérard, S.,
  • Hugues, J.,
  • Ouhammou, Y.
  • et Tucci-Piergiovanni, S.
(2014). Systèmes temps réel embarqués - Spécification, conception, implémentation et validation tem : Systèmes temps réel embarqués. (2e éd.itio). Dunod. https://stm.cairn.info/systemes-temps-reel-embarques--9782100713318?lang=fr.
Sommaire
Auteur(e)s
Illustrations

Présentation

Cet ouvrage de référence sur les systèmes temps réel permet de :

  • Connaître et mettre en œuvre 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 œuvre du langage AADL (Architecture analysis ans ddesign language)

Sommaire

Chapitre d’ouvrage

Pages de début

Chapitre d’ouvrage

Avant-propos

Chapitre d’ouvrage

1. Le développement des systèmes embarqués temps réel

Chapitre d’ouvrage

2. La spécification fonctionnelle

Chapitre d’ouvrage

3. La conception à l’aide d’AADL

Chapitre d’ouvrage

4. Architectures matérielles et système d’exploitation

Chapitre d’ouvrage

5. Les exécutifs temps réel

Chapitre d’ouvrage

6. Programmation des systèmes multitâches

Chapitre d’ouvrage

7. Traitement complet d’une application industrielle

Chapitre d’ouvrage

8. Étude avancée des systèmes informatiques multitâches et temps réel

Annexes

Chapitre d’ouvrage

A. Représentation de l’information

Chapitre d’ouvrage

B. Module de boîtes aux lettres POSIX

Chapitre d’ouvrage

C. Module générique de gestion de files bornées de messages en Ada

Chapitre d’ouvrage

D. Module de communication Ada

Chapitre d’ouvrage

Index

Date de parution : 05/11/2014

Date de mise en ligne : 01/06/2022

ISBN 9782100713318

Cet ouvrage est en accès conditionnel

Acheter cet ouvrage

69,98 €

592 pages, format électronique (HTML et feuilletage, par chapitre)
Membre d'une institution cliente ?