OFFRE LISEUSES
Une liseuse achetée = une housse offerte* jusqu'au 21 juin
Introduction aux systèmes embarqués temps réel. Conception et mise en oeuvre
Par : , , ,Formats :
Expédié sous 127 jours
Cet article sera commandé chez un fournisseur et vous sera envoyé 127 jours après la date de votre commande.
- Paiement en ligne :
- Livraison à domicile ou en point Mondial Relay estimée à partir du 14 octobreCet article sera commandé chez un fournisseur et vous sera envoyé 127 jours après la date de votre commande.
- Retrait Click and Collect en magasin gratuit
- Livraison à domicile ou en point Mondial Relay estimée à partir du 14 octobre
- 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.
