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éveloppe...
Αποθηκεύτηκε σε:
| Κύριοι συγγραφείς: | , , |
|---|---|
| Μορφή: | Livre numérique |
| Γλώσσα: | Français |
| Έκδοση: |
Paris :
Dunod
2014.
|
| Έκδοση: | 2e édition. |
| Θέματα: | |
| Διαθέσιμο Online: | Accès Université d'Orléans et IFPM Accès INSA CVL |
| Σημείωση: |
Notice rédigée d'après la consultation, 2015-04-01 Titre provenant de la page de titre du document numérique La pagination de l'édition imprimée correspondante est de : 636 pages Cyberlibris (ScholarVox) corpus Sciences de l'ingénieur Cyberlibris (ScholarVox) corpus Sciences de l'ingénieur Reproduction numérique de la 2e édition de Paris : Dunod, 2014 |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • 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.], 2e édition, 2014, Paris, Dunod, 1 vol. (XI-626 p.), Collection Technique & ingénierie, 978-2-10-071331-8 |
| LEADER | 03694nam a22003857a 4500 | ||
|---|---|---|---|
| 001 | 1390354 | ||
| 008 | 150401t20142014xxe ||| |||| 00| 0 fre d | ||
| 009 | PPN184675456 | ||
| 020 | |a 9782100719570 | ||
| 041 | 0 | |a fre |f fre | |
| 100 | 1 | |a Cottet, Francis. | |
| 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. | ||
| 500 | |a Notice rédigée d'après la consultation, 2015-04-01 | ||
| 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 | ||
| 500 | |a Cyberlibris (ScholarVox) corpus Sciences de l'ingénieur | ||
| 500 | |a Cyberlibris (ScholarVox) corpus Sciences de l'ingénieur | ||
| 500 | |a Reproduction numérique de la 2e édition de Paris : Dunod, 2014 | ||
| 505 | 0 | |a 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 | |
| 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." | ||
| 538 | |a Nécessite un logiciel capable de lire un fichier au format PDF | ||
| 650 | |a Commande en temps réel | ||
| 650 | |a Commande automatique | ||
| 650 | |a Temps réel (informatique) | ||
| 650 | |a Systèmes embarqués (informatique) | ||
| 700 | 1 | |a Grolleau, Emmanuel, |d 1973- |4 aut | |
| 700 | 1 | |a Gérard, Sébastien, |d 1971-...., |c informaticien. |4 aut | |
| 776 | 0 | |0 181754312 |t Systèmes temps réel embarqués |o spécification, conception, implémentation et validation temporelle |f Francis Cottet, Emmanuel Grolleau, Sébastien Gérard... [et al.] |e 2e édition |d 2014 |c Paris |n Dunod |p 1 vol. (XI-626 p.) |s Collection Technique & ingénierie |z 978-2-10-071331-8 | |
| 856 | 4 | |5 452349901:873477049 |u https://ezproxy.univ-orleans.fr/login?qurl=https://univ.scholarvox.com/book/88825521 |z Accès Université d'Orléans et IFPM | |
| 856 | 4 | |5 180339901:873529162 |u https://ezproxy.insa-cvl.fr/login?qurl=https://univ.scholarvox.com/book/88825521 |z Accès INSA CVL | |
| 997 | |0 1390354 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/ScholarVox (ebooks)/ |c 1/Bibliothèque numérique/ScholarVox (ebooks)/ | ||