CONCEPTION D’UN NOYAU DE CALCUL POUR CONTROLE- COMMANDE TEMPS REEL DE LA MACHINE-TOUR
Des informations générales:
Le niveau |
Master |
Titre |
CONCEPTION D’UN NOYAU DE CALCUL POUR CONTROLE- COMMANDE TEMPS REEL DE LA MACHINE-TOUR |
SPECIALITE |
Génie Informatique |
Page de garde:
Sommaire:
Chapitre 01: Les systèmes de mesure embarqués
1.1 Introduction
1.2 Les systèmes de mesure
1.2.1 Définition
1.2.2 Quelque exemple d’appareils de mesure
1.3 Les microcontrôleurs
1.3.1 Définition
1.3.2 Les capteurs :
1.3.3 Interfaçage des capteurs avec les microcontrôleurs.
1.4 Conclusion
Chapitre 02: Les systèmes temps réel embarqués.
2.1 Introduction
2.2 Les systèmes embarqués
2.2.1 Définition
2.2.2 Architecture
2.2.3 Domaines d’applications.
2.2.4 Les concepts principaux d’un système embarqué :
2.2.5Caractéristiques de système embarqué
2.3 Les systèmes temps réel
2.3.1 Définition 01
2.3.2 Définition 02.
2.4 Les systèmes temps réel embarqués
2.4.1 Contraintes des systèmes embarqués en temps réel
2.5 La notion du multitâche.
2.5.1 Notion de processus.
2.6Conclusion
Chapitre 03: Méthode de développement d’un système temps réel embarqué.
3.1 Introduction
3.2 Développement des systèmes informatiques.
3.2.1 Cycle de vie d’un système.
3.2.2 Les modèles classiques de cycle de vie :
3.3 Les méthodes de spécification pour un système temps réel
3.3.1 La méthode SA-RT
3.3.2 Objectif de méthode SA-RT.
3.4 Les langages de conception pour un système temps réel
3.4.1 Le langage LACATRE
3.5 Les outils d’implémentation pour un système temps réel
3.5.1 Exécutif temps réel
3.5.2 Les Services offerts par un exécutif temps réel
3.6 Conclusion
Chapitre 04: Les plateformes matérielles et logicielles utilisées
4.1 Introduction
4.2 L’exécutif temps réel FreeRTOS.
4.2.1 Pourquoi FreeRTOS?.
4.2.2 Fonctionnalités de FreeRTOS:
4.2.2Algorithmes d’ordonnancement de FreeRTOS:
4.3 Les cartes ARDUINO
4.3.1 Pourquoi choisir Arduino ?.
4.3.2 Types de cartes
4.4 Conclusion
Chapitre 05: Étude de cas.
5.1 Introduction
5.2 Spécification informelle
5.2.1 Aspect matériel:
5.2.2 Aspect fonctionnel :
5.2.3 Les Paramètres de coupe [21]:.
5.2.4 Remarque:
5.3 Spécification formelle
5.3.1 Noyau :
5.3.1.1Spécification
5.3.1.2Conception
5.3.1.3 Test
5.3.2 Transaction du noyau à l’incrément 01:
5.3.2.1 Les nouvelles fonctionnalités :
5.3.3 Incrément 01:
5.3.3.1 Spécification
5.3.3.2 Conception.
5.3.3.3 Test.
5.3.3 Transaction du l’incrément 01à l’incrément 02.
5.3.3.1 Les nouvelles fonctionnalités.
5.3.4 Incrément 02
5.3.4.1 Spécification:
5.3.4.2 Conception
5.3.4.3 Test.
5.3.5 Transaction du l’incrément 02 à l’incrément 03
5.3.5.1 Les nouvelles fonctionnalités.
5.3.5.2 Système de lubrification
5.3.6 Incrément 03
5.3.6.1 Spécification:
5.3.6.2 Conception
5.3.6.3 Test
5.4 Mesure des métriques de complexité et de qualité.
5.5 Quelles sont les limites acceptables?
Conclusion générale.
Bibliographié
1.1 Introduction
1.2 Les systèmes de mesure
1.2.1 Définition
1.2.2 Quelque exemple d’appareils de mesure
1.3 Les microcontrôleurs
1.3.1 Définition
1.3.2 Les capteurs :
1.3.3 Interfaçage des capteurs avec les microcontrôleurs.
1.4 Conclusion
Chapitre 02: Les systèmes temps réel embarqués.
2.1 Introduction
2.2 Les systèmes embarqués
2.2.1 Définition
2.2.2 Architecture
2.2.3 Domaines d’applications.
2.2.4 Les concepts principaux d’un système embarqué :
2.2.5Caractéristiques de système embarqué
2.3 Les systèmes temps réel
2.3.1 Définition 01
2.3.2 Définition 02.
2.4 Les systèmes temps réel embarqués
2.4.1 Contraintes des systèmes embarqués en temps réel
2.5 La notion du multitâche.
2.5.1 Notion de processus.
2.6Conclusion
Chapitre 03: Méthode de développement d’un système temps réel embarqué.
3.1 Introduction
3.2 Développement des systèmes informatiques.
3.2.1 Cycle de vie d’un système.
3.2.2 Les modèles classiques de cycle de vie :
3.3 Les méthodes de spécification pour un système temps réel
3.3.1 La méthode SA-RT
3.3.2 Objectif de méthode SA-RT.
3.4 Les langages de conception pour un système temps réel
3.4.1 Le langage LACATRE
3.5 Les outils d’implémentation pour un système temps réel
3.5.1 Exécutif temps réel
3.5.2 Les Services offerts par un exécutif temps réel
3.6 Conclusion
Chapitre 04: Les plateformes matérielles et logicielles utilisées
4.1 Introduction
4.2 L’exécutif temps réel FreeRTOS.
4.2.1 Pourquoi FreeRTOS?.
4.2.2 Fonctionnalités de FreeRTOS:
4.2.2Algorithmes d’ordonnancement de FreeRTOS:
4.3 Les cartes ARDUINO
4.3.1 Pourquoi choisir Arduino ?.
4.3.2 Types de cartes
4.4 Conclusion
Chapitre 05: Étude de cas.
5.1 Introduction
5.2 Spécification informelle
5.2.1 Aspect matériel:
5.2.2 Aspect fonctionnel :
5.2.3 Les Paramètres de coupe [21]:.
5.2.4 Remarque:
5.3 Spécification formelle
5.3.1 Noyau :
5.3.1.1Spécification
5.3.1.2Conception
5.3.1.3 Test
5.3.2 Transaction du noyau à l’incrément 01:
5.3.2.1 Les nouvelles fonctionnalités :
5.3.3 Incrément 01:
5.3.3.1 Spécification
5.3.3.2 Conception.
5.3.3.3 Test.
5.3.3 Transaction du l’incrément 01à l’incrément 02.
5.3.3.1 Les nouvelles fonctionnalités.
5.3.4 Incrément 02
5.3.4.1 Spécification:
5.3.4.2 Conception
5.3.4.3 Test.
5.3.5 Transaction du l’incrément 02 à l’incrément 03
5.3.5.1 Les nouvelles fonctionnalités.
5.3.5.2 Système de lubrification
5.3.6 Incrément 03
5.3.6.1 Spécification:
5.3.6.2 Conception
5.3.6.3 Test
5.4 Mesure des métriques de complexité et de qualité.
5.5 Quelles sont les limites acceptables?
Conclusion générale.
Bibliographié
Télécharger:
Pour plus de
sources et références universitaires
(mémoires, thèses et articles
), consultez notre site principal.