Introduction aux systèmes embarqués temps réel. Conception et mise en oeuvre, Emmanuel Grolleau

Introduction aux systèmes embarqués temps réel. Conception et mise en oeuvre, Emmanuel Grolleau

€22.27

Categories: Informatique, Internet, Librairie, Savoirs Tag: Label Emmaüs Brand: Label Emmaüs

Description
Reviews (0)

Caractéristiques

Largeur17 cm

Hauteur24 cm

Épaisseur1.7 cm

LangueFrançais

AuteurEmmanuel Grolleau,Jérôme Hugues,Yassine OuhammouetHenri Bauer

Description

Introduction aux systèmes embarqués temps réel. Conception et mise en oeuvre En analysant des systèmes simples et concrets, cet ouvrage présente tous les concepts nécessaires à la compréhension des systèmes embarqués : programmation séquentielle, interruptions matérielles, programmation cyclique, programmation multitâche, langages de spécification et modélisation, langages spécifiques de domaine, implémentation sur exécutif temps réel et validation temporelle. La première partie part d’un exemple simple de système pour introduire les concepts et les méthodes, et la seconde propose des études de cas concrets avant de s’attacher aux apports de l’ingénierie dirigée par les modèles.

Résumé

En analysant des systèmes simples et concrets, cet ouvrage présente tous les concepts nécessaires à la compréhension des systèmes embarqués : programmation séquentielle, interruptions matérielles, programmation cyclique, programmation multitâche, langages de spécification et modélisation, langages spécifiques de domaine, implémentation sur exécutif temps réel et validation temporelle. La première partie part d’un exemple simple de système pour introduire les concepts et les méthodes, et la seconde propose des études de cas concrets avant de s’attacher aux apports de l’ingénierie dirigée par les modèles.

Biographie de l’auteur·rice

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-SUPAERO, responsable de [‘équipe IpSC et titulaire de la Chaire Thales/ARISE ; expert de la norme AADL. Yassine Ouhammou : Maître de conférences à l’ISAE-ENSMA et membre du laboratoire LIAS. Henri Bauer : Maître de conférences à l’ISAE-ENSMA et membre de l’équipe Temps-Réel du laboratoire LIAS.

Mots de l’éditeur·rice

Une méthodologie efficace qui part d’un cas concret pour introduire les concepts et les méthodes, inspirée des procédés de conception logicielle en aéronautique, en utilisant l’outillage Capella et le standard SAE AADL. De nombreux exercices corrigés. Des exemples de code téléchargeables. Une introduction à l’ingénierie dirigée par les modèles : métamodélisation, langages dédiés, transformation de modèles et génération automatique de code.