| Titre : |
Modélisation et analyse de systèmes embarqués |
| Type de document : |
texte imprimé |
| Auteurs : |
KORDON,FABRICE, Auteur ; HUGUES,JéROME, Auteur ; CANALS,AGUSTI, Auteur ; Alain Dohet ; APVRILLE,LUDOVIC ; BONIOL,FRéDéRIC ; BORDRE,ETIENNE ; JEAN-MICHEL BRUEL ; Agustí Canals ; CHAMPEAU,JOEL ; PIERRE DE SAQUI-SANNES ; JéROME DELATOUR ; DHAUSSY,PHILIPPE ; Alain Dohet ; FEJOZ,LOIC ; GéRARD,SéBASTIEN ; HUGUES,JéROME ; KORDAN,FABRICE ; LEBLANC,PHILIPPE ; LE ROUX,LUKA ; MRAIDHA,CHOCKRI ; PAUTET,LAURENT ; POTIER,DOMINIQUE ; RADERMACHER,ANSGAR ; RENAULT,XAVIER ; ROBERT,THOMAS ; JEAN-CHARLES ROGER ; ROQUES,PASCAL ; TERRIER,FRANçOIS ; ZALILA,BECHIR |
| Editeur : |
Paris : Hermès science publications-Lavoisier |
| Année de publication : |
DL 2013 |
| Collection : |
Collection SEE (Paris), ISSN 1264-4366 |
| Importance : |
1 vol. (312 p.) |
| Présentation : |
ill. |
| Format : |
17X24 cm |
| ISBN/ISSN/EAN : |
978-2-7462-3900-5 |
| Prix : |
99 EUR |
| Note générale : |
Éditeur : Hermes Science Publications (2 avril 2013)
Langue : Français
Relié : 312 pages
ISBN-10 : 2746239000
ISBN-13 : 978-2746239005
Poids de l'article : 671 g
Dimensions : 15.6 x 1.7 x 23.4 cm |
| Langues : |
Français (fre) |
| Mots-clés : |
Systèmes embarqués pacemaker SysML marte code AADL Modélisation et analyse de systèmes embarqués |
| Index. décimale : |
629. Autres Branches de L’ingénierie |
| 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:
PROBLéMATIQUE
PROLéGOMéNES
ELéMENTS POUR LA CONCEPTION DE SYSTéMES EMBARQUéS
ETUDE DE CAS:LE PACEMAKER
SYSML
PRéSENTATION DES CONCEPTS DE SYSML
MODéLISATION DE L'éTUDE DE CAS AVEC SYSML
ANALYSE DES EXIGENCES
MARTE
PRéSENTATION DES CONCEPTS DE MARTE
MODéLISATION DE L'éTUDE DE CAS AVEC MARTE
ANALYSE à PARTIR DU MODéLE
DéPLOIEMENT ET GéNéRATION DE CODE
AADL
PRéSENTATION DES CONCEPTS DE AADL
MODéLISATION DE L'éTUDE DE CAS AVEC AADL
ANALYSE à PARTIR DU MODéLE
GéNéRATION DE CODE à PARTIR DU MODéLE
|
| Note de contenu : |
Notes bibliogr. Index |
Modélisation et analyse de systèmes embarqués [texte imprimé] / KORDON,FABRICE, Auteur ; HUGUES,JéROME, Auteur ; CANALS,AGUSTI, Auteur ; Alain Dohet ; APVRILLE,LUDOVIC ; BONIOL,FRéDéRIC ; BORDRE,ETIENNE ; JEAN-MICHEL BRUEL ; Agustí Canals ; CHAMPEAU,JOEL ; PIERRE DE SAQUI-SANNES ; JéROME DELATOUR ; DHAUSSY,PHILIPPE ; Alain Dohet ; FEJOZ,LOIC ; GéRARD,SéBASTIEN ; HUGUES,JéROME ; KORDAN,FABRICE ; LEBLANC,PHILIPPE ; LE ROUX,LUKA ; MRAIDHA,CHOCKRI ; PAUTET,LAURENT ; POTIER,DOMINIQUE ; RADERMACHER,ANSGAR ; RENAULT,XAVIER ; ROBERT,THOMAS ; JEAN-CHARLES ROGER ; ROQUES,PASCAL ; TERRIER,FRANçOIS ; ZALILA,BECHIR . - Paris : Hermès science publications-Lavoisier, DL 2013 . - 1 vol. (312 p.) : ill. ; 17X24 cm. - ( Collection SEE (Paris), ISSN 1264-4366) . ISBN : 978-2-7462-3900-5 : 99 EUR Éditeur : Hermes Science Publications (2 avril 2013)
Langue : Français
Relié : 312 pages
ISBN-10 : 2746239000
ISBN-13 : 978-2746239005
Poids de l'article : 671 g
Dimensions : 15.6 x 1.7 x 23.4 cm Langues : Français ( fre)
| Mots-clés : |
Systèmes embarqués pacemaker SysML marte code AADL Modélisation et analyse de systèmes embarqués |
| Index. décimale : |
629. Autres Branches de L’ingénierie |
| 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:
PROBLéMATIQUE
PROLéGOMéNES
ELéMENTS POUR LA CONCEPTION DE SYSTéMES EMBARQUéS
ETUDE DE CAS:LE PACEMAKER
SYSML
PRéSENTATION DES CONCEPTS DE SYSML
MODéLISATION DE L'éTUDE DE CAS AVEC SYSML
ANALYSE DES EXIGENCES
MARTE
PRéSENTATION DES CONCEPTS DE MARTE
MODéLISATION DE L'éTUDE DE CAS AVEC MARTE
ANALYSE à PARTIR DU MODéLE
DéPLOIEMENT ET GéNéRATION DE CODE
AADL
PRéSENTATION DES CONCEPTS DE AADL
MODéLISATION DE L'éTUDE DE CAS AVEC AADL
ANALYSE à PARTIR DU MODéLE
GéNéRATION DE CODE à PARTIR DU MODéLE
|
| Note de contenu : |
Notes bibliogr. Index |
|  |
Affiner la recherche Interroger des sources externes
