Modélisation et analyse de systèmes embarqués Coll. SEE

Les systèmes embarqués rendent un nombre de services grandissant et font partie de notre vie quotidienne : ascenseurs, transports, téléphonie, médecine, énergie, industrie, etc. Ainsi, si l’on parle de plus en plus de systèmes embarqués, il s’agit avant tout d’un ensemble complet et intégré (matériel + logiciel). Le point central de leur développement est leur interaction avec leur environnement et les conséquences associées en termes de sécurité et de fiabilité. Cet ouvrage dresse un état de l’art du développement des systèmes embarqués. Il se concentre particulièrement sur leur modélisation et leur analyse. Il s’agit d’opérations cruciales qui détermineront la fiabilité du futur système. L’apparition récente des techniques basées sur l’ingénierie des modèles pourrait révolutionner le développement de ces systèmes en assurant une continuité entre le niveau conceptuel et l’implémentation de la partie logicielle. L’ouvrage expose trois approches parmi les plus utilisées : SysML (aspects ingénierie système), UML/MARTE et AADL (conception/analyse).

Préface - Dominique POTIER.

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.

Bibliographie.