Dunod Introduction aux systèmes embarqués temps réel - Fondamentaux et...

Introduction aux systèmes embarqués temps réel - Fondamentaux et études de cas Emmanuel Grolleau (Auteur) Jérôme Hugues (Auteur) Yassine Ouhammou (Auteur) - Paru le 10/24/2018 chez Dunod

Introduction aux systèmes embarqués temps réel Conception et mise en oeuvre 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 Le public Élèves ingénieurs en EEA, informatique, aéronautique et mécanique Étudiants en L3 et M1/M2 EEA, informatique, réseaux et télécommunications, robotique Étudiants en DUT génie électrique, informatique et informatique industrielle, Infocom, réseaux et télécommunications, mesures physiques Ingénieurs en conceptionfdéveloppement informatique embarquée en poste dans l'industrie

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 Le public Élèves ingénieurs en EEA, informatique, aéronautique et mécanique Étudiants en L3 et M1/M2 EEA, informatique, réseaux et télécommunications, robotique Étudiants en DUT génie électrique, informatique et informatique industrielle, Infocom, réseaux et télécommunications, mesures physiques Ingénieurs en conception-développement informatique embarquée en poste dans l'industrie

Un système embarqué est un dispositif électronique autonome dédié à une tâche précise (surveillance, contrôle, communication...) dont les domaines d'utilisation vont de l'automobile au multimédia, en passant par le secteur médical.  Cet ouvrage présente dans une première partie  tous les concepts nécessaires à la compréhension des systèmes embarqués  : programmation séquentielle, interruptions matérielles, programmation cyclique, conception multitâches, langages de spécifications, validation temporelle… Dans une seconde partie, les auteurs proposent desétudes de cas concrets et introduisent les apports de l’ingénierie dirigée par les modèles (Model2Text et Model2Model).