Description du livre
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).