Documents disponibles dans la collection

Systèmes temps réel embarqués / Francis. COTTET

Public ISBD Titre : Systèmes temps réel embarqués : spécification, conception, implémentation et validation temporelle - 2e édition Type de document : texte imprimé Auteurs : Francis. COTTET, Auteur ; Emmanuel GROLLEAU, Auteur ; Sébastien GERARD, Auteur ; Jérôme. HUGUES, Auteur ; Yassine OUHAMMOU, Auteur ; Sara TUCCI-PIERGOVANNI, Auteur Editeur : Paris [France] : Dunod Année de publication : 2014 Collection : Collection Technique Importance : 626 p. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-071331-8 Langues : Français (fre) Mots-clés : Temps réel (informatique) -- Systèmes enfouis (informatique) -- Programmation en temps réel -- Commande en temps réel -- Commande automatique Index. décimale : 004.33 COT 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.) Note de contenu : Sommaire : Chapitre 1 : Le développement des systèmes embarqués temps réel Chapitre 2 : La spécification fonctionnelle Chapitre 3 : La conception à l'aide d'AADL Chapitre 4 : Architectures matérielles et système d'exploitation Chapitre 5 : Les exécutifs temps réel Chapitre 6 : Programmation des systèmes multitâches Chapitre 7 : Traitement complet d'une application industrielle Chapitre 8 : Étude avancée des systèmes informatiques multitâches et temps réel Annexes Annexe A : Représentation de l'information Annexe B : Module de boîtes aux lettres POSIX Annexe C : Module générique de gestion de files bornées de messages en Ada Annexe D : Module de communication Ada Systèmes temps réel embarqués : spécification, conception, implémentation et validation temporelle - 2e édition [texte imprimé] / Francis. COTTET, Auteur ; Emmanuel GROLLEAU, Auteur ; Sébastien GERARD, Auteur ; Jérôme. HUGUES, Auteur ; Yassine OUHAMMOU, Auteur ; Sara TUCCI-PIERGOVANNI, Auteur . - Paris (France) : Dunod, 2014 . - 626 p. ; 24 cm. - (Collection Technique) . ISBN : 978-2-10-071331-8 Langues : Français (fre) Mots-clés : Temps réel (informatique) -- Systèmes enfouis (informatique) -- Programmation en temps réel -- Commande en temps réel -- Commande automatique Index. décimale : 004.33 COT 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.) Note de contenu : Sommaire : Chapitre 1 : Le développement des systèmes embarqués temps réel Chapitre 2 : La spécification fonctionnelle Chapitre 3 : La conception à l'aide d'AADL Chapitre 4 : Architectures matérielles et système d'exploitation Chapitre 5 : Les exécutifs temps réel Chapitre 6 : Programmation des systèmes multitâches Chapitre 7 : Traitement complet d'une application industrielle Chapitre 8 : Étude avancée des systèmes informatiques multitâches et temps réel Annexes Annexe A : Représentation de l'information Annexe B : Module de boîtes aux lettres POSIX Annexe C : Module générique de gestion de files bornées de messages en Ada Annexe D : Module de communication Ada

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
ENSAK2035	004.33 COT	Livre	ENSAK	Informatiques	Exclu du prêt
ENSAK2034	004.33 COT	Livre	ENSAK	Informatiques	Disponible