Documents disponibles écrits par cet auteur

Modélisation et analyse de systèmes embarqués

Public ISBD Titre : Modélisation et analyse de systèmes embarqués Type de document : texte imprimé Auteurs : Kordon, Fabrice, Directeur de publication, rédacteur en chef ; Jérôme Hugues, Directeur de publication, rédacteur en chef ; Agusti Canals, Directeur de publication, rédacteur en chef Editeur : Paris : Hermès Science Année de publication : 2013 Autre Editeur : Paris : Lavoisier 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, rédacteur en chef ; Jérôme Hugues, Directeur de publication, rédacteur en chef ; Agusti Canals, Directeur de publication, rédacteur en chef . - Hermès Science : Paris : Lavoisier, 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

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
055618	004.4 MOD	Papier	Bibliothèque Centrale	Informatique	Disponible	Consultation sur place

Systèmes répartis en action

Public ISBD Titre : Systèmes répartis en action : de l'embarqué aux systèmes à large échelle Type de document : texte imprimé Auteurs : Kordon, Fabrice, Editeur scientifique ; Pautet, Laurent, Editeur scientifique ; Petrucci, Laure, Editeur scientifique Editeur : Paris : Hermès Science Année de publication : 2008 Autre Editeur : Paris : Lavoisier Collection : Traité IC2 Sous-collection : Informatique et systèmes d'information Importance : 284-XII p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-1943-4 Note générale : Bibliogr. en fin de chapitres. Index Langues : Français (fre) Mots-clés : Traitement  réparti Systèmes  enfouis  (informatique) Systèmes  de  grandes  dimensions Index. décimale : 681.52 Systèmes et controles de commandes automatique suivant le principe d'action Résumé : Depuis l'invention d'Internet, les systèmes répartis, dont l'exécution se déroule simultanément sur plusieurs machines, ont connu un essor considérable. Actuellement, bien des aspects de notre vie quotidienne sont gérés par de tels systèmes. L'objectif de cet ouvrage est de présenter les principaux problèmes posés par la conception de tels systèmes dans différents domaines clés : les systèmes embarqués répartis (par exemple dans le domaine spatial), les nouveaux problèmes posés par la sécurité dans ces systèmes, et enfin, les nouveaux algorithmes que l'on doit construire lorsque le nombre de machines supportant leur exécution est important (on parle alors de "large échelle"). Nous avons délibérément choisi de présenter les systèmes répartis "en action", c'est-à-dire par l'exemple. Ainsi, cet ouvrage expose différents aspects de leur mode de fonctionnement en nous appuyant intensivement sur des applications concrètes. Les auteurs des différents chapitres mettent donc en situation les problèmes, les techniques et les algorithmes du domaine. Le présent ouvrage s'adresse à des ingénieurs ou des étudiants en Master-2, déjà familiarisés avec la programmation et l'algorithmique, désireux d'acquérir une vision d'ensemble sur les systèmes répartis Note de contenu : 1- Introduction générale 2- Introduction au temps-réel réparti embarqué 3- L'aérospatial dans le concret 4- Du modèle à la plate-forme 5- La gestion du trafic aérien 6- Introduction à la sécurité dans les systèmes répartis Systèmes répartis en action : de l'embarqué aux systèmes à large échelle [texte imprimé] / Kordon, Fabrice, Editeur scientifique ; Pautet, Laurent, Editeur scientifique ; Petrucci, Laure, Editeur scientifique . -  : Paris : Lavoisier, 2008 . - 284-XII p. : ill. ; 24 cm. - (. Informatique et systèmes d'information) . ISBN : 978-2-7462-1943-4 Bibliogr. en fin de chapitres. Index Langues : Français (fre) Mots-clés : Traitement  réparti Systèmes  enfouis  (informatique) Systèmes  de  grandes  dimensions Index. décimale : 681.52 Systèmes et controles de commandes automatique suivant le principe d'action Résumé : Depuis l'invention d'Internet, les systèmes répartis, dont l'exécution se déroule simultanément sur plusieurs machines, ont connu un essor considérable. Actuellement, bien des aspects de notre vie quotidienne sont gérés par de tels systèmes. L'objectif de cet ouvrage est de présenter les principaux problèmes posés par la conception de tels systèmes dans différents domaines clés : les systèmes embarqués répartis (par exemple dans le domaine spatial), les nouveaux problèmes posés par la sécurité dans ces systèmes, et enfin, les nouveaux algorithmes que l'on doit construire lorsque le nombre de machines supportant leur exécution est important (on parle alors de "large échelle"). Nous avons délibérément choisi de présenter les systèmes répartis "en action", c'est-à-dire par l'exemple. Ainsi, cet ouvrage expose différents aspects de leur mode de fonctionnement en nous appuyant intensivement sur des applications concrètes. Les auteurs des différents chapitres mettent donc en situation les problèmes, les techniques et les algorithmes du domaine. Le présent ouvrage s'adresse à des ingénieurs ou des étudiants en Master-2, déjà familiarisés avec la programmation et l'algorithmique, désireux d'acquérir une vision d'ensemble sur les systèmes répartis Note de contenu : 1- Introduction générale 2- Introduction au temps-réel réparti embarqué 3- L'aérospatial dans le concret 4- Du modèle à la plate-forme 5- La gestion du trafic aérien 6- Introduction à la sécurité dans les systèmes répartis

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
052043	681.52 SYS	Papier	Bibliothèque Centrale	Informatique	Disponible