الفهرس الالي لمكتبة كلية العلوم و علوم التكنولوجيا
Résultat de la recherche
2 résultat(s) recherche sur le mot-clé 'aadl'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Modélisation et analyse de systèmes embarqués / KORDON,FABRICE
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 cmLangues : 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 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité ST19317 629/21.1 Ouvrage Faculté des Sciences et de la Technologie 600 - Technologie (Sciences appliquées) Exclu du prêt Systèmes temps réel embarqués
Titre : Systèmes temps réel embarqués : spécification, conception, implémentation et validation temporelle Type de document : texte imprimé Mention d'édition : 2e éd. Editeur : Paris : Dunod Année de publication : DL 2014 Collection : Collection Technique & ingénierie. Automatique et réseaux Sous-collection : Automatique et réseaux Importance : 1 vol. (XI-626 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-071331-8 Prix : 85 EUR Note générale : ASIN : B00TECPHR6
Éditeur : Dunod (5 novembre 2014)
Langue : Français
Taille du fichier : 26678 KB
Synthèse vocale : Non activée
Confort de lecture : Non activé
Word Wise : Non activéLangues : Français (fre) Mots-clés : systèmes embarqués aadl système d'exploitation systèmes multitâches temps réel Index. décimale : 004 Traitement des Données Résumé : Cet ouvrage de référence sur les systèmes temps réel permet de :
• Connaître et me re en oeuvre les méthodes de spécifi cation et de conception,
• Défi nir et paramétrer l’environnement d’exécution des systèmes,
• Réaliser une implantation multitâche basée sur un noyau temps réel,
• Développer l’application en C, Ada ou Labview.
Cette deuxième édition a été mise à jour en introduisant l’utilisation de SysML (System Modeling Language) pour la spécifi cation fonctionnelle et du langage AADL (Architecture Analysis and Design Language) qui permet de passer des spécifi cations fonctionnelles aux architectures matérielles et logicielles.
Biographie de l'auteur
Professeur émérite au LIAS à l'ISAE-ENSMA et conseiller scientifique au Hcéres.
Professeur à l'ISAE-ENSMA (Poitiers) et directeur adjoint du laboratoire LIAS (Laboratoire d'informatique et d'automatique pour les systèmes).Note de contenu : Annexes a-b-c-d
IndexSystèmes temps réel embarqués : spécification, conception, implémentation et validation temporelle [texte imprimé] . - 2e éd. . - Paris : Dunod, DL 2014 . - 1 vol. (XI-626 p.) : ill. ; 24 cm. - (Collection Technique & ingénierie. Automatique et réseaux. Automatique et réseaux) .
ISBN : 978-2-10-071331-8 : 85 EUR
ASIN : B00TECPHR6
Éditeur : Dunod (5 novembre 2014)
Langue : Français
Taille du fichier : 26678 KB
Synthèse vocale : Non activée
Confort de lecture : Non activé
Word Wise : Non activé
Langues : Français (fre)
Mots-clés : systèmes embarqués aadl système d'exploitation systèmes multitâches temps réel Index. décimale : 004 Traitement des Données Résumé : Cet ouvrage de référence sur les systèmes temps réel permet de :
• Connaître et me re en oeuvre les méthodes de spécifi cation et de conception,
• Défi nir et paramétrer l’environnement d’exécution des systèmes,
• Réaliser une implantation multitâche basée sur un noyau temps réel,
• Développer l’application en C, Ada ou Labview.
Cette deuxième édition a été mise à jour en introduisant l’utilisation de SysML (System Modeling Language) pour la spécifi cation fonctionnelle et du langage AADL (Architecture Analysis and Design Language) qui permet de passer des spécifi cations fonctionnelles aux architectures matérielles et logicielles.
Biographie de l'auteur
Professeur émérite au LIAS à l'ISAE-ENSMA et conseiller scientifique au Hcéres.
Professeur à l'ISAE-ENSMA (Poitiers) et directeur adjoint du laboratoire LIAS (Laboratoire d'informatique et d'automatique pour les systèmes).Note de contenu : Annexes a-b-c-d
IndexRéservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité ST19528 004/28.1 Ouvrage Faculté des Sciences et de la Technologie 000 - Informatique, information, ouvrages généraux Exclu du prêt ST19529 004/28.2 Ouvrage Faculté des Sciences et de la Technologie 000 - Informatique, information, ouvrages généraux Disponible