Documents disponibles écrits par cet auteur

Introduction aux systèmes embarqués en temps réel / Emmanuel Grolleau

Public ISBD Titre : Introduction aux systèmes embarqués en temps réel : conception et mise en oeuvre, cours et exercices corrigés études de cas Type de document : texte imprimé Auteurs : Emmanuel Grolleau, Auteur ; Jérôme Hugues, Auteur ; Yassine Ouhammou, Auteur Editeur : Paris : Dunod Année de publication : 2018 Collection : Sciences Sup Importance : 323 p. Présentation : couv. ill. en coul., ill. Format : 23,9 cm. ISBN/ISSN/EAN : 978-2-10-078527-8 Langues : Français (fre) Index. décimale : 24-04 Applications des microsystèmes et des micro-ordinateurs 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. Les plus -Une méthodologie efficace qui part d'un cas concret pour introduire les concepts et les méthodes, inspirée des procédés de conception logicielle en aéronautique, en utilisant l'outillage Capella et le standard SAE AADL -De nombreux exercices corrigés -Des exemptes de code téléchargeables -Une introduction à l'ingénierie dirigée par les modèles : métamodélisation, langages dédiés, transformation de modèles et génération automatique de code Note de contenu : Table des matières Partie 1 Introduction à la conception par l'exemple Chapitre 1 Présentation du système exemple Chapitre 2 Programmation séquentielle Chapitre 3 Utilisation des interruptions matérielles Chapitre 4 Exécution cyclique Chapitre 5 Programmation multitâche Partie 2 Les concepts présentés à travers une étude de cas détaillée Chapitre 6 Spécification fonctionnelle Chapitre 7 Conception multitâche par la méthode des rythmes Chapitre 8 Impacts d’un changement de spécification et tolérance aux fautes Chapitre 9 Implémentation POSIX avec simulateur Chapitre 10 Génération automatique de code depuis AADL Chapitre 11 Validation temporelle du système Chapitre 12 De la conception des systèmes à la conception des modèles : une utilisation avancée des modèles -Index Introduction aux systèmes embarqués en temps réel : conception et mise en oeuvre, cours et exercices corrigés études de cas [texte imprimé] / Emmanuel Grolleau, Auteur ; Jérôme Hugues, Auteur ; Yassine Ouhammou, Auteur . - Paris : Dunod, 2018 . - 323 p. : couv. ill. en coul., ill. ; 23,9 cm.. - (Sciences Sup) . ISBN : 978-2-10-078527-8 Langues : Français (fre) Index. décimale : 24-04 Applications des microsystèmes et des micro-ordinateurs 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. Les plus -Une méthodologie efficace qui part d'un cas concret pour introduire les concepts et les méthodes, inspirée des procédés de conception logicielle en aéronautique, en utilisant l'outillage Capella et le standard SAE AADL -De nombreux exercices corrigés -Des exemptes de code téléchargeables -Une introduction à l'ingénierie dirigée par les modèles : métamodélisation, langages dédiés, transformation de modèles et génération automatique de code Note de contenu : Table des matières Partie 1 Introduction à la conception par l'exemple Chapitre 1 Présentation du système exemple Chapitre 2 Programmation séquentielle Chapitre 3 Utilisation des interruptions matérielles Chapitre 4 Exécution cyclique Chapitre 5 Programmation multitâche Partie 2 Les concepts présentés à travers une étude de cas détaillée Chapitre 6 Spécification fonctionnelle Chapitre 7 Conception multitâche par la méthode des rythmes Chapitre 8 Impacts d’un changement de spécification et tolérance aux fautes Chapitre 9 Implémentation POSIX avec simulateur Chapitre 10 Génération automatique de code depuis AADL Chapitre 11 Validation temporelle du système Chapitre 12 De la conception des systèmes à la conception des modèles : une utilisation avancée des modèles -Index

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	N.Inventaire
4080	24-04-31	Livre	Bibliothèque de Génie Electrique- USTO	Documentaires	Exclu du prêt	4080

Systèmes Temps Réel de Contrôle-Commande / Francis Cottet

Public ISBD Titre : Systèmes Temps Réel de Contrôle-Commande : Conception et implémentation Type de document : texte imprimé Auteurs : Francis Cottet, Auteur ; Emmanuel Grolleau, Auteur Editeur : Paris : Dunod Année de publication : 2005 Collection : Technique et ingénierie-EEA Importance : 559 p. Présentation : couv. ill.,ill. Format : 24,5 cm. ISBN/ISSN/EAN : 978-2-10-007893-6 Langues : Français (fre) Index. décimale : 25-07 Théorie de la commande: commandes des processus Résumé : Cet ouvrage présente une méthodologie complète et opérationnelle de développement des systèmes temps réel de contrôle-commande. Il permet au lecteur de : connaître et mettre en Å“uvre les méthodes de spécification et de conception ; définir et paramétrer l'environnement d'exécution des systèmes ; réaliser l'implémentation multitâche basée sur un noyau temps réel ; développer l'application en C, Ada ou LabviewTm. L'ouvrage fait également le point sur les dernières avancées dans le domaine des systèmes temps réel multitâches. De nombreux exemples industriels sont traités, permettant de comprendre puis de mettre en Å“uvre les principes de cette méthodologie de développement. Ce livre s'adresse à tous les ingénieurs ou techniciens concepteurs d'applications temps réel de contrôle-commande de procédés industriels. Il est également destiné aux étudiants en informatique industrielle. Note de contenu : Table des matiéres 1 Développement des systèmes de contrôle-commande. 2 Spécification selon la méthode SA-RT. 3 Conception selon la méthode DARTS. 4 Architectures systèmes. 5 Exécutifs temps réel. 6 Programmation des systèmes mutitâche. 7 Traitement complet d'une application industrielle. 8 Étude avancée des systèmes temps réel. Annexes. Bibliographie. Lexique anglais-français. Sigles. Index. Systèmes Temps Réel de Contrôle-Commande : Conception et implémentation [texte imprimé] / Francis Cottet, Auteur ; Emmanuel Grolleau, Auteur . - Paris : Dunod, 2005 . - 559 p. : couv. ill.,ill. ; 24,5 cm.. - (Technique et ingénierie-EEA) . ISBN : 978-2-10-007893-6 Langues : Français (fre) Index. décimale : 25-07 Théorie de la commande: commandes des processus Résumé : Cet ouvrage présente une méthodologie complète et opérationnelle de développement des systèmes temps réel de contrôle-commande. Il permet au lecteur de : connaître et mettre en Å“uvre les méthodes de spécification et de conception ; définir et paramétrer l'environnement d'exécution des systèmes ; réaliser l'implémentation multitâche basée sur un noyau temps réel ; développer l'application en C, Ada ou LabviewTm. L'ouvrage fait également le point sur les dernières avancées dans le domaine des systèmes temps réel multitâches. De nombreux exemples industriels sont traités, permettant de comprendre puis de mettre en Å“uvre les principes de cette méthodologie de développement. Ce livre s'adresse à tous les ingénieurs ou techniciens concepteurs d'applications temps réel de contrôle-commande de procédés industriels. Il est également destiné aux étudiants en informatique industrielle. Note de contenu : Table des matiéres 1 Développement des systèmes de contrôle-commande. 2 Spécification selon la méthode SA-RT. 3 Conception selon la méthode DARTS. 4 Architectures systèmes. 5 Exécutifs temps réel. 6 Programmation des systèmes mutitâche. 7 Traitement complet d'une application industrielle. 8 Étude avancée des systèmes temps réel. Annexes. Bibliographie. Lexique anglais-français. Sigles. Index.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	N.Inventaire
535	25-07-18	Livre	Bibliothèque de Génie Electrique- USTO	Documentaires	Exclu du prêt	535

Systèmes temps réel embarqués / Francis Cottet

Public ISBD Titre : Systèmes temps réel embarqués : spécification, conception, implémentation et validation temporelle Type de document : texte imprimé Auteurs : Francis Cottet, Auteur ; Emmanuel Grolleau, Auteur ; Sébastien Gérard, Auteur Mention d'édition : 2 ème ed. Editeur : Paris : Tec & Doc / Lavoisier Année de publication : 2014 Collection : Collection Technique & Ingénierie - Automatique et réseaux Importance : 626 p. Présentation : couv. ill. en coul., ill. Format : 23,9 cm. ISBN/ISSN/EAN : 978-2-10-071331-8 Langues : Français (fre) Index. décimale : 25-01 Logique combinatoire et séquentielle Résumé : Cet ouvrage de référence sur les systèmes temps réel permet de : • Connaître et mettre en oeuvre les méthodes de spécification et de conception, • Définir 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écification fonctionnelle et du langage AADL (Architecture Analysis and Design Language) qui permet de passer des spécifications fonctionnelles aux architectures matérielles et logicielles. Points forts : Une méthodologie opérationnelle de développement de systèmes temps réels embarqués critiques passant à l’échelle. Des exemples tirés de l’industrie Une présentation de SysML et des IBD Une mise en oeuvre du langage AADL (Architecture analysis ans ddesign language) Note de contenu : Sommaire Chapitre 1: Développement des systèmes de contrôle-commande Chapitre 2: Spécification selon la méthode EAST-ADL (automobile) Chapitre 3: Conception selon la méthode AADL (avionique) Chapitre 4: Architectures systèmes Chapitre 5: Les exécutifs temps réel Chapitre 6: Programmation des systèmes multitâches Chapitre 7: Traitement complet d'une application industrielle Chapitre 8: Étude avancée des systèmes informatiques multitâches et temps réel Annexes Annexe A: Représentation de l'information Annexe B: Module de boîtes aux lettres POSIX Annexe C: Module générique de gestion e files bornées de messages en Ada Annexe C: Module de communication Ada Index Systèmes temps réel embarqués : spécification, conception, implémentation et validation temporelle [texte imprimé] / Francis Cottet, Auteur ; Emmanuel Grolleau, Auteur ; Sébastien Gérard, Auteur  . -  2 ème ed. . - Paris : Tec & Doc / Lavoisier, 2014 . - 626 p. : couv. ill. en coul., ill. ; 23,9 cm.. - (Collection Technique & Ingénierie - Automatique et réseaux) . ISBN : 978-2-10-071331-8 Langues : Français (fre) Index. décimale : 25-01 Logique combinatoire et séquentielle Résumé : Cet ouvrage de référence sur les systèmes temps réel permet de : • Connaître et mettre en oeuvre les méthodes de spécification et de conception, • Définir 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écification fonctionnelle et du langage AADL (Architecture Analysis and Design Language) qui permet de passer des spécifications fonctionnelles aux architectures matérielles et logicielles. Points forts : Une méthodologie opérationnelle de développement de systèmes temps réels embarqués critiques passant à l’échelle. Des exemples tirés de l’industrie Une présentation de SysML et des IBD Une mise en oeuvre du langage AADL (Architecture analysis ans ddesign language) Note de contenu : Sommaire Chapitre 1: Développement des systèmes de contrôle-commande Chapitre 2: Spécification selon la méthode EAST-ADL (automobile) Chapitre 3: Conception selon la méthode AADL (avionique) Chapitre 4: Architectures systèmes Chapitre 5: Les exécutifs temps réel Chapitre 6: Programmation des systèmes multitâches Chapitre 7: Traitement complet d'une application industrielle Chapitre 8: Étude avancée des systèmes informatiques multitâches et temps réel Annexes Annexe A: Représentation de l'information Annexe B: Module de boîtes aux lettres POSIX Annexe C: Module générique de gestion e files bornées de messages en Ada Annexe C: Module de communication Ada Index

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	N.Inventaire
3828	25-01-36	Livre	Bibliothèque de Génie Electrique- USTO	Documentaires	Exclu du prêt	3828
3829	25-01-36	Livre	Bibliothèque de Génie Electrique- USTO	Documentaires	Exclu du prêt	3829
3830	25-01-36	Livre	Bibliothèque de Génie Electrique- USTO	Documentaires	Exclu du prêt	3830