OK
www.librest.com
Revenir à la liste
Systèmes temps réel embarqués : spécification, conception, implémentation et validation temporelle
Partager ce livre sur Facebook Partager ce livre sur Twitter

Fiche technique

Format : Broché
Nb de pages : X-626 pages
Poids : 1076 g
Dimensions : 17cm X 24cm
Date de parution :
ISBN : 978-2-10-071331-8
EAN : 9782100713318

Systèmes temps réel embarqués

spécification, conception, implémentation et validation temporelle

chez Dunod

Collection(s) : Technique et ingénierie

Paru le | Broché X-626 pages

Professionnels

98.00 € Disponible - Expédié sous 6 jours ouvrés
Ajouter au panier

Quatrième de couverture

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.

Biographie

Francis Cottet, Emmanuel Grolleau, et Yassine Ouhammou, sont enseignants-chercheurs à l'ISAE-ENSMA (École nationale supérieure de mécanique et d'aérotechnique) de Poitiers.

Jérôme Hugues est enseignant chercheur à l'ISAE.

Sara Tucci-Piergiovanni et Sébastien Gérard sont chercheurs au CEA-LIST.

↑