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

Enregistré dans:
Détails bibliographiques
Auteur principal: Cottet, Francis. (Auteur)
Autres auteurs: Grolleau, Emmanuel (1973-....). (Auteur), Gérard, Sébastien (1971-....; informaticien).
Support: E-Book
Langue: Français
Publié: Paris : Dunod, 2014.
Édition: 2e édition.
Sujets:
Autres localisations: Voir dans le Sudoc
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."
Accès en ligne: Accès à l'E-book
LEADER 04307cmm a2200673 i 4500
001 ebook-184675456
005 20220110181635.0
007 cr|cuu---auauu
008 150401t20142014fr ||||f|||d ||||||fre d
020 |a 9782100719570 
035 |a 187338221  |9 sudoc 
035 |a (OCoLC)905969570 
035 |a FRCYB88825521 
035 |a FRCYB07488825521 
035 |a FRCYB56788825521 
035 |a FRCYB09888825521 
035 |a FRCYB14088825521 
035 |a FRCYB17088825521 
035 |a FRCYB19188825521 
035 |a FRCYB24288825521 
035 |a FRCYB24888825521 
035 |a FRCYB26088825521 
035 |a FRCYB26888825521 
035 |a FRCYB29588825521 
035 |a FRCYB42588825521 
035 |a FRCYB55488825521 
035 |a FRCYB55988825521 
035 |a FRCYB08288825521 
035 |a FRCYB57188825521 
040 |a ABES  |b fre  |e AFNOR 
041 0 |a fre  |f fre  |2 639-2 
100 1 |0 (IdRef)032488130  |1 http://www.idref.fr/032488130/id  |a Cottet, Francis.  |4 aut.  |e Auteur 
245 1 0 |a Systèmes temps réel embarqués :  |b spécification, conception, implémentation et validation temporelle   |c Francis Cottet, Emmanuel Grolleau, Sébastien Gérard,... [et al.]. 
250 |a 2e édition. 
256 |a Données textuelles (1 fichier : 12,11 Mo). 
260 |a Paris :  |b Dunod,  |c 2014. 
336 |b txt  |2 rdacontent 
337 |b c  |2 rdamedia 
337 |b b  |2 isbdmedia 
338 |b ceb  |2 RDAfrCarrier 
500 |a Titre provenant de la page de titre du document numérique. 
500 |a La pagination de l'édition imprimée correspondante est de : 636 pages. 
501 |a Notice rédigée d'après la consultation, 2015-04-01. 
506 |a L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition 
520 |a "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." 
534 |a Reproduction numérique de la 2e édition de Paris : Dunod, 2014. 
538 |a Nécessite un logiciel capable de lire un fichier au format PDF. 
559 2 |b Chapitre 1 : Le développement des systèmes embarqués temps réel  |b Chapitre 2 : La spécification fonctionnelle  |b Chapitre 3 : La conception à l'aide d'AADL  |b Chapitre 4 : Architectures matérielles et système d'exploitation  |b Chapitre 5 : Les exécutifs temps réel  |b Chapitre 6 : Programmation des systèmes multitâches  |b Chapitre 7 : Traitement complet d'une application industrielle  |b Chapitre 8 : Étude avancée des systèmes informatiques multitâches et temps réel  |b Annexes  |c Annexe A : Représentation de l'information  |c Annexe B : Module de boîtes aux lettres POSIX  |c Annexe C : Module générique de gestion de files bornées de messages en Ada  |c Annexe D : Module de communication Ada 
650 7 |0 (IdRef)031067220  |1 http://www.idref.fr/031067220/id  |a Commande en temps réel.  |2 ram 
650 7 |0 (IdRef)027315312  |1 http://www.idref.fr/027315312/id  |a Commande automatique.  |2 ram 
650 7 |0 (IdRef)027333930  |1 http://www.idref.fr/027333930/id  |a Temps réel (informatique).  |2 ram 
650 7 |0 (IdRef)033217521  |1 http://www.idref.fr/033217521/id  |a Systèmes embarqués (informatique).  |2 ram 
700 1 |0 (IdRef)086811843  |1 http://www.idref.fr/086811843/id  |a Grolleau, Emmanuel  |d (1973-....).  |4 aut.  |e Auteur 
700 1 |0 (IdRef)167724053  |1 http://www.idref.fr/167724053/id  |a Gérard, Sébastien  |d (1971-....;   |c informaticien).  |4 aut.  |e Auteur 
856 |q HTML  |u https://srvext.uco.fr/login?url=https://univ.scholarvox.com/book/88825521  |w Données éditeur  |z Accès à l'E-book 
886 2 |2 unimarc  |a 181  |a i#  |b xxxe## 
993 |a E-Book  
994 |a BNUM 
995 |a 184675456