Introduction aux systèmes embarqués temps réel - Fondamentaux et études de cas Conception et mise en oeuvre Coll. Sciences Sup
Auteurs : Grolleau Emmanuel, Hugues Jérôme, Ouhammou Yassine, Bauer Henri
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).
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.
Enseignant-chercheur à l'ISAE-SupAéro et expert de la norme AADL.
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.
Date de parution : 10-2018
Ouvrage de 336 p.
17x24 cm