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

Cet ouvrage de référence sur les systèmes temps réel permet de :
• Connaître et me re en oeuvre les méthodes de spécifi cation et de
conception,
• Défi nir 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écifi cation fonctionnelle et du
langage AADL (Architecture Analysis and Design Language) qui permet de passer
des spécifi cations fonctionnelles aux architectures matérielles et
logicielles.