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...
Enregistré dans:
Auteurs principaux : | , , , , , |
---|---|
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 |
LEADER | 04266cam a2200601 4500 | ||
---|---|---|---|
001 | PPN181754312 | ||
003 | http://www.sudoc.fr/181754312 | ||
005 | 20230710125600.0 | ||
010 | |a 978-2-10-071331-8 |b br. |d 85 EUR | ||
035 | |a (OCoLC)895661286 | ||
073 | 2 | |a 9782100713318 | |
100 | |a 20141117h20142014k y0frey0103 ba | ||
101 | 0 | |a fre | |
102 | |a FR | ||
105 | |a a a 001yy | ||
106 | |a r | ||
181 | |6 z01 |c txt |2 rdacontent | ||
181 | 1 | |6 z01 |a i# |b xxxe## | |
182 | |6 z01 |c n |2 rdamedia | ||
182 | 1 | |6 z01 |a n | |
200 | 1 | |a Systèmes temps réel embarqués |e spécification, conception, implémentation et validation temporelle |f Francis Cottet, Emmanuel Grolleau, Sébastien Gérard... [et al.] | |
205 | |a 2e édition | ||
210 | |a Paris |c Dunod |d DL 2014, cop. 2014 | ||
215 | |a 1 vol. (XI-626 p.) |c ill., fig., tabl., couv. ill. en coul. |d 24 cm | ||
225 | 0 | |a Collection Technique & ingénierie |i Automatique et réseaux |x 2276-0342 | |
339 | |a Description de la méthodologie de développement des systèmes temps réel de contrôle-commande, de leur conception à leur mise en oeuvre, en tenant compte des contraintes de production et de leur environnement. Mise à jour introduisant à l'utilisation de SysML (System modeling language) et au langage AADL (Architecture analysis and design language). ©Electre 2015 | ||
314 | |a Autres contributions : Jérôme Hughes, Yassine Ouhammou, Sara Tucci-Piergiovanni (auteurs) | ||
320 | |a Index | ||
330 | |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. (Cit. 4e de couv.) | ||
359 | 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 | |
410 | | | |0 178529311 |t Collection Technique & ingénierie. Automatique et réseaux |x 2276-0342 | |
452 | | | |0 184675456 |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 |c Paris |n Dunod |d 2014 |y 978-2-10-071957-0 | |
606 | |3 PPN027333930 |a Temps réel (informatique) |2 rameau | ||
606 | |3 PPN033217521 |a Systèmes embarqués (informatique) |2 rameau | ||
606 | |3 PPN034893598 |a Programmation en temps réel |2 rameau | ||
606 | |3 PPN031067220 |a Commande en temps réel |2 rameau | ||
606 | |3 PPN027315312 |a Commande automatique |2 rameau | ||
676 | |a 004.33 |v 23 | ||
680 | |a QA76.54 | ||
700 | 1 | |3 PPN032488130 |a Cottet |b Francis |4 070 | |
701 | 1 | |3 PPN086811843 |a Grolleau |b Emmanuel |f 1973-.... |4 070 | |
701 | 1 | |3 PPN167724053 |a Gérard |b Sébastien |f 19..-.... |c informaticien |4 070 | |
701 | 1 | |3 PPN185649254 |a Hughes |b Jérôme |4 070 | |
701 | 1 | |3 PPN175835705 |a Ouhammou |b Yassine |4 070 | |
701 | 1 | |3 PPN185221262 |a Tucci-Piergiovanni |b Sara |4 070 | |
801 | 3 | |a FR |b Electre |c 20141121 |g AFNOR | |
801 | 3 | |a FR |b Abes |c 20150929 |g AFNOR | |
979 | |a SCI | ||
979 | |a ECN | ||
930 | |5 441092105:536203032 |b 441092105 |j u | ||
930 | |5 441092306:545938503 |b 441092306 |a 681.3 A01 COT |j u | ||
930 | |5 441092104:552297127 |b 441092104 |a 681.324 REA-SYS |j u | ||
998 | |a 733138 |