Introduction aux systèmes embarqués temps réel Fondamentaux et études de cas

Introduction aux systèmes embarqués temps réel

Fondamentaux et études de cas

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

Détails du livre

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

Commentaires

Il n'y pas encore de commentaire pour ce livre.

Vous aimerez aussi

,

PDF

PDF