Les Inscriptions à la Bibliothèque sont ouvertes en
ligne via le site: https://biblio.enp.edu.dz
Les Réinscriptions se font à :
• La Bibliothèque Annexe pour les étudiants en
2ème Année CPST
• La Bibliothèque Centrale pour les étudiants en Spécialités
A partir de cette page vous pouvez :
| Retourner au premier écran avec les recherches... |
Détail de l'auteur
Auteur Jérôme Hugues
Documents disponibles écrits par cet auteur
Faire une suggestion Affiner la rechercheIntroduction aux systèmes embarqués temps réel / Emmanuel Grolleau ; Jérôme Hugues ; Yassine Ouhammou ; Henri Bauer
Titre : Introduction aux systèmes embarqués temps réel : conception et mise en oeuvre Type de document : texte imprimé Auteurs : Emmanuel Grolleau, Auteur ; Jérôme Hugues, Auteur ; Yassine Ouhammou, Auteur ; Henri Bauer, Auteur Editeur : Paris : Dunod Année de publication : 2018 Collection : Sciences sup Sous-collection : Sciences de l'ingénieur Importance : X, 325 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-077842-3 Note générale : La couv. porte en plus : cours, exercices corrigés, études de cas, IUT, Master, Écoles d'ingénieurs. - Index Langues : Français (fre) Mots-clés : Systèmes embarqués (informatique) -- Manuels d'enseignement supérieur
Commande en temps réel -- Manuels d'enseignement supérieur
Temps réel (informatique) -- Manuels d'enseignement supérieurIndex. décimale : 004.031.43 Système en temps réel Résumé :
En analysant des systèmes simples et concrets, cet ouvrage présente tous les concepts nécessaires à la compréhension des systèmes embarqués : programmation séquentielle, interruptions matérielles, programmation cyclique, programmation multitâche, langages de spécification et modélisation, langages spécifiques de domaine, implémentation sur exécutif temps réel et validation temporelle. La première partie part d'un exemple simple de système pour introduire les concepts et les méthodes, et la seconde propose des études de cas concrets avant de s'attacher aux apports de l'ingénierie dirigée par les modèles.Note de contenu : Au sommaire :
I. Introduction à la conception par l'exemple.
1. Présentation du système exemple.
2. Programmation séquentielle.
3. Utilisation des interruptions matérielles.
4. Exécution cyclique.
5. Programmation multitâche.
II. Les concepts présentés à travers une étude de cas détaillée.
6. Spécification fonctionnelle.
7. Conception multitâche par la méthode des rythmes.
8. Impacts d'un changement de spécification et tolérance aux fautes.
9. Implémentation POSIX avec simulateur.
10. Génération automatique de code depuis AADL.
11. Validation temporelle du système.
12. De la conception des systèmes à la conception des modèles : une utilisation avancée des modèles.Introduction aux systèmes embarqués temps réel : conception et mise en oeuvre [texte imprimé] / Emmanuel Grolleau, Auteur ; Jérôme Hugues, Auteur ; Yassine Ouhammou, Auteur ; Henri Bauer, Auteur . - Dunod, 2018 . - X, 325 p. : ill. ; 24 cm. - (Sciences sup. Sciences de l'ingénieur) .
ISBN : 978-2-10-077842-3
La couv. porte en plus : cours, exercices corrigés, études de cas, IUT, Master, Écoles d'ingénieurs. - Index
Langues : Français (fre)
Mots-clés : Systèmes embarqués (informatique) -- Manuels d'enseignement supérieur
Commande en temps réel -- Manuels d'enseignement supérieur
Temps réel (informatique) -- Manuels d'enseignement supérieurIndex. décimale : 004.031.43 Système en temps réel Résumé :
En analysant des systèmes simples et concrets, cet ouvrage présente tous les concepts nécessaires à la compréhension des systèmes embarqués : programmation séquentielle, interruptions matérielles, programmation cyclique, programmation multitâche, langages de spécification et modélisation, langages spécifiques de domaine, implémentation sur exécutif temps réel et validation temporelle. La première partie part d'un exemple simple de système pour introduire les concepts et les méthodes, et la seconde propose des études de cas concrets avant de s'attacher aux apports de l'ingénierie dirigée par les modèles.Note de contenu : Au sommaire :
I. Introduction à la conception par l'exemple.
1. Présentation du système exemple.
2. Programmation séquentielle.
3. Utilisation des interruptions matérielles.
4. Exécution cyclique.
5. Programmation multitâche.
II. Les concepts présentés à travers une étude de cas détaillée.
6. Spécification fonctionnelle.
7. Conception multitâche par la méthode des rythmes.
8. Impacts d'un changement de spécification et tolérance aux fautes.
9. Implémentation POSIX avec simulateur.
10. Génération automatique de code depuis AADL.
11. Validation temporelle du système.
12. De la conception des systèmes à la conception des modèles : une utilisation avancée des modèles.Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 058022 004.031.43 INT Papier Bibliothèque Centrale Informatique Disponible Consultation sur place 058021 004.031.43 INT Papier Bibliothèque Centrale Informatique Disponible En bon état
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èleModé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èleExemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 055618 004.4 MOD Papier Bibliothèque Centrale Informatique Disponible Consultation sur place
