Modélisation et analyse de systèmes embarqués
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | , , |
| Médium: | Livre papier |
| Jazyk: | Français |
| Vydáno: |
Paris :
Hermes Science : Lavoisier
DL 2013.
|
| Edice: | Collection SEE
|
| Témata: | |
| Poznámka: |
SEE = Société des électriciens et électroniciens autre contribution : Alain Dohet (direction) |
| Autres localisations: | Voir dans le Sudoc |
| LEADER | 02771nam a22003377a 4500 | ||
|---|---|---|---|
| 001 | 437689 | ||
| 008 | 130521t20132013xxe ||| |||| 00| 0 fre d | ||
| 009 | PPN169352994 | ||
| 020 | |a 9782746239005 (rel.) | ||
| 024 | |a 9782746239005 | ||
| 041 | 0 | |a fre | |
| 082 | |a 621.395 | ||
| 082 | |a 006.22 | ||
| 100 | 1 | |a Kordon, Fabrice. | |
| 245 | 1 | 0 | |a Modélisation et analyse de systèmes embarqués |c sous la direction de Fabrice Kordon, Jérôme Hugues, Agusti Canals... [et al.]. |
| 260 | |a Paris : |b Hermes Science : |b Lavoisier, |c DL 2013. | ||
| 300 | |a 1 vol. (312 p.) : |b ill. ; |c 24 cm. | ||
| 490 | 0 | |a Collection SEE |x 1264-4366 | |
| 500 | |a SEE = Société des électriciens et électroniciens | ||
| 500 | |a autre contribution : Alain Dohet (direction) | ||
| 504 | |a Références bibliogr. | ||
| 505 | 0 | |a Chapitre 1. Introduction générale / Fabrice KORDON, Jérôme HUGUES, Agusti CANALS, Alain DOHET -- PREMIÈRE PARTIE. PROLÉGOMÈNES -- Chapitre 2. Eléments pour la conception de systèmes embarqués / Fabrice KORDON, Jérôme HUGUES, Agusti CANALS, Alain DOHET -- Chapitre 3. Étude de cas : le pacemaker / Fabrice KORDON, Jérôme HUGUES, Agusti CANALS, Alain DOHET -- DEUXIÈME PARTIE. SYSML -- Chapitre 4. Présentation des concepts de SysML / Jean-Michel BRUEL, Pascal ROQUES -- Chapitre 5. Modélisation de l étude de cas avec SysML / Loïc FEJOZ, Philippe LEBLANC, Agusti CANALS -- Chapitre 6. Analyse des exigences /Ludovic APVRILLE, Pierre DE SAQUI-SANNES -- TROISIÈME PARTIE. MARTE -- Chapitre 7. Présentation des concepts de MARTE / Sébastien GÉRARD, François TERRIER -- Chapitre 8. Modélisation de l étude de cas avecMARTE / Jérôme DELATOUR, Joël CHAMPEAU -- Chapitre 9. Analyse à partir du modèle / Frédéric BONIOL, Philippe DHAUSSY, Luka LE ROUX, Jean-Charles ROGER -- Chapitre 10. Déploiement et génération de code à partir du modèle / Chokri MRAIDHA, Ansgar RADERMACHER, Sébastien GÉRARD -- QUATRIÈME PARTIE. AADL -- Chapitre 11. Présentation des concepts de AADL / Jérôme HUGUES, Xavier RENAULT -- Chapitre 12. Modélisation de l étude de cas avec AADL / Etienne BORDE -- Chapitre 13. Analyse à partir du modèle /Thomas ROBERT, Jérôme HUGUES -- Chapitre 14. Génération de code à partir du modèle / Laurent PAUTET, Bechir ZALILA | |
| 650 | |a Systèmes embarqués (informatique) |x Simulation par ordinateur | ||
| 650 | |a Systèmes embarqués (informatique) |x Modèles mathématiques | ||
| 650 | |a SysML (informatique) | ||
| 650 | |a AADL (informatique) | ||
| 650 | |a UML (informatique) | ||
| 700 | 1 | |a Hugues, Jérôme, |d 1978- |4 pbd | |
| 700 | 1 | |a Canals, Agusti. |4 pbd | |
| 700 | 1 | |a Dohet, Alain. |4 pbd | |
| 997 | |0 437689 |1 Livre papier |a Ressource papier |b INSA |c 0/Bourges/ |c 1/Bourges/INSA CVL/ |z Bourges, INSA CVL, 621.381 5 KOR | ||