الفهرس الالي لمكتبة كلية العلوم و علوم التكنولوجيا

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