Introduction aux systèmes embarqués temps réel
Fondamentaux et études de cas
Emmanuel Grolleau
Jérôme Hugues
Yassine Ouhammou
Henri Bauer
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).
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).
Détails du livre
-
Éditeur
-
Texte original
Oui -
Langue
Français -
Langue d'origine
Français -
Date de publication
-
Nombre de pages
320 -
Thème
-
Collection
À propos de l'auteur
Emmanuel Grolleau
Professeur à l'ISAE-ENSMA (Poitiers) et directeur adjoint du laboratoire LIAS (Laboratoire d'informatique et d'automatique pour les systèmes).
Jérôme Hugues
Enseignant-chercheur à l'ISAE-SupAéro et expert de la norme AADL.
Yassine Ouhammou
Maître de conférences à l’ISAE-ENSMA et membre du Laboratoire d'informatique et d'automatique pour les systèmes. Il enseigne l’ingénierie dirigée par les modèles et les systèmes embarqués en cycle ingénieur à l’ISAE-ENSMA, au CNAM Aéronautique et en Master d'informatique de l’université de Poitiers.
Henri Bauer
Maître de conférences à l'ISAE-ENSMA et membre de l'équipe Temps-Réel du Laboratoire d'Informatique et d'Automatique pour les Systèmes. Il enseigne les systèmes embarqués et les systèmes avioniques en cycle ingénieur à l'ISAE-ENSMA et au CNAM Aéronautique.