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