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).

Sommaire de l'ouvrage

Présentation du système exemple. Programmation séquentielle. Utilisation des interruptions matérielles. Exécution cyclique. Programmation multitâche. Étude de cas : mine d’extraction. Étude de cas sur robot NXT. Introduction à l’utilisation avancée de modèles.