الفهرس الالي لمكتبة كلية العلوم و علوم التكنولوجيا
Résultat de la recherche
3 résultat(s) recherche sur le mot-clé 'systèmes embarqués'
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 Réseaux de communication pour systèmes embarqués / Dominique Paret
Titre : Réseaux de communication pour systèmes embarqués : CAN, CANFD, LIN, FlexRay, Ethernet Type de document : texte imprimé Auteurs : Dominique Paret, Auteur ; Hassina Rebaine, Auteur Mention d'édition : 2ème éd. Editeur : Paris : Dunod Année de publication : DL 2014 Collection : Technique et ingénierie. Série EEA Sous-collection : Série EEA Importance : 1 vol. (XII-492 p.) Présentation : ill., couv. ill. en coul. Format : 24 *17cm ISBN/ISSN/EAN : 978-2-10-070606-8 Prix : 69 EUR Note générale : Éditeur : Dunod; $ {number}nd édition (19 octobre 2018)
Langue : Français
Broché : 506 pages
ISBN-10 : 2100790722
ISBN-13 : 978-2100790722
Poids de l'article : 820 g
Dimensions : 17 x 2.7 x 24 cmLangues : Français (fre) Mots-clés : Réseaux de communication systèmes embarqués CAN CANFD LIN FlexRay Ethernet flexray safe-by-wire Index. décimale : 621.3 Résumé : Cet ouvrage décrit les différents types de réseaux multiplexés présents dans de multiples domaines industriels (commande de machine-outils, de lignes de production, automobile, avionique, etc.). Il se compose de deux parties. La première traite du bus CAN, des possibles subdivisions de ses couches physiques, des problèmes de conformité, de ses couches applicatives (CAL, CAN Open, OSEK...). Les principes et les contenus des protocoles TTCAN et FlexRay sont également traités.
La seconde décrit en détail le bus LIN. Elle expose ses fondements, ses particularités, ses problèmes de mise en oeuvre et la manière de les résoudre. Le Safe-by-Wire est traité dans le cadre de son application dans les systèmes de communication des commandes d'airbag. L'ouvrage se termine par une description des très nombreux bus et liaisons employés aujourd'hui dans l'industrie. Cette 2e édition comporte des mises à jour sur FlexRay V3, sur les réseaux CAN et CAN FD et sur les réseaux Ethernet/Open Alliance.Note de contenu : Bibliogr. p. 484-487. Index Réseaux de communication pour systèmes embarqués : CAN, CANFD, LIN, FlexRay, Ethernet [texte imprimé] / Dominique Paret, Auteur ; Hassina Rebaine, Auteur . - 2ème éd. . - Paris : Dunod, DL 2014 . - 1 vol. (XII-492 p.) : ill., couv. ill. en coul. ; 24 *17cm. - (Technique et ingénierie. Série EEA. Série EEA) .
ISBN : 978-2-10-070606-8 : 69 EUR
Éditeur : Dunod; $ {number}nd édition (19 octobre 2018)
Langue : Français
Broché : 506 pages
ISBN-10 : 2100790722
ISBN-13 : 978-2100790722
Poids de l'article : 820 g
Dimensions : 17 x 2.7 x 24 cm
Langues : Français (fre)
Mots-clés : Réseaux de communication systèmes embarqués CAN CANFD LIN FlexRay Ethernet flexray safe-by-wire Index. décimale : 621.3 Résumé : Cet ouvrage décrit les différents types de réseaux multiplexés présents dans de multiples domaines industriels (commande de machine-outils, de lignes de production, automobile, avionique, etc.). Il se compose de deux parties. La première traite du bus CAN, des possibles subdivisions de ses couches physiques, des problèmes de conformité, de ses couches applicatives (CAL, CAN Open, OSEK...). Les principes et les contenus des protocoles TTCAN et FlexRay sont également traités.
La seconde décrit en détail le bus LIN. Elle expose ses fondements, ses particularités, ses problèmes de mise en oeuvre et la manière de les résoudre. Le Safe-by-Wire est traité dans le cadre de son application dans les systèmes de communication des commandes d'airbag. L'ouvrage se termine par une description des très nombreux bus et liaisons employés aujourd'hui dans l'industrie. Cette 2e édition comporte des mises à jour sur FlexRay V3, sur les réseaux CAN et CAN FD et sur les réseaux Ethernet/Open Alliance.Note de contenu : Bibliogr. p. 484-487. Index Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité ST285 621.3 /47.1 Ouvrage Faculté des Sciences et de la Technologie 600 - Technologie (Sciences appliquées) Exclu du prêt ST286 621.3/47.2 Ouvrage Faculté des Sciences et de la Technologie 600 - Technologie (Sciences appliquées) Disponible 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