| Titre : |
Modélisation et analyse de systèmes embarqués |
| Type de document : |
texte imprimé |
| Auteurs : |
Kordon, Fabrice, Directeur de publication ; Jérôme Hugues, Directeur de publication ; Agusti Canals, Directeur de publication |
| Editeur : |
Paris : Hermes Science Publications |
| Année de publication : |
2013 |
| Autre Editeur : |
Paris : Hermes Science Publications |
| Collection : |
Collection SEE |
| Importance : |
312 p. |
| Présentation : |
ill. |
| Format : |
24 cm |
| ISBN/ISSN/EAN : |
978-2-7462-3900-5 |
| Note générale : |
SEE = Société des électriciens et électroniciens. - Bibliogr. |
| Langues : |
Français (fre) |
| Mots-clés : |
Systèmes enfouis (informatique) -- Simulation par ordinateur
Systèmes enfouis (informatique) -- Modèles mathématiques
SysML (informatique)
AADL (informatique)
UML (informatique) |
| Index. décimale : |
004.4 Logiciel. Programme |
| 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). |
| Note de contenu : |
Au sommaire :
I. Prolégomènes
1. Eléments pour la conception de systèmes embarqués
2. Étude de cas : le pacemaker Agusti CANALS, Alain DOHET
II. SysML
1. Présentation des concepts de SysML
2. Modélisation de l’étude de cas avec SysML
3. Analyse des exigences
III. MARTE
1. Présentation des concepts de MARTE
2. Modélisation de l’étude de cas avec MARTE
3. Analyse à partir du modèle
4. Déploiement et génération de code à partir du modèle
IV. AADL
1. Présentation des concepts de AADL
2. Modélisation de l’étude de cas avec AADL
3. Analyse à partir du modèle
4. Génération de code à partir du modèle |
Modélisation et analyse de systèmes embarqués [texte imprimé] / Kordon, Fabrice, Directeur de publication ; Jérôme Hugues, Directeur de publication ; Agusti Canals, Directeur de publication . - Paris : Hermes Science Publications : Paris : Hermes Science Publications, 2013 . - 312 p. : ill. ; 24 cm. - ( Collection SEE) . ISBN : 978-2-7462-3900-5 SEE = Société des électriciens et électroniciens. - Bibliogr. Langues : Français ( fre)
| Mots-clés : |
Systèmes enfouis (informatique) -- Simulation par ordinateur
Systèmes enfouis (informatique) -- Modèles mathématiques
SysML (informatique)
AADL (informatique)
UML (informatique) |
| Index. décimale : |
004.4 Logiciel. Programme |
| 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). |
| Note de contenu : |
Au sommaire :
I. Prolégomènes
1. Eléments pour la conception de systèmes embarqués
2. Étude de cas : le pacemaker Agusti CANALS, Alain DOHET
II. SysML
1. Présentation des concepts de SysML
2. Modélisation de l’étude de cas avec SysML
3. Analyse des exigences
III. MARTE
1. Présentation des concepts de MARTE
2. Modélisation de l’étude de cas avec MARTE
3. Analyse à partir du modèle
4. Déploiement et génération de code à partir du modèle
IV. AADL
1. Présentation des concepts de AADL
2. Modélisation de l’étude de cas avec AADL
3. Analyse à partir du modèle
4. Génération de code à partir du modèle |
|  |
Ajouter le résultat dans votre panier Faire une suggestion Affiner la rechercheModélisation et analyse de systèmes embarqués (2013)
