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.
Introduction aux systèmes embarqués temps réel. Conception et mise en oeuvre
Par : , , ,Formats :
- Paiement en ligne :
- Livraison à domicile ou en point Mondial Relay estimée à partir du 17 septembreCet article sera commandé chez un fournisseur et vous sera envoyé 10 jours après la date de votre commande.
- Retrait Click and Collect en magasin gratuit
- Réservation en ligne avec paiement en magasin :
- Indisponible pour réserver et payer en magasin
- Nombre de pages326
- FormatGrand Format
- PrésentationBroché
- Poids0.57 kg
- Dimensions17,0 cm × 24,0 cm × 1,7 cm
- ISBN978-2-10-077842-3
- EAN9782100778423
- Date de parution24/10/2018
- CollectionSciences sup Sciences de l'ing
- ÉditeurDunod
- PréfacierChristophe Gatti
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.
L'éditeur en parle
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.
