[photo d'un système] Schéma ordonnancement XML Évaluation Code C Modélisation Solution GÉNÉRATEUR AUTOMATIQUE DE CODE pour OUTIL DE MODÉLISATION-IMPLANTATION.

Présentation au sujet: "[photo d'un système] Schéma ordonnancement XML Évaluation Code C Modélisation Solution GÉNÉRATEUR AUTOMATIQUE DE CODE pour OUTIL DE MODÉLISATION-IMPLANTATION."— Transcription de la présentation:

1 [photo d'un système] Schéma ordonnancement XML Évaluation Code C Modélisation Solution GÉNÉRATEUR AUTOMATIQUE DE CODE pour OUTIL DE MODÉLISATION-IMPLANTATION LOGICIELLE

2 GÉNÉRATEUR AUTOMATIQUE DE CODE pour OUTIL DE MODÉLISATION-IMPLANTATION LOGICIELLE Système à commander (moteur) Système à commander (moteur) Modélisation Algorithme de contrôle graphe tâches, IC, (graphe tâches, IC, dépendance de données) Algorithme de contrôle graphe tâches, IC, (graphe tâches, IC, dépendance de données) XML (macro-code) XML (macro-code) processeur XSLT Java Java processeur XSLT langage C Code C-RTAI - implantation sur processeur (photo) - comportement du système (courbe d'évolution des grandeurs physiques à contrôler) - chronogramme d'exécution des tâches - implantation sur processeur (photo) - comportement du système (courbe d'évolution des grandeurs physiques à contrôler) - chronogramme d'exécution des tâches XSL SPÉCIFICATION GÉNÉRATION DE CODE ÉVALUATION

3 GÉNÉRATEUR AUTOMATIQUE DE CODE pour OUTIL DE MODÉLISATION-IMPLANTATION LOGICIELLE Java processeur XSLT langage C-RTAI - implantation sur processeur (photo) - comportement du système (courbe d'évolution des grandeurs physiques à contrôler) - chronogramme d'exécution des tâches - implantation sur processeur (photo) - comportement du système (courbe d'évolution des grandeurs physiques à contrôler) - chronogramme d'exécution des tâches SPÉCIFICATION GÉNÉRATION DE CODE ÉVALUATION Un «macro-code » en langage XML est généré. Il décrit l'algorithme de contrôle spécifié. Code C-RTAI Système à commander OBJECTIF : développer un outil permettant de générer automatiquement du code informatique destiné à être implémenté sur un calculateur afin d'exécuter une loi de commande CONTEXTE : la conception des systèmes temps réel de contrôle embarqués 1ère étape : modéliser le système et définir un algorithme de contrôle Modélisation Algorithme de contrôle : la loi de commande est découpée en tâches qui seront exécutées séquentiellement. Chaque tâche est, d'un point de vue logicielle, composée de une ou plusieurs fonctions Tâche 1Tâche 2 Tâche 3 Projet ESIEE 4ème année Majeure Systèmes Embarqués / Étudiants : Idvig DAL – Nicolas LEHUCHER Suiveur : Rémi KOCIK – Laboratoire COSI entrée 1 entrée 2 sortie 1 sortie 2 processeur XSLT langage C-RTAI

4 Projet ESIEE 4ème année Majeure Systèmes Embarqués / Étudiants : Idvig DAL – Nicolas LEHUCHER Suiveur : Rémi KOCIK – Laboratoire COSI GÉNÉRATEUR AUTOMATIQUE DE CODE POUR OUTIL DE MODÉLISATION-IMPLANTATION LOGICIELLE SPÉCIFICATION Système à commander OBJECTIF : développer un outil permettant de générer automatiquement du code informatique destiné à être implémenté sur un calculateur afin d'exécuter une loi de commande CONTEXTE : la conception des systèmes temps réel de contrôle embarqués 1ère étape : modéliser le système et définir un algorithme de contrôle Modélisation Algorithme de contrôle : la loi de commande est découpée en tâches qui seront exécutées séquentiellement. Chaque tâche est, d'un point de vue logiciel, composée de une ou plusieurs fonctions Tâche 1Tâche 2 Tâche 3 entrée 1 entrée 2 sortie 1 sortie 2 GÉNÉRATION DE CODE Un «macro-code » écrit en langage XML est généré. Il décrit l'algorithme de contrôle spécifié. ÉVALUATION Un autre code, écrit en langage XSL, interprète le code XML et génère le code source dans le langage désiré (C, Java, etc.) 2ème étape : transformer la modélisation en code informatique processeur XSLT Java processeur XSLT C-RTAI 3ème étape : évaluer l'exécution, sur le calculateur, du code généré Analyse temporelle : chronogrammes d'exécution des tâches Analyse, en fonction de l'ordonnancement, de l'évolution de la grandeur physique à contrôler Cible sur laquelle le code est implémenté XML XSL JAVA Temps Réel C-RTAI

5 Projet ESIEE 4ème année Majeure Systèmes Embarqués / Étudiants : Idvig DAL – Nicolas LEHUCHER Suiveur : Rémy KOCIK – Laboratoire COSI GÉNÉRATEUR AUTOMATIQUE DE CODE POUR OUTIL DE MODÉLISATION-IMPLANTATION LOGICIELLE SPÉCIFICATION Système à commander OBJECTIF : développer un outil permettant de générer automatiquement du code informatique destiné à être implémenté sur un calculateur afin d'exécuter une loi de commande CONTEXTE : la conception des systèmes temps réel de contrôle embarqués 1ère étape : modéliser le système et définir un algorithme de contrôle Modélisation Algorithme de contrôle : la loi de commande est découpée en tâches qui seront exécutées séquentiellement. Chaque tâche est, d'un point de vue logiciel, composée de une ou plusieurs fonctions Tâche 1Tâche 2 Tâche 3 entrée 1 entrée 2 sortie 1 sortie 2 GÉNÉRATION DE CODE Un «macro-code » écrit en langage XML est généré. Il décrit l'algorithme de contrôle spécifié. ÉVALUATION 2ème étape : transformer la modélisation en code informatique processeur XSLT Java Analyse temporelle : chronogrammes d'exécution des tâches Analyse, en fonction de l'ordonnancement, de l'évolution de la grandeur physique à contrôler Cible sur laquelle le code est implémenté XML Un autre code, écrit en langage XSL, interprète le code XML et génère le code source dans le langage désiré (C, Java, etc.) XSL JAVA Temps Réel C-RTAI processeur XSLT C-RTAI 3ème étape : évaluer l'exécution, sur le calculateur, du code généré et modifier si nécessaire la modélisation et l'algorithme de contrôle

6 Projet ESIEE Dernière année Majeure Systèmes Embarqués / Étudiants : Idvig DAL – Nicolas LEHUCHER Suiveur : Rémy KOCIK – Laboratoire COSI GÉNÉRATEUR AUTOMATIQUE DE CODE POUR OUTIL DE MODÉLISATION-IMPLANTATION LOGICIELLE SPÉCIFICATION Système à commander OBJECTIF : développer un outil permettant de générer automatiquement du code informatique destiné à être implémenté sur un calculateur afin d'exécuter une loi de commande CONTEXTE : la conception des systèmes temps réel de contrôle embarqués 1ère étape : modéliser le système et définir un algorithme de contrôle Modélisation Algorithme de contrôle : la loi de commande est découpée en tâches qui seront exécutées séquentiellement. Chaque tâche est, d'un point de vue logiciel, composée de une ou plusieurs fonctions Tâche 1Tâche 2 Tâche 3 entrée 1 entrée 2 sortie 1 sortie 2 GÉNÉRATION DE CODE Un «macro-code » écrit en langage XML est généré. Il décrit l'algorithme de contrôle spécifié. ÉVALUATION 2ème étape : transformer la modélisation en code informatique processeur XSLT Java Analyse temporelle : chronogrammes d'exécution des tâches Analyse, en fonction de l'ordonnancement, de l'évolution de la grandeur physique à contrôler Cible sur laquelle le code est implémenté XML Un autre code, écrit en langage XSL, interprète le code XML et génère le code source dans le langage désiré (C, Java, etc.) XSL JAVA Temps Réel C-RTAI processeur XSLT C-RTAI 3ème étape : évaluer l'exécution, sur le calculateur, du code généré et modifier si nécessaire la modélisation et l'algorithme de contrôle