FORTAS : Framework for Real-Time Analysis and Simulation

Dimension: px
Commencer à balayer dès la page:

Download "FORTAS : Framework for Real-Time Analysis and Simulation"

Transcription

1 FORTAS : Framework for Real-Time Analysis and Simulation Pierre Courbin LACSC - ECE Paris 12/03/2012 Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

2 Plan de la présentation 1 Introduction Pourquoi ce nouvel outil? 2 4 cas d utilisation Tester un ordonnancement Mono/Multiprocesseurs Voir/Simuler un ordonnancement Générer des tâches et des jeux de tâches Editer/Lancer des évaluations 3 Exemple : évaluer EDF Load P et DM RT P Coder EDF Load P et DM RT P dans FORTAS Définir les paramètres d évaluation Lancer l évaluation Obtenir les graphes 4 Conclusion et évolutions Questions Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

3 Plan de la présentation 1 Introduction Pourquoi ce nouvel outil? 2 4 cas d utilisation Tester un ordonnancement Mono/Multiprocesseurs Voir/Simuler un ordonnancement Générer des tâches et des jeux de tâches Editer/Lancer des évaluations 3 Exemple : évaluer EDF Load P et DM RT P Coder EDF Load P et DM RT P dans FORTAS Définir les paramètres d évaluation Lancer l évaluation Obtenir les graphes 4 Conclusion et évolutions Questions Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

4 Pourquoi ce nouvel outil? Un autre outil spécifique, inutile et complexe à utiliser? Pourquoi ce nouvel outil? Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

5 Pourquoi ce nouvel outil? Contexte Ses défauts et qualités : Pas commercial, libre et Open Source Pas parfait, ne répondant pas à tous les besoins Pas facile à utiliser Alors, pourquoi? Il n existe pas d outils permettant d automatiser l évaluation des algorithmes C est un Framework, donc dédié aux développeurs mais il propose une interface allégée Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

6 Pourquoi ce nouvel outil? Contexte Ses défauts et qualités : Pas commercial, libre et Open Source Pas parfait, ne répondant pas à tous les besoins Pas facile à utiliser Alors, pourquoi? Il n existe pas d outils permettant d automatiser l évaluation des algorithmes C est un Framework, donc dédié aux développeurs mais il propose une interface allégée Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

7 Pourquoi ce nouvel outil? Contexte Ses défauts et qualités : Pas commercial, libre et Open Source Pas parfait, ne répondant pas à tous les besoins Pas facile à utiliser Alors, pourquoi? Il n existe pas d outils permettant d automatiser l évaluation des algorithmes C est un Framework, donc dédié aux développeurs mais il propose une interface allégée Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

8 Pourquoi ce nouvel outil? Contexte Ses défauts et qualités : Pas commercial, libre et Open Source Pas parfait, ne répondant pas à tous les besoins Pas facile à utiliser Alors, pourquoi? Il n existe pas d outils permettant d automatiser l évaluation des algorithmes C est un Framework, donc dédié aux développeurs mais il propose une interface allégée Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

9 Pourquoi ce nouvel outil? Modèle basique de tâches et de processeurs Une tâche est indépendante, préemptive ou non préemptive. Elle est définie par, au moins, 3 paramètres : Son pire temps d exécution (WCET) Sa période, ou inter-arrivée (T) Sa deadline (D) Un processeur est défini par : Sa vitesse (S) Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

10 Plan de la présentation 1 Introduction Pourquoi ce nouvel outil? 2 4 cas d utilisation Tester un ordonnancement Mono/Multiprocesseurs Voir/Simuler un ordonnancement Générer des tâches et des jeux de tâches Editer/Lancer des évaluations 3 Exemple : évaluer EDF Load P et DM RT P Coder EDF Load P et DM RT P dans FORTAS Définir les paramètres d évaluation Lancer l évaluation Obtenir les graphes 4 Conclusion et évolutions Questions Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

11 Tester, Voir, Générer, Évaluer 4 cas d utilisation Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

12 Tester un ordonnancement Mono/Multiprocesseurs Mon jeu de tâches est-il ordonnançable sur cette plateforme? Tester un ordonnancement Mono/Multiprocesseurs Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

13 Tester un ordonnancement Mono/Multiprocesseurs Vous avez Un jeu de processeurs Un jeu de tâches Vous voulez Savoir si et comment ce jeu de tâches est ordonnançable sur cette plateforme Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

14 Tester un ordonnancement Mono/Multiprocesseurs Pour l ordonnancement multiprocesseurs, vous pouvez utilisez : Un ordonnancement partitionné Assigner les tâches sur les processeurs 1 problème à m processeurs devient m problèmes à 1 processeur. Un ordonnancement global Une seul file de tâches Les tâches sont autorisées à migrer entre les processeurs A ordonnancement semi-partitionné En mélange entre les méthodes partitionné et globale. Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

15 Tester un ordonnancement Mono/Multiprocesseurs Pour l ordonnancement multiprocesseurs, vous pouvez utilisez : Un ordonnancement partitionné Assigner les tâches sur les processeurs 1 problème à m processeurs devient m problèmes à 1 processeur. Un ordonnancement global Une seul file de tâches Les tâches sont autorisées à migrer entre les processeurs A ordonnancement semi-partitionné En mélange entre les méthodes partitionné et globale. Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

16 Tester un ordonnancement Mono/Multiprocesseurs Pour l ordonnancement multiprocesseurs, vous pouvez utilisez : Un ordonnancement partitionné Assigner les tâches sur les processeurs 1 problème à m processeurs devient m problèmes à 1 processeur. Un ordonnancement global Une seul file de tâches Les tâches sont autorisées à migrer entre les processeurs A ordonnancement semi-partitionné En mélange entre les méthodes partitionné et globale. Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

17 Tester un ordonnancement Mono/Multiprocesseurs Pour l ordonnancement multiprocesseurs, vous pouvez utilisez : Un ordonnancement partitionné Assigner les tâches sur les processeurs 1 problème à m processeurs devient m problèmes à 1 processeur. Un ordonnancement global Une seul file de tâches Les tâches sont autorisées à migrer entre les processeurs A ordonnancement semi-partitionné En mélange entre les méthodes partitionné et globale. Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

18 Tester un ordonnancement Mono/Multiprocesseurs Un ordonnancement partitionné : Focus sur l ordonnancement partitionné Critère de tri de tâches : les tâches sont tirée avant d être assignées sur les processeurs Heuristique de partitionnement : puisque le problème de placement est NP-Difficile, une heuristique permet de choisir sur quel processeur la tâche sera assignée. Test de faisabilité : nous avons besoin d un tester pour vérifier qu une tâche sera ordonnançable sur un processeur Ensuite, l exécution est gérée simplement par un ordonnanceur monoprocesseur. Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

19 Tester un ordonnancement Mono/Multiprocesseurs Un ordonnancement partitionné : Focus sur l ordonnancement partitionné Critère de tri de tâches : les tâches sont tirée avant d être assignées sur les processeurs Heuristique de partitionnement : puisque le problème de placement est NP-Difficile, une heuristique permet de choisir sur quel processeur la tâche sera assignée. Test de faisabilité : nous avons besoin d un tester pour vérifier qu une tâche sera ordonnançable sur un processeur Ensuite, l exécution est gérée simplement par un ordonnanceur monoprocesseur. Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

20 Tester un ordonnancement Mono/Multiprocesseurs Un ordonnancement partitionné : Focus sur l ordonnancement partitionné Critère de tri de tâches : les tâches sont tirée avant d être assignées sur les processeurs Heuristique de partitionnement : puisque le problème de placement est NP-Difficile, une heuristique permet de choisir sur quel processeur la tâche sera assignée. Test de faisabilité : nous avons besoin d un tester pour vérifier qu une tâche sera ordonnançable sur un processeur Ensuite, l exécution est gérée simplement par un ordonnanceur monoprocesseur. Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

21 Tester un ordonnancement Mono/Multiprocesseurs Un ordonnancement partitionné : Focus sur l ordonnancement partitionné Critère de tri de tâches : les tâches sont tirée avant d être assignées sur les processeurs Heuristique de partitionnement : puisque le problème de placement est NP-Difficile, une heuristique permet de choisir sur quel processeur la tâche sera assignée. Test de faisabilité : nous avons besoin d un tester pour vérifier qu une tâche sera ordonnançable sur un processeur Ensuite, l exécution est gérée simplement par un ordonnanceur monoprocesseur. Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

22 Tester un ordonnancement Mono/Multiprocesseurs Un ordonnancement partitionné : Focus sur l ordonnancement partitionné Critère de tri de tâches : les tâches sont tirée avant d être assignées sur les processeurs Heuristique de partitionnement : puisque le problème de placement est NP-Difficile, une heuristique permet de choisir sur quel processeur la tâche sera assignée. Test de faisabilité : nous avons besoin d un tester pour vérifier qu une tâche sera ordonnançable sur un processeur Ensuite, l exécution est gérée simplement par un ordonnanceur monoprocesseur. Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

23 Tester un ordonnancement Mono/Multiprocesseurs Un ordonnancement partitionné : Focus sur l ordonnancement partitionné Chaque partie est définie dans des classes indépendantes et abstraites pour faciliter la modularité 15 critères de tri de tâches 4 heuristiques de partitionnement (First-Fit, Best-Fit, Worst-Fit, Next-Fit) 10 tests de faisabilité A nouveau critère/heuristique/test peut être ajouté avec un fichier d environ lignes de codes Java. Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

24 Tester un ordonnancement Mono/Multiprocesseurs Exemple Création du jeu de tâches Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

25 Tester un ordonnancement Mono/Multiprocesseurs Exemple Création du jeu de processeurs Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

26 Tester un ordonnancement Mono/Multiprocesseurs Exemple Choisir un algorithme Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

27 Tester un ordonnancement Mono/Multiprocesseurs Exemple Résultats Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

28 Tester un ordonnancement Mono/Multiprocesseurs Exemple Résultats <?xml version="1.0" encoding="utf-8"?> <SystemsSets> <SystemSets name="mysystemsets"> <InfoAlgorithm algoname="dm_rt_p"> <HeuristicName value="first_fit" /> <IsSuccess value="true" type="boolean" /> <CriterionSortSetOfProcessors value="processor_none_order" type="processor_none_order" /> <CriterionSortSetOfTasks value="task_density_decreasing_order" type="task_density_decreasing_order" <TotalCPUTime value=" " type="bigdecimal" /> </InfoAlgorithm> <SetOfTasks> <Task> <Name value="t1" /> <WCET value="2" type="bigdecimal" /> <Period value="4" type="bigdecimal" /> <Deadline value="4" type="bigdecimal" /> <TaskAssignation name="p1" /> </Task> <Task> <Name value="t2" /> <WCET value="2" type="bigdecimal" /> <Period value="4" type="bigdecimal" /> <Deadline value="4" type="bigdecimal" /> <TaskAssignation name="p1" /> </Task> Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

29 Tester un ordonnancement Mono/Multiprocesseurs Exemple Résultats <Task> <Name value="t3" /> <WCET value="2" type="bigdecimal" /> <Period value="4" type="bigdecimal" /> <Deadline value="4" type="bigdecimal" /> <TaskAssignation name="p2" /> </Task> </SetOfTasks> <SetOfProcessors> <Processor> <Name value="p1" /> <ProcessorTaskAssignation> <Task name="t1" /> <Task name="t2" /> </ProcessorTaskAssignation> </Processor> <Processor> <Name value="p2" /> <ProcessorTaskAssignation> <Task name="t3" /> </ProcessorTaskAssignation> </Processor> </SetOfProcessors> </SystemSets> </SystemsSets> Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

30 Voir/Simuler un ordonnancement Et si je lance l ordonnancement, à quoi ça ressemble? Voir/Simuler un ordonnancement Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

31 Voir/Simuler un ordonnancement Exemple : A partir des résultats précédents Quelques ordonnanceurs : Famille PFair et RUN Deadline Monotonic (DM) Rate Monotonic (RM) Earliest Deadline First (EDF) Least laxity First (LLF) Chacun peut être utilisé pour un ordonnancement monoprocesseur ou global. Un nouvel ordonnanceur est un fichier d environ lignes de code. Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

32 Voir/Simuler un ordonnancement Exemple : A partir des résultats précédents Quelques ordonnanceurs : Famille PFair et RUN Deadline Monotonic (DM) Rate Monotonic (RM) Earliest Deadline First (EDF) Least laxity First (LLF) Chacun peut être utilisé pour un ordonnancement monoprocesseur ou global. Un nouvel ordonnanceur est un fichier d environ lignes de code. Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

33 Générer des tâches et des jeux de tâches Je prendrais jeux de tâches s il vous plaît, sur place. Générer des tâches et des jeux de tâches Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

34 Générer des tâches et des jeux de tâches Le générateur de tâche est basé sur : Un type de deadline (implicite, contrainte ou arbitraire) Une distribution de probabilité pour générer l utilisation de la tâche (uniforme etc) Un intervalle pour générer les valeurs des périodes et des deadlines Les générateur de jeux de tâches sont basés sur : Procédure UUnifast Procédure proposée par T. Baker Besoins particuliers etc Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

35 Editer/Lancer des évaluations Et sinon, cet algorithme de partitionnement, il est mieux que l autre? Editer/Lancer des évaluations Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

36 Editer/Lancer des évaluations Une évaluation est définie dans un fichier XML avec : La liste des jeux de tâches et de processeurs (ou les paramètres de génération) La liste des algorithmes à évaluer avec leurs paramètres (quelle heuristique, critère de tri etc) La liste des graphes désirés Elle est ensuite lancée en 3 étapes : 1 Générer les jeux si nécessaire 2 Tester les algorithmes sur chaque jeu et enregistrer les résultats 3 Générer les graphes demandés en fonction des résultats Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

37 Plan de la présentation 1 Introduction Pourquoi ce nouvel outil? 2 4 cas d utilisation Tester un ordonnancement Mono/Multiprocesseurs Voir/Simuler un ordonnancement Générer des tâches et des jeux de tâches Editer/Lancer des évaluations 3 Exemple : évaluer EDF Load P et DM RT P Coder EDF Load P et DM RT P dans FORTAS Définir les paramètres d évaluation Lancer l évaluation Obtenir les graphes 4 Conclusion et évolutions Questions Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

38 Comment ajouter deux algorithmes de partitionnement et les évaluer? Exemple : évaluer EDF Load P et DM RT P Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

39 Coder EDF Load P et DM RT P dans FORTAS Comment ajouter ces deux algorithmes? Coder EDF Load P et DM RT P Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

40 Coder EDF Load P et DM RT P dans FORTAS Précisions EDF Load P est basé sur le test de faisabilité calculant le Load DM RT P est basé sur le test de faisabilité calculant le pire temps de réponse de chaque tâche Ils peuvent utiliser n importe quelle heuristique, critère de tri etc. Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

41 Coder EDF Load P et DM RT P dans FORTAS Code de EDF Load P public class EDF_Load_P extends Partitioning { // Default Constructor public EDF_Load_P(SystemSets systemsets) { super(systemsets); } // Specific Constructor public EDF_Load_P(SystemSets systemsets, ListOfParameters listofparameters) { super(systemsets, listofparameters); protected void definedefaultschedulername() { this.putparameter("defaultschedulername",scheduler.scheduleredf.class.getsimplename()); } Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

42 Coder EDF Load P et DM RT P dans FORTAS Code de EDF Load public boolean criterionontask(processor p, Task t) { boolean retour; // Get a copy of the set of tasks assigned to p and add the new task SetOfTasks setoftaskstemp = new SetOfTasks(p.getProcessorTaskAssignation().getAssignedSetOf setoftaskstemp.addtask(t); ListOfParametersReal listofparameterslocal = new ListOfParametersReal(); listofparameterslocal.putparameterasvalue("speed",p.getparameterasbigdecimal("speed")); listofparameterslocal.putparameterasvalue("delta",p.getparameterasbigdecimal("delta")); // Test if the new set of tasks, assigned to p, respect the Load <= 1 if (setoftaskstemp.getvalueoffunctionasbigdecimal( EDF_Preemptif_Load.class, listofparameterslocal).compareto( BigDecimal.ONE) > 0) { retour = false; } else { retour = true; } } return retour; Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

43 Coder EDF Load P et DM RT P dans FORTAS Code de EDF Load public BigDecimal criteriononset(processor p, Task t) { // Available Load ListOfParametersReal listofparameterslocal = new ListOfParametersReal(); listofparameterslocal.putparameterasvalue("speed",p.getparameterasbigdecimal("speed")); listofparameterslocal.putparameterasvalue("delta",p.getparameterasbigdecimal("delta")); // Get a copy of the set of tasks assigned to p and add the new task SetOfTasks setoftaskstemp = new SetOfTasks(p.getProcessorTaskAssignation().getAssignedSetOf setoftaskstemp.addtask(t); } } // Return 1-Load considering the new set of tasks return BigDecimal.ONE.subtract(setOfTasksTemp.getValueOfFunctionAsBigDecimal(EDF_Preemptif_Load.class,listOfParametersLoca Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

44 Coder EDF Load P et DM RT P dans FORTAS Code de DM RT P Exactement le même sauf pour : criterionontask qui utilise le calcul du pire temps de réponse. C est tout. Maintenant on peut tester : EDF Load P et DM RT P avec les heuristiques de placement FIRST-FIT, NEXT-FIT, BEST-FIT ou WORST-FIT, et n importe quel critère de tri de tâches et de processeurs. Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

45 Définir les paramètres d évaluation Que va-t-on évaluer? Définir les paramètres d évaluation Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

46 Définir les paramètres d évaluation Définir les paramètres d évaluation <?xml version="1.0" encoding="utf-8"?> <Evaluation name="testevalactriss"> // Define sets with generation parameters and paths <EvaluationSetOfProcessors name="mysetof4processors" autopath="true" path="./setofprocessors/" filename="setofprocessors.xml" nbprocessors="4" type="homogeneous" /> <EvaluationSetOfTasks name="mysetoftasks" autopath="true" path="./setoftasks/" filename="setoftasks.xml" deadline="implicit" distribution="uniform" number="1000" nbmintasks="5" maxutask="1" minu="2" maxu="4" precision="1" taskactivationname="taskactivationperiodic" /> Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

47 Définir les paramètres d évaluation Définir les paramètres d évaluation // Define the algorithms and their parameters <EvaluationAlgorithm name="4_edfpartitionned" algoname="edf_load_p" path="./results/" filename="results. <Heuristic>NEXT_FIT</Heuristic> <Heuristic>FIRST_FIT</Heuristic> <CriterionSortSetOfProcessors>PROCESSOR_NONE_ORDER</CriterionSortSetOfProcessors> <CriterionSortSetOfTasks>TASK_DENSITY_DECREASING_ORDER</CriterionSortSetOfTasks> <EvaluationSetOfTasks>MySetOfTasks</EvaluationSetOfTasks> <EvaluationSetOfProcessors>MySetOf4Processors</EvaluationSetOfProcessors> </EvaluationAlgorithm> <EvaluationAlgorithm name="4_dmpartitionned" algoname="dm_rt_p" path="./results/" filename="results.xml" <Heuristic>NEXT_FIT</Heuristic> <Heuristic>FIRST_FIT</Heuristic> <CriterionSortSetOfProcessors>PROCESSOR_NONE_ORDER</CriterionSortSetOfProcessors> <CriterionSortSetOfTasks>TASK_DENSITY_DECREASING_ORDER</CriterionSortSetOfTasks> <EvaluationSetOfTasks>MySetOfTasks</EvaluationSetOfTasks> <EvaluationSetOfProcessors>MySetOf4Processors</EvaluationSetOfProcessors> </EvaluationAlgorithm> Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

48 Définir les paramètres d évaluation Définir les paramètres d évaluation <Graphs path="./graphs/"> <Graph name="mygraph" Scale="1"> <GetValueX name="getutilizationvalue" /> <GetValueY name="getsuccessvalue" /> <GetCurveName name="getalgorithmcurvename" /> <Filters> <Filter name="statisticsheuristicfilter"> <ToKeep>FIRST_FIT</ToKeep> </Filter> <Filter name="statisticsalgorithmfilter"> <ToKeep>EDF_Load_P</ToKeep> <ToKeep>DM_RT_P</ToKeep> </Filter> </Filters> </Graph> </Graphs> </Evaluation> Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

49 Lancer l évaluation Il ne reste plus qu à attendre? Lancer l évaluation Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

50 Lancer l évaluation Lancer l évaluation Des lignes de commandes sont disponibles pour : Générer automatiquement les jeux de tâches Tester automatiquement les algorithmes avec toutes les combinaisons de paramètres Générer automatiquement les valeurs pour les graphes à partir des résultats Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

51 Obtenir les graphes Et les résultats? Obtenir les graphes Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

52 Obtenir les graphes Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

53 Plan de la présentation 1 Introduction Pourquoi ce nouvel outil? 2 4 cas d utilisation Tester un ordonnancement Mono/Multiprocesseurs Voir/Simuler un ordonnancement Générer des tâches et des jeux de tâches Editer/Lancer des évaluations 3 Exemple : évaluer EDF Load P et DM RT P Coder EDF Load P et DM RT P dans FORTAS Définir les paramètres d évaluation Lancer l évaluation Obtenir les graphes 4 Conclusion et évolutions Questions Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

54 C est pas trop mal, mais il y a encore du boulot! Conclusion et évolutions Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

55 FORTAS est donc un framework orienté vers la modularité et permettant de faire, au moins, ce que tout ingénieur veut faire : Obtenir beaucoup sans en faire trop. Évolutions Améliorer la modularité Améliorer la gestion de modèles de tâches et processeurs différents : Modèle probabiliste Modèle de tâches parallèles Modèle de messages réseau à la place des tâches etc Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

56 FORTAS est donc un framework orienté vers la modularité et permettant de faire, au moins, ce que tout ingénieur veut faire : Obtenir beaucoup sans en faire trop. Évolutions Améliorer la modularité Améliorer la gestion de modèles de tâches et processeurs différents : Modèle probabiliste Modèle de tâches parallèles Modèle de messages réseau à la place des tâches etc Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

57 Questions Pierre Courbin FORTAS : Framework for Real-Time Analysis and Simulation 12/03/ / 45

Ordonnancement temps réel multiprocesseur

Ordonnancement temps réel multiprocesseur Ordonnancement temps réel multiprocesseur http://goo.gl/etm4wq Joël GOOSSENS Pascal RICHARD Université Libre de Bruxelles, LIAS/ENSMA et Université de Poitiers 26 août 2013 Goossens (U.L.B.) Ordonnancement

Plus en détail

Créer une simple application Java avec ECLIPSE. Par Ahcène BOUNCEUR

Créer une simple application Java avec ECLIPSE. Par Ahcène BOUNCEUR Créer une simple application Java avec ECLIPSE Par Ahcène BOUNCEUR Janvier 2005 INTRODUCTION Dans cet exemple nous allons vous montrer comment peut-on créer une simple application Java en utilisant l IDE

Plus en détail

Programmation objet en Java.

Programmation objet en Java. Programmation objet en Java. Didier Rémy 2001-2002 http://cristal.inria.fr/ remy/mot/7/ http://www.enseignement.polytechnique.fr/profs/informatique/didier.remy/mot/7/ Cours Exercices Slide 1 1. Classes,

Plus en détail

Gestion autonome de flots d exécution événementiels

Gestion autonome de flots d exécution événementiels Gestion autonome de flots d exécution événementiels Fabien GAUD, M2R S&L Équipe SARDES (INRIA/LIG) 18 juin 2007 1 / 31 Sommaire 1 Introduction 2 État de l art 3 Contribution 4 Évaluation de performances

Plus en détail

STORM. Simulation TOol for Real-Time Multiprocessor scheduling. http://storm.rts-software.org. GDR ASR ACTRISS Nancy 7 novembre 2012

STORM. Simulation TOol for Real-Time Multiprocessor scheduling. http://storm.rts-software.org. GDR ASR ACTRISS Nancy 7 novembre 2012 Institut de Recherche en Communications et Cybernétique de Nantes STORM Simulation TOol for Real-Time Multiprocessor scheduling http://storm.rts-software.org GDR ASR ACTRISS Nancy 7 novembre 2012 Richard

Plus en détail

introduction à la conception Orientée Objet

introduction à la conception Orientée Objet 1 introduction à la conception Orientée Objet IUP GEII 2ème année marcel@univ-tours.fr http://www.blois.univ-tours.fr/ marcel 2 plan cours 1. motivations génie logiciel 2. concepts et techniques orientés

Plus en détail

Ordonnancement temps réel multiprocesseur pour la réduction de la consommation énergétique des systèmes embarqués

Ordonnancement temps réel multiprocesseur pour la réduction de la consommation énergétique des systèmes embarqués Soutenance de thèse Ordonnancement temps réel multiprocesseur pour la réduction de la consommation énergétique des systèmes embarqués Vincent LEGOUT Directeurs de thèse : Laurent PAUTET, Mathieu JAN CEA

Plus en détail

Validation de systèmes interactifs centrée sur l usager

Validation de systèmes interactifs centrée sur l usager Validation de systèmes interactifs centrée sur l usager C. Ailleres Mardi 6 Janvier 2004 Problématique Avènement de l informatique : besoin de qualité et de fiabilité des systèmes Génie Logiciel Importance

Plus en détail

Tutoriel : AccÄs Å un Service Web (GoogleSearch API) avec Visual Basic.Net 2003. Table des matiäres

Tutoriel : AccÄs Å un Service Web (GoogleSearch API) avec Visual Basic.Net 2003. Table des matiäres Tutoriel : AccÄs Å un Service Web (GoogleSearch API) avec Visual Basic.Net 2003 Table des matiäres INTRODUCTION 2 QU EST-CE QU UN SERVICE WEB??? 2 LES PRELIMINAIRES 2 LE DESIGN DE LA FICHE DE RECHERCHE

Plus en détail

Système M1. Chapitre 3 : Gérer la communication et la synchronisation inter-tâches. J.-F. Pradat-Peyre & E Hyon

Système M1. Chapitre 3 : Gérer la communication et la synchronisation inter-tâches. J.-F. Pradat-Peyre & E Hyon Chapitre 3 : Gérer la communication et la synchronisation inter-tâches 1 Plan du cours Introduction aux problèmes de synchronisation Exemple de problèmes Section critique et verrous Exclusion Mutuelle

Plus en détail

Gestion Bibliothèque. Résumé

Gestion Bibliothèque. Résumé Gestion Bibliothèque Résumé Ces travaux seront réalisés dans le cadre du cours Web Services Miage NTDP afin de permettre aux étudiants d assimiler les concepts théoriques vus en cours. L idée est de développer

Plus en détail

Module 26 : Techniques de modélisation

Module 26 : Techniques de modélisation Module 26 : Techniques de modélisation 26.0 Introduction Ce module enseigne une série de techniques qui constituent une trousse à outils bien pratique quand il s agit de construire des modèles dans Excel

Plus en détail

Simulation d'algorithmes distribués Guide Utilisateur

Simulation d'algorithmes distribués Guide Utilisateur Simulation d'algorithmes distribués Guide Utilisateur Sommaire Section 1 Section 2 Section 3 Section 4 Section 5 3 Introduction 3 Configuration minimale 3 Utilisation Construction de graphes 4 La grammaire

Plus en détail

UTILISATION DE LA BIBLIOTHEQUE DE FONCTIONS DYNAMIQUE OLEPRN.DLL AVEC C#

UTILISATION DE LA BIBLIOTHEQUE DE FONCTIONS DYNAMIQUE OLEPRN.DLL AVEC C# UTILISATION DE LA BIBLIOTHEQUE DE FONCTIONS DYNAMIQUE OLEPRN.DLL AVEC C# UTILISATION DE LA BIBLIOTHEQUE DE FONCTIONS DYNAMIQUE OLEPRN.DLL AVEC C# 1 I. INTRODUCTION 2 II. LE PROTOCOLE SNMP 2 1. DEFINITION

Plus en détail

TP Mock. On veut modéliser un jeu de casino : le jeu de la boule.

TP Mock. On veut modéliser un jeu de casino : le jeu de la boule. TP Mock Pour faire ce TP il faut récupérer la "bibliothèque" mockito-all-x.x.x.jar. Vous pouvez la trouver à partir de https://code.google.com/p/mockito/downloads/list (pour mockito- 1.9.5.zip). Anciennement

Plus en détail

Programmation orientée objet TP 1 Prise en main de l environnement Java

Programmation orientée objet TP 1 Prise en main de l environnement Java Programmation orientée objet TP 1 L2 MPCIE Prise en main de l environnement Java Exercice 1 Nous désirons développer un programme pour la gestion (très simplifiée) d'un parc de véhicules destinés à la

Plus en détail

Question 1 (5 pts ) : Généralités

Question 1 (5 pts ) : Généralités Question 1 (5 pts ) : Généralités Répondez, en 5 lignes maximum, aux questions suivantes : a) Expliquez brièvement pourquoi les «threads» sont aussi appelés processus légers? Un threads est rattaché à

Plus en détail

Maverick & CookXML. BELKHADRA Sofiane. BERNABE Thomas. RESSE Romain

Maverick & CookXML. BELKHADRA Sofiane. BERNABE Thomas. RESSE Romain Maverick & CookXML BELKHADRA Sofiane BERNABE Thomas RESSE Romain Présentation Etant donné que nous avons déjà fait une présentation succincte des deux frameworks utilisés, nous n allons pas nous étendre

Plus en détail

Ioannis Parissis UFR IMA Laboratoire LIG. Test logiciel

Ioannis Parissis UFR IMA Laboratoire LIG. Test logiciel Test logiciel Objectif et plan du du cours Présenter les concepts de base sur le test logiciel Introduire des techniques simples pour construire des tests A partir de la spécification informelle du programme

Plus en détail

Le Data Binding. Version 1.1

Le Data Binding. Version 1.1 Le Data Binding Version 1.1 Z 2 Chapitre 05 - Le Data Binding Sommaire 1 Introduction... 3 2 Initiation au Data Binding... 3 2.1 Les bases du Data Binding... 3 2.2 Les différents modes de Data Binding...

Plus en détail

DUT Informatique Module JAVA Apprentis Département Informatique 2008 / 2009. Travaux Pratiques n o 2 : JUnit

DUT Informatique Module JAVA Apprentis Département Informatique 2008 / 2009. Travaux Pratiques n o 2 : JUnit iut ORSAY DUT Informatique Département Informatique 2008 / 2009 Travaux Pratiques n o 2 : JUnit Nom(s) : Groupe : Date : Objectifs : Apprendre à vérifier une implantation à l aide de tests unitaires sous

Plus en détail

Langages de haut niveau

Langages de haut niveau Langages de haut niveau Introduction Un assembleur est un programme traduisant en code machine un programme écrit à l'aide des mnémoniques Les langages d'assemblage représentent une deuxième génération

Plus en détail

IFT 1020 Programmation II

IFT 1020 Programmation II Département d informatique et de recherche opérationnelle Été 2005 IFT 1020 Programmation II Etienne Bergeron 7 juillet 2005 1 Explications générales Travail pratique #4 Technique de recherche, Entrées/Sorties

Plus en détail

Applications orientées données (NSY135)

Applications orientées données (NSY135) Applications orientées données (NSY135) 10 Lecture de données Auteurs: Raphaël Fournier-S niehotta et Philippe Rigaux (philippe.rigaux@cnam.fr,fournier@cnam.fr) Département d informatique Conservatoire

Plus en détail

Catégories, extensions et sécurité

Catégories, extensions et sécurité 11 Catégories, extensions et sécurité Au sommaire de ce chapitre Catégories Extensions Contrôle des accès aux variables d instance Contrôle des accès aux méthodes Espaces de noms Sécurité Appeler des fonctions

Plus en détail

Université Joseph Fourier UFR IMA Module Système. TP Systèmes n 1 Programmation concurrente

Université Joseph Fourier UFR IMA Module Système. TP Systèmes n 1 Programmation concurrente TP Systèmes n 1 Programmation concurrente Titre Simulation du comportement de processus producteurs et de processus consommateurs avec tampon intermédiaire borné. Organisation Binôme Durée de réalisation

Plus en détail

Correction Devoir Surveillé

Correction Devoir Surveillé Correction Devoir Surveillé Année Universitaire : 2013/2014 Semestre : 2 ème Semestre Niveau d Etude : Date : --/--/---- Matière : Programmation Mobile Enseignant: Amine SHARED Durée : 1h30 Documents :

Plus en détail

this Vs. static Introduction Utilisation de this

this Vs. static Introduction Utilisation de this Introduction this Vs. static Si vous avez essayé d écrire d importants programmes Java multi-classes, vous avez certainement eu des problème de communication entre plusieurs classes. Pour appeler à partir

Plus en détail

Eclipse Modeling Tools

Eclipse Modeling Tools Laboratoire d'analyse et d'architecture des Systèmes Eclipse Modeling Tools Génération d'un éditeur graphique évolué Résumé: Un éditeur graphique est généré à partir d'un méta modèle «Ecore». Cet éditeur

Plus en détail

SPRING WEBFLOW Cours JEE - Master 2 Université de Marne-la-Vallée 1 dimanche 14 novembre 2010

SPRING WEBFLOW Cours JEE - Master 2 Université de Marne-la-Vallée 1 dimanche 14 novembre 2010 SPRING WEBFLOW 1 RAPPEL D ARCHITECTURE Persistance des données 2 PROBLÉMATIQUE Comment faire le lien entre mes vues graphiques et ma logique métier en respectant les contraintes (maintenance, coût & temps

Plus en détail

Université Mohammed Premier Année universitaire 2012-2013

Université Mohammed Premier Année universitaire 2012-2013 Université Mohammed Premier Année universitaire 2012-2013 Faculté des Sciences Filière SMI Département de Mathématiques Module : POO Java et d Informatique Semestre : S5 Responsable du cours : El Mostafa

Plus en détail

GPA786 Rentabilité de projets d automatisation. Cours 5 Introduction à la gestion des risques

GPA786 Rentabilité de projets d automatisation. Cours 5 Introduction à la gestion des risques GPA786 Rentabilité de s d automatisation Cours 5 Introduction à la gestion des risques Planifier le management des risques Données d entrée Énoncé du contenu du Plan de management des coûts Plan de management

Plus en détail

INITIATION ACCESS. Par Lionel COSTE ABSALON Formations

INITIATION ACCESS. Par Lionel COSTE ABSALON Formations INITIATION ACCESS Par Lionel COSTE ABSALON Formations Vocabulaire et structure d'une base de données Reprenons notre base Access. Dès sa création, avant même de saisir la moindre donnée, on peut se rendre

Plus en détail

Langage de commandes Ant. Langage de commandes Ant

Langage de commandes Ant. Langage de commandes Ant Langage de commandes Ant Langage de commandes Ant Cedric Dumoulin cedric.dumoulin@lifl.fr Cedric Dumoulin ((C)Gautier Koscielny, Jérôme Moroy) ((C)Gautier Koscielny, Jérôme Moroy) Introduction L outil

Plus en détail

Ordonnancement temps réel préemptif multiprocesseur avec prise en compte du coût du système d exploitation

Ordonnancement temps réel préemptif multiprocesseur avec prise en compte du coût du système d exploitation UNIVERSITÉ PARIS-SUD ÉCOLE DOCTORALE Sciences et Technologie de l Information, des Télécommunications et des Systèmes INRIA Paris-Rocquencourt DISCIPLINE : Génie Informatique THÈSE DE DOCTORAT présentée

Plus en détail

Miramond Benoît - UCP. II) Le processus dans la machine

Miramond Benoît - UCP. II) Le processus dans la machine II) Le processus dans la machine 1 Plan de la partie VII 1. Rappel modèle d exécution d un processeur 2. Les fonctions d un OS embarqué 3. Au démarrage était le bootstrap 4. Comment faire du multi-tâches?

Plus en détail

Le mapping objet relationnel. Introduction au mapping objet relationnel avec Nhibernate Cyril GRAUFFEL IR3 2009/2010

Le mapping objet relationnel. Introduction au mapping objet relationnel avec Nhibernate Cyril GRAUFFEL IR3 2009/2010 Le mapping objet relationnel Introduction au mapping objet relationnel avec Nhibernate Cyril GRAUFFEL IR3 2009/2010 Plan de présentation 1. Le modèle relationnel et le modèle objet 2. Le Mapping Objet

Plus en détail

Rapport IN52. Sujet : Résolution d un puzzle

Rapport IN52. Sujet : Résolution d un puzzle CARRE Julien PIERNOT Jérôme Rapport IN52 Sujet : Résolution d un puzzle Responsable : M. Ruicheck Y. Automne 2007 1 SOMMAIRE INTRODUCTION...3 I. Description et approche du sujet...4 1. Description 2. Outils

Plus en détail

Devoir Surveillé informatique MP, PC, PSI

Devoir Surveillé informatique MP, PC, PSI NOM : Classe : Devoir Surveillé informatique MP, PC, PSI L utilisation des calculatrices n est pas autorisée pour cette épreuve. Le langage de programmation choisi est Python. L espace laissé pour les

Plus en détail

GS-Days 2011. WebScarab Développement de nouveaux modules pour les tests d intrusion

GS-Days 2011. WebScarab Développement de nouveaux modules pour les tests d intrusion 1 GS-Days 2011 WebScarab Développement de nouveaux modules pour les tests d intrusion Jérémy Lebourdais EdelWeb (jeremy.lebourdais@edelweb.fr) 2 Introduction Présentation de WebScarab Développements réalisés

Plus en détail

Projet de développement. Gestion de projet avec. Personnes cahier des charges. Philippe Collet. Organisation. Cours 1 : principes généraux - svn

Projet de développement. Gestion de projet avec. Personnes cahier des charges. Philippe Collet. Organisation. Cours 1 : principes généraux - svn 1 Organisation Projet de développement Gestion de projet avec Philippe Collet Cours 1 : principes généraux - svn Cours 2 : TRAC et gestion de projet Cours 3 : Introduction à Eclipse Cours 4 : Eclipse C

Plus en détail

Chapitre 3 Planification I

Chapitre 3 Planification I Chapitre 3 Planification I Le processus de planification d un projet Pourquoi faire un plan? Qu est-ce qu un plan? Contenu d un plan Processus de planification Critères de qualité pour évaluer un plan

Plus en détail

BAT 4 Polytech Nice. Cours Environnement Logiciel puis Internet, Services et Réseaux en BAT4. Vérification des effectifs, Appel Sur EDT

BAT 4 Polytech Nice. Cours Environnement Logiciel puis Internet, Services et Réseaux en BAT4. Vérification des effectifs, Appel Sur EDT BAT 4 Polytech Nice Cours Environnement Logiciel puis Internet, Services et Réseaux en BAT4 Vérification des effectifs, Appel Sur EDT Une consigne : prenez des notes pendant les cours! Les supports ne

Plus en détail

USTHB FEI, Département d informatique Master S2I, S2 Bab-Ezzouar le 27 Mai 2015. EMD Technologie des agents

USTHB FEI, Département d informatique Master S2I, S2 Bab-Ezzouar le 27 Mai 2015. EMD Technologie des agents USTHB FEI, Département d informatique Master S2I, S2 Bab-Ezzouar le 27 Mai 2015 EMD Technologie des agents Exercice1 (Préparation d une fête) (10 pts) Préparer une fête demande des efforts importants et

Plus en détail

Analyse lexicale 2014-2015

Analyse lexicale 2014-2015 Analyse (lexicale, syntaxique) L3 MIAGE Analyse lexicale Université de Lille, France 2014-2015 1 Rappels Rôle de l analyse lexicale Outils 2 Mise en oeuvre Lexème Vers l analyseur syntaxique Codage d un

Plus en détail

CCI - Initiation à Java. E.Coquery emmanuel.coquery@liris.cnrs.fr

CCI - Initiation à Java. E.Coquery emmanuel.coquery@liris.cnrs.fr CCI - Initiation à Java E.Coquery emmanuel.coquery@liris.cnrs.fr Présentation du langage Outline 1 Présentation du langage 2 Types de données primitifs 3 Objets Présentation du langage Un langage orienté

Plus en détail

Licence Bio Info Année 2004-2005. Un modèle de conception pour les applications avec interfaces graphiques Le Modèle-Vue-Contrôleur

Licence Bio Info Année 2004-2005. Un modèle de conception pour les applications avec interfaces graphiques Le Modèle-Vue-Contrôleur Université Paris 7 Programmation objet Licence Bio Info Année 2004-2005 TD n 7 - Correction Un modèle de conception pour les applications avec interfaces graphiques Le Modèle-Vue-Contrôleur Le TD d aujourd

Plus en détail

Plan. Conseils de Programmation. Types et Classes. Exemple: fraction. Méthodes. Variables locales:

Plan. Conseils de Programmation. Types et Classes. Exemple: fraction. Méthodes. Variables locales: Plan Conseils de Programmation Joël Quinqueton Dépt MIAp, UFR IV UPV Université Montpellier III Types et classes Un exemple de classe Les erreurs en Java L héritage en Java Types primitifs Tableaux Classes:

Plus en détail

Gespx (Logiciel de gestion commerciale) Version 4. Propriété & Usage

Gespx (Logiciel de gestion commerciale) Version 4. Propriété & Usage Gespx (Logiciel de gestion commerciale) Version 4 Propriété & Usage Tout usage, représentation ou reproduction intégral ou partiel, fait sans le consentement de Im@gin Micro est illicite (Loi du 11 Mars

Plus en détail

Développement d application web avec Visual Studio 2012 et ASP.NET. Tutoriel 3.1 : Programmation Web. Etape 1 Créer une application ASP.

Développement d application web avec Visual Studio 2012 et ASP.NET. Tutoriel 3.1 : Programmation Web. Etape 1 Créer une application ASP. Etape 1 Créer une application ASP.NET vide L objectif de cette étape est de montrer comment Visual Studio génère des fichiers et utilise le mécanisme des classes partielles pour accéder aux éléments générés

Plus en détail

Création d une portlet avec support du framework Spring pour liferay

Création d une portlet avec support du framework Spring pour liferay Création d une portlet avec support du framework Spring pour liferay Introduction Nous allons prendre l exemple petportal proposé par spring, ajouter les XML manquants pour qu il puisse répondre aux exigences

Plus en détail

Cours No 10 - Conclusion et perspectives

Cours No 10 - Conclusion et perspectives B. Amann - Cours No 10 - Conclusion et perspectives 1 Slide 1 Cours No 10 - Conclusion et perspectives Gestion de contenus Web La gestion de contenus Web est possible grâce à des technologies complémentaires

Plus en détail

ACube, Framework LISE J2EE

ACube, Framework LISE J2EE Spécification Générale des évolutions de la version 2.6.x Version 1.0 du 25/01/2008 Etat : Validé SUIVI DES MODIFICATIONS Version Rédaction Description Vérification Date 0.1 K. COIFFET Initialisation Version

Plus en détail

GPA777 Introduction au génie logiciel

GPA777 Introduction au génie logiciel Université du Québec École de technologie supérieure Département de génie de la production automatisée GPA777 Introduction au génie logiciel Chapitre 6 Validation des logiciels Copyright, 2000 Tony Wong,

Plus en détail

SUJET + CORRIGE. Avertissement

SUJET + CORRIGE. Avertissement Année : 2012/2013 Semestre 2 DEVUIP Service scolarité PARCOURS : Licence LIMI201 & LIMI211 UE J1MI2013 : Algorithmes et Programmes Épreuve : Devoir Surveillé Terminal Date : Lundi 10 juin 2013 Heure :

Plus en détail

Prendre un bon départ

Prendre un bon départ Chapitre A Prendre un bon départ 1 - Avant-propos Un ordinateur sait très bien faire deux choses : Calculer, d oùle nomcomputer en anglais que l on pourrait traduire par calculateur. Placer des données

Plus en détail

Web & XML. Evaluation 1/2. ENSEIRB Programmation Web / XML. Version 1.00 du 19 décembre 2012 Etat : Travail SOPRA GROUP. Page 1/9

Web & XML. Evaluation 1/2. ENSEIRB Programmation Web / XML. Version 1.00 du 19 décembre 2012 Etat : Travail SOPRA GROUP. Page 1/9 Web & XML ENSEIRB Programmation Web / XML Evaluation 1/2 Version 1.00 du 19 décembre 2012 Etat : Travail SOPRA GROUP Page 1/9 Historique : Version Date Origine de la mise à jour Rédigée par Validée par

Plus en détail

Configuration du contrôles à distance de KDE. Michael Zanetti Traduction française : Robert Jacolin Traduction française : Pierre Buard

Configuration du contrôles à distance de KDE. Michael Zanetti Traduction française : Robert Jacolin Traduction française : Pierre Buard Configuration du contrôles à distance de KDE Michael Zanetti Traduction française : Robert Jacolin Traduction française : Pierre Buard 2 Table des matières 1 Introduction 5 1.1 Conditions préalables....................................

Plus en détail

PC* Structure de pile

PC* Structure de pile Structure de pile I. Définition........................................... 2 I.1 Introduction..................................... 2 I.2 Opérations caractérisant une structure de pile...................

Plus en détail

module SIN21 Rendre un syste me communicant Analyse UML et algorithmie 1 Modification du cahier des charges

module SIN21 Rendre un syste me communicant Analyse UML et algorithmie 1 Modification du cahier des charges Module SIN221 Rendre un syste me communicant Analyse UML et algorithmie Objectifs : Modifier des diagrammes UML suite à la modification du cahier des charges. Caractériser et valider une classe en C++.

Plus en détail

E2I- 4 (option HF) CONTRÔLE JAVA 1

E2I- 4 (option HF) CONTRÔLE JAVA 1 E2I- 4 (option HF) CONTRÔLE JAVA 1 Corrigé 1. Les données de type char sont codées en java comme : un octet (code ASCII) deux octets (code ASCII) un octet (code unicode) X deux octets (code unicode) un

Plus en détail

THE CALLAN PERIODIC TABLE OF INVESTMENT RETURNS

THE CALLAN PERIODIC TABLE OF INVESTMENT RETURNS THE CALLAN PERIODIC TABLE OF INVESTMENT RETURNS ANNUAL RETURNS FOR SHARES (2000 2007) 1 Mallika Gillieron Sommaire 1. Introduction... 2 1.1 Définition de Visual Basic... 2... 1.2 Objectif du projet...

Plus en détail

2 ème partie : Programmation concurrente multi-thread

2 ème partie : Programmation concurrente multi-thread 2 ème partie : Programmation concurrente multi-thread TC-INFO-ASR4 Françoise Baude Université de Nice Sophia-Antipolis UFR Sciences Département Informatique baude@unice.fr web du cours : www-mips.unice.fr/~baude

Plus en détail

LA PLATEFORME MASC. Résumé 1RÔLE DE LA PLATEFORME 1.1FENETRE DE GESTION DE LA SIMULATION

LA PLATEFORME MASC. Résumé 1RÔLE DE LA PLATEFORME 1.1FENETRE DE GESTION DE LA SIMULATION LA PLATEFORME MASC Résumé Suite au choix de la gestion d atelier comme cas d étude, une plate-forme Java, MASC (Multi-Agent for Supply Chaining), a été développée. Cette plate-forme a pour but de faciliter

Plus en détail

Persistance en Php. Note : les problèmes d accès concurrents, de sécurité et de login sont laissés de côté.

Persistance en Php. Note : les problèmes d accès concurrents, de sécurité et de login sont laissés de côté. Persistance en Php Objectif : faire un site pour gérer des articles par catégorie. Chaque catégorie a un nom, chaque catégorie est constitué d articles (titre, auteur, texte), un article est dans une seule

Plus en détail

Présentation L ÉDITEUR D ÉTAT SUR PÉRICLÈS 5

Présentation L ÉDITEUR D ÉTAT SUR PÉRICLÈS 5 Présentation L ÉDITEUR D ÉTAT SUR PÉRICLÈS 5 Sommaire Questions fréquentes (Cliquez sur la question pour accéder directement à la réponse.) - Introduction... 3 - Présentation de la barre d outils... 4

Plus en détail

Université de Bourgogne - UFR Sciences et Technique - Programmation objet - LPSIL - 2013

Université de Bourgogne - UFR Sciences et Technique - Programmation objet - LPSIL - 2013 Nom : Prénom : Contrôle continu n 4 Programmation objet Vous devez répondre dans les cadres aux questions posées. Documents de cours et notes personnelles autorisés. Téléphones portables, ordinateurs et

Plus en détail

BRANCHER ET INSTALLER LES PILOTES DU CABLE AVANT TOUT

BRANCHER ET INSTALLER LES PILOTES DU CABLE AVANT TOUT BRANCHER ET INSTALLER LES PILOTES DU CABLE AVANT TOUT Cette configuration suppose que vous utilisez une interface OBD. Il ya un fichier dans C:\ediabas\ediabas.ini où pouvez définir l'interface que vous

Plus en détail

Logiciel de reconnaissance vocale Sphinx-4

Logiciel de reconnaissance vocale Sphinx-4 Rapport Travail pratique Logiciel de reconnaissance vocale Sphinx-4 Philippe Galley, Blaise Grand & Samuel Rossier 19 mai 2006 1 Table des matières 1 Introduction 1 2 Informations générales sur Sphinx-4

Plus en détail

INF 431, COMPOSITION D INFORMATIQUE. Partie I, Ensembles de chaînes

INF 431, COMPOSITION D INFORMATIQUE. Partie I, Ensembles de chaînes INF 431, OMPOSITION INFORMTIQU Luc Maranget et Nicolas Sendrier 2 mai 2007 Partie I, nsembles de chaînes Le but de cette partie est la réalisation d une classe StringSet des ensembles de chaînes qui suit

Plus en détail

XML - Semaine 6. XML - Semaine 6. Pierre Nerzic. février-mars 2016. 1 / 42 Pierre Nerzic

XML - Semaine 6. XML - Semaine 6. Pierre Nerzic. février-mars 2016. 1 / 42 Pierre Nerzic XML - Semaine 6 Pierre Nerzic février-mars 2016 1 / 42 Pierre Nerzic Le cours de cette semaine présente l API XML DOM permettant de produire et traiter un document XML : Principes, Création et modification

Plus en détail

Magento et le Cloud Hosting

Magento et le Cloud Hosting Magento et le Cloud Hosting Aymeric AITAMER Directeur de Projet Spécialiste Magento depuis 2008 Sommaire Introduction : Qu est-ce que le Cloud Hosting? Bénéfices : Pourquoi passer en Cloud? Architecture

Plus en détail

Test du logiciel, cours 3. Tests fonctionnels. Tests fonctionnels. Rappel : spécification du logiciel. Plan Les tests fonctionnels Les phases de tests

Test du logiciel, cours 3. Tests fonctionnels. Tests fonctionnels. Rappel : spécification du logiciel. Plan Les tests fonctionnels Les phases de tests Test du logiciel, cours 3 Tests fonctionnels Critère d arrêt Plan Les tests fonctionnels Les phases de tests Couvertures de tests fonctionnels : On ne peut connaître a priori le nombre de tests nécessaires

Plus en détail

Scénario: Exploration, classification des encours boursiers parisiens

Scénario: Exploration, classification des encours boursiers parisiens Scénario: Exploration, classification des encours boursiers parisiens Résumé Scénario d analyse d un jeu de données : l ensemble des séries des encours boursier à Paris. Description, lissage et classification

Plus en détail

Procédures et fonctions

Procédures et fonctions Chapitre 5 Procédures et fonctions 5.1 Introduction Considérons le programme suivant, dont le but est d inverser les éléments d un tableau : public class InversionTableau1 { int t[]= {8, 2, 1, 23; Terminal.ecrireStringln("Tableau

Plus en détail

Cours/TD n 3bis : les boucles

Cours/TD n 3bis : les boucles Cours/TD n 3bis : les boucles Découpons le problème Nous avons plusieurs utilisations des boucles C est précisément ce qui rend difficile leur création. Vu la difficulté, nous allons séparer les différentes

Plus en détail

Claude Kaiser Machine virtuelle et environnement utilisateur SRI_B CHAPITRE 1

Claude Kaiser Machine virtuelle et environnement utilisateur SRI_B CHAPITRE 1 CHAPITRE 1 FOURNIR À L'UTILISATEUR UNE MACHINE VIRTUELLE ET UN ENVIRONNEMENT D'EXÉCUTION DE PROGRAMMES Plan ENVIRONNEMENT DE TRAVAIL ADAPTÉ AU BESOIN DE L'UTILISATEUR Fonctions de l'environnement d'exécution

Plus en détail

Pour bien comprendre comment Access fonctionne dans la création d'une requête, vous

Pour bien comprendre comment Access fonctionne dans la création d'une requête, vous I / Les requêtes Les requêtes s'apparentent à ce que nous venons de faire avec les filtres car il, s'agit d interroger une table suivant certains critères Mais contrairement aux filtres qui sont volatiles,

Plus en détail

Short-Circuit Introduction Spring JPA, JTA, DBConnectionPool. Cours Spring Data

Short-Circuit Introduction Spring JPA, JTA, DBConnectionPool. Cours Spring Data Cours Spring Data 1 Présentation Générale - Spring Data est un robuste framework de l écosystème de Spring qui se compose de nombreux modules offrant d accéder des solutions de données alternatives comme

Plus en détail

Mathématiques pour. l informatique

Mathématiques pour. l informatique Xavier Chanet Patrick Vert Mathématiques pour l informatique Pour le BTS SIO Toutes les marques citées dans cet ouvrage sont des marques déposées par leurs propriétaires respectifs. Illustration de couverture

Plus en détail

Les nouveautés de JSP 2.0

Les nouveautés de JSP 2.0 Les nouveautés de JSP 2.0 1 Introduction Nous avons déjà vu quelques nouveautés de la version 2.0 dans les travaux pratiques précédents (JSTL et langage d expressions). Il nous reste deux améliorations,

Plus en détail

Examen Examen final (solutionnaire) de LOG2420, Hiver 2008

Examen Examen final (solutionnaire) de LOG2420, Hiver 2008 Examen Examen final (solutionnaire) de LOG2420, Hiver 2008 Professeur: Michel Desmarais 19 avril 2008 Date et durée de l examen : 19 avril, de 9h30 à 12h00. L examen est sur 20 points et le chiffre entre

Plus en détail

TP3 : Composants Android

TP3 : Composants Android TP3 : Composants Android 1 Objectifs du TP TP3 : Composants Android Programmation Mobile Ce TP a pour objectif de vous initier aux différents composants importants d Android. Nous allons dans ce TP réaliser

Plus en détail

SOFiE howto: Méthode pour installer ou déplacer le profil dans un autre répertoire et/ou disque. V0.5 fr

SOFiE howto: Méthode pour installer ou déplacer le profil dans un autre répertoire et/ou disque. V0.5 fr SOFiE howto: Méthode pour installer ou déplacer le profil dans un autre répertoire et/ou disque. V0.5 fr Table of contents 1. INTRODUCTION... 3 2. CLIENT SOFIE LANCÉ SOUS WINDOWS VIA JAVAWEBSTART... 4

Plus en détail

Epreuve de Programmation Orientée Objet 2ème année de Licence Informatique

Epreuve de Programmation Orientée Objet 2ème année de Licence Informatique Epreuve de Programmation Orientée Objet 2ème année de Licence Informatique 1er juin 2007 Durée : 3 heures. Seule la documentation des classes java.util.list et java.util.arraylist distribuée est autorisée.

Plus en détail

Initiation à la Programmation avec Java Semestre 1-2008/2009. Compte rendu final du Projet

Initiation à la Programmation avec Java Semestre 1-2008/2009. Compte rendu final du Projet Initiation à la Programmation avec Java Semestre 1-2008/2009 Compte rendu final du Projet Jean-Baptiste Leprêtre Groupe Y1 Chargé de TD : Fabienne Thomarat 1 SOMMAIRE : I) Cahier des Charges II) Analyse

Plus en détail

Tp1 Ema EMACS Développement Web

Tp1 Ema EMACS Développement Web Tp1 Ema EMACS Développement Web 1/ Description de l application : Notre première application Web a pour objectif de gérer une liste de todo (truc à faire) : Diagramme de classe simplifié : Application

Plus en détail

ERRATA - MAGASIN VIRTUEL

ERRATA - MAGASIN VIRTUEL ERRATA - MAGASIN VIRTUEL 1 28 juillet 2005 Entre mars et juillet 2005, un certain nombre d'articles sont parus sur [http://tahe.developpez.com]. Ils avaient pour but de présenter le framework Spring aussi

Plus en détail

Département d informatique Professeur : Clermont Dupuis Université Laval Bureau : 3976. IFT-19946 Programmation orientée objet. Examen partiel # 1

Département d informatique Professeur : Clermont Dupuis Université Laval Bureau : 3976. IFT-19946 Programmation orientée objet. Examen partiel # 1 Département d informatique Professeur : Clermont Dupuis Université Laval Bureau : 3976 Date : 22 octobre 2001 IFT-19946 Programmation orientée objet Examen partiel # 1 Question # 1. (2 points) Pour développer

Plus en détail

Algorithmique Distribuée

Algorithmique Distribuée Algorithmique Distribuée Problèmes et Algorithmes Fondamentaux Arnaud labourel http://pageperso.lif.univ-mrs.fr/ arnaud.labourel Aix-Marseille Université 15 janvier 2014 Arnaud Labourel (AMU) Algorithmique

Plus en détail

Introduction à la Programmation 1

Introduction à la Programmation 1 Introduction à la Programmation 1 Séance 7 de cours/td Université Paris-Diderot Objectifs: Savoir écrire un programme en entier (structure du programme avec une procédure main et des déclarations de fonctions,

Plus en détail

Licence 2 MIEE Première session 2013-2014. GEN : Génie Logiciel

Licence 2 MIEE Première session 2013-2014. GEN : Génie Logiciel Licence 2 MIEE Première session 2013-2014 Le barème est donné à titre indicatif. GEN : Génie Logiciel 2 heures - Documents autorisés Question 1 (8 points). Vous indiquerez vos réponses sur votre copie

Plus en détail

Chapitre I. Introduction à la programmation

Chapitre I. Introduction à la programmation Chapitre I Introduction à la programmation Objectif du cours Comprendre ce qu est l algorithmique. Fournir des éléments de bases intervenants en programmation quel que soit le langage employé Variables

Plus en détail

Table (suite) Rémi Forax

Table (suite) Rémi Forax Table (suite) Rémi Forax 1 Trie sur les JTable La version 1.6 ajoute un mécanisme (javax.swing.rowsorter) qui permet de trier des composants dont le modèle s exprime sous forme de ligne Pour l instant

Plus en détail

Le Client / Serveur. la brique de base. Stéphane Frénot -MID - V.0.2.0 I - C/S 2. Caractéristiques de la communication InterProcessus

Le Client / Serveur. la brique de base. Stéphane Frénot -MID - V.0.2.0 I - C/S 2. Caractéristiques de la communication InterProcessus Le Client / Serveur la brique de base Stéphane Frénot -MID - V.0.2.0 I - C/S 1 Caractéristiques de la communication InterProcessus Primitives : send/receive Synchrone / Asynchrone Destinataire des messages

Plus en détail

Vérification par model-checking, extension aux systèmes infinis

Vérification par model-checking, extension aux systèmes infinis Vérification par model-checking, extension aux systèmes infinis Sébastien Bardin LSV - CNRS & ENS de Cachan Des programmes fiables? L informatique se répand très vite dans tous les domaines : téléphones,

Plus en détail

Séance 1 : Prise en main de STATA CORRECTION. http://www.worldvaluessurvey.org/wvs.jsp. Allouer la mémoire nécessaire pour pouvoir ouvrir la base

Séance 1 : Prise en main de STATA CORRECTION. http://www.worldvaluessurvey.org/wvs.jsp. Allouer la mémoire nécessaire pour pouvoir ouvrir la base Marianne Tenand - TD d introduction à STATA Département d économie de l ENS (2015 2016) Séance 1 : Prise en main de STATA CORRECTION Base de données : World Values Survey (WWS) Issue d un projet de recherche

Plus en détail

TP2 J2ME MIDP IHM bas niveau

TP2 J2ME MIDP IHM bas niveau TP2 J2ME MIDP IHM bas niveau 1 ) Ecrire une MIDlet qui présente un GoBan c'est à dire un plateau de jeu pour jouer au Go. La couleur de fond du GoBan sera 0xDCB35C. On doit obtenir : Solution : Le code

Plus en détail

Commission Réseau Sémantique Universel Étude de cas n 1 : routage postal

Commission Réseau Sémantique Universel Étude de cas n 1 : routage postal Commission Réseau Sémantique Universel Étude de cas n 1 : routage postal La meilleure méthode pour mettre au point une méthode étant de la tester sur le plus grand nombre possible de cas concrets, voici

Plus en détail

[Tutoriel : Interfaçage Visual Studio (C#) -Excel]

[Tutoriel : Interfaçage Visual Studio (C#) -Excel] [Tutoriel : Interfaçage Visual Studio (C#) -Excel] Nicolas Chari, Thomas Dordonne, Aloys Fortier, Jonathan Zilmia [Tutoriel : Interfaçage Visual Studio (C#) -Excel] 2 TABLE DES MATIERES Introduction 4

Plus en détail