|
Titre :
|
Systèmes temps réel embarqués : spécification, conception, implémentation et validation temporelle
|
|
Support:
|
Livre
|
|
Mention d'édition :
|
2e éd.
|
|
Editeur :
|
Paris : Dunod, DL 2014
|
|
Collection :
|
Collection Technique & ingénierie. Automatique et réseaux
|
|
ISBN/ISSN/EAN :
|
978-2-10-071331-8
|
|
Format :
|
1 vol. (XI-626 p.) / 24 cm
|
|
Langues:
|
Français
|
|
Index. décimale :
|
360 (Aide Assistance Secours)
|
|
Résumé :
|
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.
|
|
Sommaire :
|
Développement des systèmes de contrôle-commande. Spécification selon la méthode EAST-ADL (automobile). Conception selon la méthode AADL (avionique). Architectures systèmes. Exécutifs temps réel. Programmation des systèmes mutitâches. Traitement complet d'une application industrielle. Étude avancée des systèmes temps réel.
|
