Lavoisier Lavoisier Lavoisier Lavoisier

Résumé

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).

Sommaire

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.

Caractéristiques

Editeur : Hermes Science

Auteur(s) : Fabrice KORDON, Bernard DUBUISSON, See, Jérôme Hugues, Agusti Canals, Alain Dohet

Collection : SEE

Publication : 1 avril 2013

Edition : 1ère édition

Intérieur : Couleur, Noir & blanc

Support(s) : eBook [PDF], Contenu téléchargeable [PDF], Text (eye-readable) [PDF]

Contenu(s) : PDF

Protection(s) : Marquage social (PDF)

Taille(s) : 10 Mo (PDF)

Langue(s) : Français

Code(s) CLIL : 3193

EAN13 eBook [PDF] : 9782746289000

EAN13 (papier) : 9782746239005

Ouvrages du même auteur

Ouvrages dans la même collection