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