Mon panier
  • Accueil
  • Systèmes temps réel embarqués : spécification, conception, implémentation et validation temporelle
Systèmes temps réel embarqués : spécification, conception, implémentation et validation temporelle

Systèmes temps réel embarqués : spécification, conception, implémentation et validation temporelle Spécification, conception, implémentation et validation temporelle

Cottet, Francis Grolleau, Emmanuel Gérard, S.
Éditeur
Dunod
Format
Livre Broché
Collection
Technique et ingénierie, Automatique et réseaux
Catégorie
Sciences appliquées
Langue
Français
Parution
11 - 2014
Nombre de pages
626
EAN
9782100713318
Dimensions
170 × 240 × 30 mm
CHF 162.70
2 à 3 semaines
Ajouter au panier

Résumé du livre

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.