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

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�...

Description complète

Détails bibliographiques
Auteurs principaux : Cottet Francis (Auteur), Grolleau Emmanuel (Auteur), Gérard Sébastien (Auteur), Hughes Jérôme (Auteur), Ouhammou Yassine (Auteur), Tucci-Piergiovanni Sara (Auteur)
Format : Livre
Langue : français
Titre complet : Systèmes temps réel embarqués : spécification, conception, implémentation et validation temporelle / Francis Cottet, Emmanuel Grolleau, Sébastien Gérard... [et al.]
Édition : 2e édition
Publié : Paris : Dunod , DL 2014, cop. 2014
Description matérielle : 1 vol. (XI-626 p.)
Collection : Collection Technique & ingénierie. Automatique et réseaux
Sujets :
Documents associés : Autre format: Systèmes temps réel embarqués
Description
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. (Cit. 4e de couv.)
Notes : Autres contributions : Jérôme Hughes, Yassine Ouhammou, Sara Tucci-Piergiovanni (auteurs)
Bibliographie : Index
ISBN : 978-2-10-071331-8