Introduction aux systèmes embarqués temps réel - Fondamentaux et études de cas
Conception et mise en oeuvre
Coll. Sciences Sup

Authors:

Language: French

32.00 €

In Print (Delivery period: 5 days).

Add to cartAdd to cart
Publication date:
336 p. · 17x24 cm · Paperback
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).

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.

Professeur à l'ISAE-ENSMA (Poitiers) et directeur adjoint du laboratoire LIAS (Laboratoire d'informatique et d'automatique pour les systèmes).
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.