Nantilus
Modélisation et analyse de systèmes embarqués
| Auteurs principaux : | , , , |
|---|---|
| Format : | Livre |
| Langue : | français |
| Titre complet : | Modélisation et analyse de systèmes embarqués / sous la direction de Fabrice Kordon, Jérôme Hugues, Agusti Canals... [et al.] |
| Publié : |
Paris :
Hermes Science
, DL 2013 Lavoisier |
| Description matérielle : | 1 vol. (312 p.) |
| Collection : | Collection SEE (Paris) |
| Sujets : |
- 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