Modélisation et analyse de systèmes embarqués
Tallennettuna:
| Päätekijä: | |
|---|---|
| Muut tekijät: | , , |
| Aineistotyyppi: | Livre papier |
| Kieli: | Français |
| Julkaistu: |
Paris :
Hermes Science : Lavoisier
DL 2013.
|
| Sarja: | Collection SEE
|
| Aiheet: | |
| Huomautus: |
SEE = Société des électriciens et électroniciens autre contribution : Alain Dohet (direction) |
| Autres localisations: | Voir dans le Sudoc |
Sisällysluettelo:
- 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