Titre original :
Embedded Systems: Analysis and Modeling with SysML, UML and AADL
Contenu du livre :
Depuis la construction du premier système embarqué dans les années 1960, les systèmes embarqués n'ont cessé de se développer. Ils fournissent un nombre sans cesse croissant de services et font partie de notre vie quotidienne. Le développement de ces systèmes est un problème difficile qui n'a pas encore de solution globale. Une autre difficulté est que les systèmes sont plongés dans le monde réel, qui n'est pas discret (comme on l'entend généralement en informatique), mais présente une richesse de comportements qui empêche parfois la formulation d'hypothèses simplificatrices du fait de leur caractère généralement autonome et qu'ils doivent faire face à des situations éventuellement imprévues (incidents, par exemple), voire à des situations qui sortent des hypothèses de conception initiales.
Embedded Systems présente l'état de l'art du développement des systèmes embarqués et, en particulier, se concentre sur la modélisation et l'analyse de ces systèmes en examinant "l'ingénierie pilotée par les modèles" (MDE2) : SysML, UML/MARTE et AADL. Une étude de cas (basée sur un stimulateur cardiaque) est présentée pour permettre au lecteur d'observer comment les différents aspects d'un système sont traités en utilisant les différentes approches. Les trois systèmes sont importants en ce sens qu'ils offrent au lecteur une vue d'ensemble de leurs possibilités et démontrent les contributions de chaque approche dans les différentes étapes du cycle de vie du logiciel. Des chapitres consacrés à l'analyse de la spécification et à la génération de code sont également présentés.
Table des matières.
Avant-propos, Brian R. Larson.
Avant-propos, Dominique Potier.
Introduction, Fabrice Kordon, J r me Hugues, Agusti Canals et Alain Dohet.
Partie 1. Concepts généraux.
1. Eléments pour la conception de systèmes informatiques embarqués, Fabrice Kordon, J r me Hugues, Agusti Canals et Alain Dohet.
2. Etude de cas : Pacemaker, Fabrice Kordon, J r me Hugues, Agusti Canals et Alain Dohet.
Partie 2. SysML.
3. Présentation des concepts SysML, Jean-Michel Bruel et Pascal Roques.
4. Modélisation de l'étude de cas à l'aide de SysML, Lo c Fejoz, Philippe Leblanc et Agusti Canals.
5. Analyse des exigences, Ludovic Apvrille et Pierre De Saqui-Sannes.
Partie 3. MARTE.
6. Introduction aux concepts MARTE, Sébastien G rard et Fran ois Terrier.
7. Modélisation d'une étude de cas à l'aide de MARTE, Jérôme Delatour et Joël Champeau.
8. Analyse basée sur des modèles, Frédéric Boniol, Philippe Dhaussy, Luka Le Roux et Jean-Charles Roger.
9. Déploiement et génération de code à partir de modèles, Chokri Mraidha, Ansgar Radermacher et Sébastien G rard.
Partie 4. AADL.
10. Présentation des concepts AADL, J r me Hugues et Xavier Renault.
11. Modélisation d'une étude de cas à l'aide d'AADL, Etienne Borde.
12. Analyse basée sur le modèle, Thomas Robert et J r me Hugues.
13. Génération de code à partir de modèles, Laurent Pautet et B chir Zalila.
Autres informations sur le livre :
| ISBN : | 9781848215009 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Relié |
| Année de publication : | 2013 |
| Nombre de pages : | 314 |
Achat:
Actuellement disponible, en stock.
