| Titre : |
Introduction aux systèmes embarqués temps réel : conception et mise en oeuvre |
| Type de document : |
texte imprimé |
| Auteurs : |
Emmanuel Grolleau, Auteur ; Jérôme Hugues, Auteur ; Yassine Ouhammou, Auteur ; Henri Bauer, Auteur |
| Editeur : |
Paris ; Malakoff : Dunod |
| Année de publication : |
2018 |
| Collection : |
Sciences sup |
| Sous-collection : |
Sciences de l'ingénieur |
| Importance : |
X, 325 p. |
| Présentation : |
ill. |
| Format : |
24 cm |
| ISBN/ISSN/EAN : |
978-2-10-077842-3 |
| Note générale : |
La couv. porte en plus : cours, exercices corrigés, études de cas, IUT, Master, Écoles d'ingénieurs. - Index |
| Langues : |
Français (fre) |
| Mots-clés : |
Systèmes embarqués (informatique) -- Manuels d'enseignement supérieur
Commande en temps réel -- Manuels d'enseignement supérieur
Temps réel (informatique) -- Manuels d'enseignement supérieur |
| Index. décimale : |
004.031.43 Système en temps réel |
| 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. |
| Note de contenu : |
Au sommaire :
I. Introduction à la conception par l'exemple.
1. Présentation du système exemple.
2. Programmation séquentielle.
3. Utilisation des interruptions matérielles.
4. Exécution cyclique.
5. Programmation multitâche.
II. Les concepts présentés à travers une étude de cas détaillée.
6. Spécification fonctionnelle.
7. Conception multitâche par la méthode des rythmes.
8. Impacts d'un changement de spécification et tolérance aux fautes.
9. Implémentation POSIX avec simulateur.
10. Génération automatique de code depuis AADL.
11. Validation temporelle du système.
12. De la conception des systèmes à la conception des modèles : une utilisation avancée des modèles. |
Introduction aux systèmes embarqués temps réel : conception et mise en oeuvre [texte imprimé] / Emmanuel Grolleau, Auteur ; Jérôme Hugues, Auteur ; Yassine Ouhammou, Auteur ; Henri Bauer, Auteur . - Paris ; Malakoff : Dunod, 2018 . - X, 325 p. : ill. ; 24 cm. - ( Sciences sup. Sciences de l'ingénieur) . ISBN : 978-2-10-077842-3 La couv. porte en plus : cours, exercices corrigés, études de cas, IUT, Master, Écoles d'ingénieurs. - Index Langues : Français ( fre)
| Mots-clés : |
Systèmes embarqués (informatique) -- Manuels d'enseignement supérieur
Commande en temps réel -- Manuels d'enseignement supérieur
Temps réel (informatique) -- Manuels d'enseignement supérieur |
| Index. décimale : |
004.031.43 Système en temps réel |
| 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. |
| Note de contenu : |
Au sommaire :
I. Introduction à la conception par l'exemple.
1. Présentation du système exemple.
2. Programmation séquentielle.
3. Utilisation des interruptions matérielles.
4. Exécution cyclique.
5. Programmation multitâche.
II. Les concepts présentés à travers une étude de cas détaillée.
6. Spécification fonctionnelle.
7. Conception multitâche par la méthode des rythmes.
8. Impacts d'un changement de spécification et tolérance aux fautes.
9. Implémentation POSIX avec simulateur.
10. Génération automatique de code depuis AADL.
11. Validation temporelle du système.
12. De la conception des systèmes à la conception des modèles : une utilisation avancée des modèles. |
|  |
004 Informatique. Science et technologie de l'informatique
Ajouter le résultat dans votre panier Faire une suggestion Affiner la rechercheIntroduction aux systèmes embarqués temps réel (2018)
