Lavoisier S.A.S.
14 rue de Provigny
94236 Cachan cedex
FRANCE

Heures d'ouverture 08h30-12h30/13h30-17h30
Tél.: +33 (0)1 47 40 67 00
Fax: +33 (0)1 47 40 67 02


Url canonique : www.lavoisier.fr/livre/informatique/modelisation-et-analyse-de-systemes-embarques/kordon/descriptif-9782746239005
Url courte ou permalien : www.lavoisier.fr/livre/notice.asp?ouvrage=2708717

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

Langue : Français

Auteurs :

Directeurs de Collection : DUBUISSON Bernard, SEE

Couverture de l’ouvrage Modélisation et analyse de systèmes embarqués
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.

Date de parution :

Ouvrage de 312 p.

15.6x23.4 cm

En stock : expédition en 24h !

99,00 €

Ajouter au panier
PDF 99,00 €
Télécharger
En continuant à naviguer, vous autorisez Lavoisier à déposer des cookies à des fins de mesure d'audience. Pour en savoir plus et paramétrer les cookies, rendez-vous sur la page Confidentialité & Sécurité.
FERMER