2 Architecture décisionnelle

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

Download "2 Architecture décisionnelle"

Transcription

1 Intégrer des planificateurs dans le logiciel de vol d un satellite autonome Embedding planning systems in the flight software of an autonomous satellite Solange Lemai 1 Marie-Claire Charmeau 1 Xavier Olive 2 1 CNES 18 av. Edouard Belin, Toulouse cedex 4 2 Alcatel Alenia Space France 100 bd du midi - BP 99, Cannes la Bocca Cedex Résumé Plusieurs bénéfices peuvent être attendus d une augmentation du niveau d autonomie des missions spatiales : une réduction des opérations au sol, une limitation du nombre d interruptions du service ou encore une amélioration de la réactivité du système. Selon les besoins d une mission, de nouvelles fonctions doivent être embarquées telles que la planification de la mission ou le diagnostic de fautes et la reconfiguration automatique. Nos travaux ont porté plus spécialement sur l intégration de systèmes de planification et de moyens de reprogrammation dynamique dans le logiciel de vol d un satellite autonome. En particulier, nous abordons le problème du contrôle de plusieurs planificateurs spécialisés (chacun étant dédié à un type d activité), qui ont des comportements variés (planification anytime, planification par lots, etc.), et qui doivent être coordonnés. Mots Clef Planification, architecture décisionnelle, contrôle d exécution. Abstract Space missions may benefit from a more advanced autonomy level in different ways : reduction of ground operations, reduction of the occurrence of service interruptions or improvement of the reactivity of the system. Depending on the mission requirements, new functions need to be supplied on-board the spacecraft, such as mission planning or failure diagnosis and automatic reconfiguration. Our work focused on the integration of planning systems and of dy- Les travaux présentés dans ce papier ont été cofinancés par le CNES et Alcatel Alenia Space. namic replanning capabilities into the flight software of an autonomous satellite. Especially, we address the problem of controlling several dedicated planners which have various behaviors (anytime planning, batch planning, etc.) and need to be coordinated. Keywords Planning, decisional architecture, execution control. 1 Introduction Les besoins en autonomie d un système spatial varient en fonction du scénario de la mission et des bénéfices attendus. Un satellite en orbite basse peut être équipé d un contrôle d orbite autonome pour réduire les opérations au sol. Une sonde lointaine, à cause des longs délais de communication avec le sol, a besoin d un système de FDIR 1 avancé avec du diagnostic et des capacités de reconfiguration automatique. Ou bien encore, la réactivité d un satellite peut être renforcée par l utilisation à bord de systèmes de planification et de moyens de replanification, par exemple pour prendre en compte rapidement de nouvelles requêtes induites par le traitement à bord des données de la charge utile. Les auteurs de [3] distinguent plusieurs concepts qui peuvent être combinés pour atteindre un niveau d autonomie élevé. Ces concepts sont liés aux problématiques de commande-contrôle d un satellite (par exemple la programmation basée sur des événements, ou la planification à bord), ou bien aux problématiques de maintien à poste et de surveillance du système (par exemple le contrôle d orbite autonome, la télémétrie de surveillance synthétique ou le diagnostic à bord). 1 Failure Detection, Isolation and Recovery.

2 Selon les besoins de la mission, le logiciel de vol d un satellite doit être doté des fonctions suivantes : Traitement des données - traitement à bord des données scientifiques, par exemple pour détecter de nouveaux objectifs pour la mission, Orbitographie - calcul des données orbitales et de datation appliqué au guidage et au contrôle d orbite, Programmation sur événements - activation de commandes associée à des événements qui peuvent être déclenchés par la surveillance (alarme FDIR...) ou qui sont calculés à bord (événements orbitaux tels que le début et la fin du survol d une zone,...), FDIR évoluée - allant jusqu au diagnostic de panne et à une reconfiguration et reprise de mission autonomes, Planification - élaboration des plans d activités des charges utiles et/ou de la plate-forme à partir d objectifs fournis par le sol, Reprogrammation dynamique - adaptation du plan d activités en fonction du contexte détecté à bord (nouveaux objectifs, modification des ressources, etc. ). Nous présentons dans la section suivante un concept d architecture qui intègre ces nouvelles applications décisionnelles dans le logiciel de vol d un satellite. La troisième section détaille un exemple de niveau décisionnel conçu pour une application de surveillance de la Terre. Nous évoquons en particulier le problème posé par la coordination de plusieurs planificateurs spécialisés et la solution adoptée. La dernière section décrit la maquette mise en place pour tester les performances temps-réel des algorithmes de planification sur un banc de test développé par Alcatel Alenia Space. 2 Architecture décisionnelle Le développement d un système autonome complexe repose sur l organisation des composants logiciels en une architecture en boucle fermée. La plupart des architectures existantes qui intègrent des capacités décisionnelles sont basées sur des niveaux hiérarchiques. Dans le domaine de la robotique par exemple, l architecture 3T [2] comprend trois niveaux qui correspondent à trois composants : un système de contrôle bas niveau réactif, un système d exécution de plan réactif et un système délibératif qui a un temps de réponse plus lent. L architecture LAAS [1] se décompose aussi en trois niveaux : un niveau fonctionnel qui encapsule dans des modules les fonctionnalités de base du système, un niveau décisionnel qui est chargé de l élaboration du plan et de son exécution, et un niveau intermédiaire qui a un rôle de protection de fautes et qui filtre les commandes envoyées par le niveau décisionnel au niveau fonctionnel. Dans le domaine spatial, l architecture conçue pour l expérimentation du Remote Agent [10] intègre trois composants hiérarchiques : un système de planification responsable de la planification de la mission, un exécutif utilisé pour détailler les activités du plan, et un système de diagnostic et de reconfiguration. De même, nous proposons d organiser les applications logicielles selon trois niveaux hiérarchiques (cf. Figure 1). Ces niveaux sont caractérisés par des temps de réaction différents, ils manipulent des données plus ou moins abstraites et ont une connaissance différente de l état du système (globale ou locale). Ils interagissent par envoi de commandes au niveau inférieur et envoi de bilans au niveau supérieur. Niveau décisionnel plan Suivi état Niveau opérationnel Interface bord/sol Niveau fonctionnel Planificateurs Exécutif décisionnel Exécutif opérationnel requêtes FDIR opérationnelle COM THERM ENERGIE SCAO Charge Utile FDIR FDIR FDIR FDIR FDIR FIG. 1 Architecture décisionnelle Le niveau décisionnel est chargé de la programmation des activités de la plate-forme et/ou de la charge utile, et du contrôle de l exécution du plan d activités. Deux modes de fonctionnement peuvent être considérés à ce niveau. Dans un mode simplifié, il n y a pas de système de planification disponible et le niveau est seulement responsable de l exécution d un plan d activités envoyé par le sol. Dans un mode plus complet, les plans sont élaborés à bord à partir d objectifs envoyés par le sol et de l état courant du système (niveaux des ressources, etc.). Le niveau opérationnel est chargé de l exécution des opérations (décomposition et routage des commandes, surveillance de l état global du système), qui proviennent soit des activités planifiées au niveau supérieur, soit des commandes envoyées par le segment sol. Le niveau fonctionnel regroupe les traitements et boucles de contrôle des sous-systèmes classiques : COM - communication avec les stations sol (émission de télémétrie, réception de télécommandes, contrôle des antennes). THERM - gestion du contrôle thermique. ENERGIE - gestion de l alimentation (surveillance et contrôle des batteries et des panneaux solaires). SCAO (Système de Contrôle d Attitude et d Orbite) - ce sous-système rassemble des fonctions : d estimation d attitude, de navigation (estimation du modèle d orbite courant et de la position sur l orbite), de propagation d orbite (prédiction d événements orbitaux tels que les prochaines fenêtres de visibilité avec une station sol),

3 de guidage (calcul des consignes d attitude), de contrôle d orbite autonome (calcul des manoeuvres de correction d orbite), de contrôle et surveillance des actionneurs. CHARGE UTILE - gestion des instruments dédiés à la mission (éventuellement avec une analyse des données à bord). La stratégie FDIR est répartie entre les niveaux : détection et reconfiguration locale dans les sous-systèmes, diagnostic et reconfiguration globale au niveau opérationnel, prévention au niveau décisionnel (par exemple, détecter en avance qu un plan n est plus consistant avec l utilisation effective des ressources et peut conduire à des échecs). Comme évoqué précédemment, notre travail s est concentré sur l intégration de systèmes de planification dans l architecture, c est-à-dire sur le niveau décisionnel. On appelle ici système de planification tout processus de décision qui sélectionne et ordonne les activités à réaliser pour accomplir des objectifs définis par le sol. Cette décision doit tenir compte de contraintes de ressource (énergie, mémoire, etc.), de contraintes temporelles (périodes d éclairement, etc.), et de contraintes de compatibilités entre activités. Ce processus fournit un plan d activités. L exécution du plan est gérée par un exécutif décisionnel. C est également l exécutif décisionnel qui décide, en fonction des bilans et des alarmes, du besoin de modifier le plan courant (abandon pour un nouveau plan, réparation du plan, extension de l horizon, etc.). Dans notre approche, l exécutif décisionnel a un rôle central dans le niveau décisionnel : en interface avec le niveau inférieur, il surveille l exécution du plan, et coordonne les différents systèmes de planification. Dans la section suivante, nous présentons un exemple de niveau décisionnel et nous proposons, pour l exécutif décisionnel, un schéma de contrôle générique basé sur des automates. 3 Exemple de niveau décisionnel 3.1 Contexte Le CNES a cofinancé, avec l ONERA, une thèse sur la planification à bord de la mission d un satellite autonome. Ces travaux sont basés sur une mission de référence d observation de la Terre : une constellation de satellites en orbite basse chargés de surveiller les feux de forêt et les volcans. Chaque satellite est équipé d un instrument d observation et d un instrument de détection qui pointe en avant du satellite. Ce dernier instrument permet la détection de nouveaux feux ou d éruptions volcaniques. En cas de détection d un nouveau point chaud, une alarme est envoyée à un centre de mission au sol via un satellite géostationnaire, et le satellite doit réaliser une observation de la zone le plus tôt possible (l instrument d observation survole une zone une minute après l instrument de détection). Un centre de contrôle au sol collecte toutes les requêtes d observation et les répartit entre les satellites de la constellation (en leur associant des niveaux de priorité qui dépendent du statut d activité de la zone). Chaque satellite va ensuite sélectionner et ordonner les observations qu il peut réaliser en fonction de ses ressources (énergie, mémoire) et des prochaines fenêtres de visibilité permettant le télédéchargement des données. La planification à bord du satellite permet une reprogrammation rapide lorsqu un nouveau point chaud est détecté (ce point chaud correspond à une requête d observation avec un haut niveau de priorité). Sylvain Damiani a développé des stratégies d allocation des requêtes au sol (voir [5]) et des algorithmes de planification à bord pour les activités d observation et de télédéchargement (voir [6]). 3.2 Niveau décisionnel Nous considérons un satellite de la constellation qui reçoit des requêtes du centre de contrôle et peut détecter de nouvelles requêtes à bord. Le niveau décisionnel d un tel satellite comprend : plusieurs planificateurs spécialisés un planificateur d observations anytime - Cet algorithme choisit la prochaine observation à réaliser parmi les requêtes candidates sur un horizon de raisonnement. Cette décision prend en compte la faisabilité d une requête (consommations de mémoire et d énergie, compatibilités entre deux observations successives) et optimise le nombre de requêtes de forte priorité pouvant être accomplies. L algorithme a un comportement anytime : il parvient rapidement à une première solution puis l optimise en étendant progressivement son horizon de raisonnement. Ce planificateur est relancé à chaque fois que le contexte de planification est modifié (par exemple à l arrivée d une nouvelle requête). un planificateur de télédéchargement - Ce planificateur est activé à l approche d une fenêtre de visibilité avec un centre de mission au sol. Il sélectionne, parmi les observations en mémoire, celles qui doivent être télédéchargées, en fonction de leur taille et de leur priorité. un estimateur de télédéchargement - Cet algorithme est activé à chaque fois que le planificateur d observations est relancé. Il est utilisé pour estimer l énergie consommée et la mémoire libérée pendant la prochaine fenêtre de visibilité. Cette estimation est ensuite utilisée par le planificateur d observations pour prédire l évolution des niveaux de mémoire et d énergie sur l horizon de raisonnement 2. une règle de décision simple - Cet algorithme peut être utilisé à la place du planificateur d observations anytime. Il décide simplement si la prochaine observation parmi l ensemble des requêtes est réalisable, c est-àdire si les ressources nécessaires sont disponibles et si 2 Cependant, si le planificateur de télédéchargement a produit un plan détaillé de télédéchargements pour la prochaine fenêtre de visibilité, ce plan est utilisé à la place de l estimation.

4 l observation n est pas en conflit avec une requête de plus forte priorité. un processus de gestion des requêtes Une requête envoyée par le sol spécifie une zone géographique et une priorité. Une telle requête-sol doit être ensuite décomposée en un ensemble de requêtes d observation possibles en utilisant la prédiction à bord des prochains survols de la zone. Ce processus maintient à jour l ensemble des requêtes et leur statut. un processus de gestion du plan Ce processus maintient à jour un plan en intègrant les activités sélectionnées par les planificateurs. Le séquencement des activités et le suivi de l état reposent sur ce plan. un processus de suivi de l état Ce processus vérifie régulièrement que les niveaux de ressource prévus dans le plan et les niveaux réels sont consistants. Il déclenche une alarme si ce n est pas le cas, pour signaler que le plan doit être révisé. un exécutif décisionnel Il coordonne le niveau décisionnel. Son rôle est détaillé dans le paragraphe suivant. 3.3 Coordination Ce niveau décisionnel intègre plusieurs planificateurs, chacun étant dédié à un certain type d activité (par exemple observation ou télédéchargement). Une autre option aurait pu être l utilisation d un planificateur global unique qui prend en compte tous les types de requêtes et gère les interactions entre tous les types d activités (cf. le planificateur HSTS utilisé dans le cadre de l expérimentation Remote Agent [9] ou CASPER à bord du satellite Earth Observing-1 [4]). Ce choix a été motivé par la possibilité d utiliser des algorithmes dédiés plus performants. En contrepartie, le contrôle de ces planificateurs est plus compliqué. Ils ont des conditions d activation différentes, des durées différentes, des horizons de raisonnement différents, ils peuvent être interruptibles ou non interruptibles, et ils ont besoin d être coordonnés (un planificateur utilise le résultat d un autre planificateur, ou bien, un planificateur est utilisé à la place d un autre en fonction du contexte). Ainsi, dans notre approche, l exécutif décisionnel est chargé du contrôle de l exécution des activités du plan, mais également du contrôle des différents planificateurs. Nous proposons un schéma de contrôle générique (indépendant de l application) pour implémenter l exécutif. Les planificateurs peuvent être considérés comme des activités spécifiques qui doivent être contrôlées au même titre que les activités du plan. Par contrôler une activité, on entend : décider de son activation ou de son arrêt en fonction de certaines conditions et du contexte. L exécutif décisionnel peut être considéré comme un module recevant et émettant des signaux, et le contrôle d une activité peut être géré à l aide d un automate d état. Nous définissons un automate d état générique pour le contrôle d une activité qui permet de représenter des comportements variés (activité interruptible, non interruptible, à durée limitée, etc.). 3.4 Exécutif décisionnel I O Interface VC TrStart, TrStop, fr, exec FIG. 2 Exécutif décisionnel Activité (a4,p4) Activité (a3,p3) Activité (a2,p2) Activité (a1,p1) La Figure 2 illustre l implémentation de l exécutif décisionnel. Il peut recevoir un ensemble I de signaux en entrée et émettre un ensemble O de signaux en sortie. Ces signaux peuvent être valués et correspondent, par exemple, à des événements et à des commandes. Un ensemble V C de variables de contrôle est utilisé pour représenter et maintenir le contexte d exécution. La valeur de ces variables évolue en fonction des signaux émis et reçus. L exécutif contrôle l exécution d un ensemble d activités A = {(a, P )}, une activité étant définie par son nom a et par un ensemble de paramètres P. Les signaux en entrée sont spécifiques à l application. Certains ne sont utilisés que pour mettre à jour les variables de contrôle, d autres sont utilisés pour contrôler les activités. Ces derniers sont traduits en signaux internes : TrStart (déclenche le lancement d une activité), TrStop (déclenche l arrêt d une activité), ou fr (bilan renvoyé à la fin d une activité). Ces signaux internes peuvent également être émis lors de l exécution d une transition de l automate. Une liste fifo de signaux internes est associée à chaque activité. Toutes les activités sont contrôlées selon un même schéma qui spécifie comment gérer le lancement, l exécution et l arrêt d une activité. Ce schéma est défini par deux automates d état. Un premier automate est utilisé pour gérer une instance de l activité en attente de lancement, le second est utilisé pour contrôler une instance de l activité en cours d exécution. L exécutif comporte une paire d automates pour chaque activité de A 3. L automate gérant une instance en attente est détaillé Figure 3. L état initial de l automate est IdleStarting. Il entre dans l état Starting sur réception d un signal interne TrStart. L exécutif vérifie alors que certaines conditions sont satisfaites pour pouvoir lancer l activité. Ces conditions sont exprimées dans Lc et Lca et portent sur le contexte d exécution (constitué par la valeur courante des variables 3 L implémentation courante ne permet pas l exécution en parallèle de deux instances d une même activité.

5 TrStart/startA, set(ltm) IdleStarting IdleExecuting). Elles correspondent par exemple à l envoi d un bilan sur le statut d exécution de l instance d activité. L exécutif déroule les automates selon la boucle décrite Table 1. Ltm/ LtmA (Lc&Lca&activity_is _in_state_idleexecution)/ exec,reset(ltm) Starting Lca Lca/Alc Ltm/ LtmA Enable Starting Condition FIG. 3 Automate pour l instance d activité en attente de lancement de contrôle et l état courant de tous les automates). On considère deux types de conditions : des conditions contingentes (Lc) et des conditions contrôlables (Lca). Si les conditions Lca ne sont pas satisfaites, l exécutif peut activer la procédure Alc pour rendre ces conditions vraies. Finalement, si Lc et Lca sont satisfaites, et si il n y a pas d instance de l activité en cours d exécution, l instance en attente peut être lancée via l émission du signal interne exec 4. Si les conditions ne peuvent pas être satisfaites, le délai Ltm définit la durée maximale autorisée pour essayer de lancer l activité. De façon similaire, le second automate gère l exécution (comprenant la surveillance de conditions et de délais) et l arrêt (en fonction de déclencheurs, conditions, bilans ou délais) de l instance d activité. Un exemple complet d instanciation du schéma de contrôle est donné Table 2. Etm, Ectm et Stm sont des délais représentant les durées maximales autorisées respectivement : pour la durée de l activité, pour essayer de restaurer des conditions d exécution, et pour la procédure d arrêt de l activité. Ec, Eca, Sc et Sca sont des formules exprimant des conditions sur le contexte d exécution. Ec et Eca correspondent aux conditions contingentes et contrôlables qui doivent être vérifiées pendant l exécution de l activité. Sc et Sca correspondent aux conditions qui doivent être satisfaites avant l arrêt d une activité. Finalement, Scmd, Aec, Asc, starta, exa, LtmA et StmA sont des procédures d émission de signaux internes et externes exécutées lorsque certaines transitions des automates sont franchies. Scmd correspond à la commande envoyée pour arrêter l activité. Aec et Asc sont les procédures utilisées pour restaurer des conditions contrôlables. starta, exa, LtmA et StmA sont des procédures associées à l entrée et à la sortie d un état non actif des automates (IdleStarting ou 4 Sur réception de ce signal, le second automate entre dans un état Executing et active la procédure Lcmd qui lance l activité. Boucle - traiter les signaux d entrée reçus : mise à jour des variables de contrôle et émission des signaux internes correspondants - si il existe une liste fifo non vide, ou si le contexte d exécution a changé, ou si le délai d un timer est atteint - pour chaque activité - consommer le premier signal de la fifo - pour chaque automate - mémoriser la première transition franchissable à partir de l état courant selon l ordre de priorité : (1)signal/(2)condition/(3)timer - pour chaque transition sélectionnée - set/reset des timers - exécution de la procédure (émission de signaux internes, émission de signaux externes, mise à jour des variables de contrôle) - mise à jour de l état de l automate TAB. 1 Cycle d exécution Au final, créer un exécutif pour une application spécifique revient à définir : l ensemble des activités, l ensemble des signaux d entrée et l ensemble des signaux de sortie, l ensemble des variables de contrôle, et les fonctions définissant leur évolution en fonction des signaux reçus et émis, et pour chaque activité, les conditions, délais et procédédures, et les correspondances entre les signaux d entrée et les signaux internes. Dans notre exemple d application, l exécutif décisionnel gère 7 activités : 2 qui concernent le plan (observation et télédéchargement), 4 qui concernent les planificateurs (planificateur d observations, règle de décision, planificateur de télédéchargement et estimateur de télédéchargement) et 1 pour le niveau décisionnel 5. Les variables de contrôle indiquent notamment si le satellite est en visibilité avec une station sol ou si un plan de télédéchargement est disponible pour la prochaine fenêtre de visibilité (detaileddownloadp lan = true). Le schéma de contrôle a été instancié pour chaque activité (cf. Table 2). Par exemple, le signal TrStart du planificateur d observations, qui doit être relancé à chaque fois que 5 On peut considérer en effet que les applications du niveau décisionnel sont activées ou arrêtées en fonction de commandes provenant du sol et des alarmes venant du niveau opérationnel.

6 le contexte de planification a changé, correspond à la réception d un événement signalant l arrivée d une nouvelle requête, ou l abandon d une requête, ou l achèvement d une observation, ou une alarme du processus de suivi de l état. Cependant, la commande de lancement n est envoyée que si un plan de télédéchargement ou une estimation des ressources est disponible (Lca). Cette condition peut être satisfaite en lançant l estimateur de télédéchargement (Alc) et en attendant son résultat. Toutefois, il est inutile de lancer le planificateur d observations lorsqu une observation est en cours d exécution (Lc), puisqu il faudra le relancer à la fin de l observation (pour tenir compte des nouveaux niveaux de ressource). TrStart RequestEvt(new) or RequestEvt(abandoned) or ReportEvt or AlarmEvt starta / Lc is_in_state(observation,idleexecution) Lca (updatedroughplan or detaileddownloadplan) and is_in_state(obs_planner,idleexecution) Alc if( is_in_state(obs_planner,idleexecution)) TrStop(observation planner) if ( updatedroughplan and detaileddownloadplan) TrStart(rough download planner) Ltm durée maximale de l estimateur de télédéchargement Lcmd Cmd_StartObsPlanner LtmA / exec / Ec true Eca true Aec / Etm Ectm 0 TrStop / Sc true Sca true Asc / Stm 0 Scmd Cmd_StopObsPlanner StmA if ( obsplanempty) Cmd_ErasePlanTimeline(observation) fr / exa / TAB. 2 Schéma de contrôle pour le planificateur d observations 4 Expérimentation La prochaine phase de ce travail est l adaptation des algorithmes de planification aux contraintes temps-réel et le test de leurs performances et de la boucle de reprogrammation dynamique sur un banc équipé d un processeur SPARC fourni par Alcatel Alenia Space. Une maquette a été conçue pour intégrer le niveau décisionnel décrit précédemment dans l architecture Plug & Play développée par Alcatel Alenia Space (cf. [8]). 4.1 Interface avec l architecture Plug & Play Niveau fonctionnel Niveau opérationnel Niveau décisionnel SCAO Composants applicatifs batterie Services (TM, TC, temps,...) Hardware... Bus logiciel OS et Hardware Dependent Software OBCP Accès direct aux services FIG. 4 Architecture Plug & Play Composants décisionnels L architecture Plug & Play a été conçue pour améliorer la réutilisation des composants logiciels et la modification dynamique du logiciel à bord. Elle se décompose en deux parties distinctes (voir la Figure 4). Une partie gelée contient l OS temps-réel, le logiciel dépendant du matériel et les services (réception de télécommandes, gestion de la télémétrie, gestion du temps, etc.). Et une partie plug & play regroupe les composants applicatifs indépendants. Ces composants peuvent faire des appels directs à la couche des services. Sinon, la communication entre la couche des services et les composants ou entre les composants est réalisée par un bus logiciel dédié à la transmission de télécommandes, de télémétrie et d événements. Ainsi, un niveau décisionnel peut être intégré grâce à l insertion de nouveaux composants applicatifs. Le niveau décisionnel reçoit des télécommandes du centre de contrôle au sol (par exemple de nouveaux objectifs mission), il produit des activités à réaliser par les sous-systèmes et reçoit des bilans sur ces activités, ou éventuellement des alarmes. Les composants décisionnels ont accès à des informations sur l état courant du système (par exemple le niveau de la batterie) via la couche des services et la télémétrie. Les activités planifiées par le niveau décisionnel sont souvent représentées à un niveau abstrait (par exemple faire une observation ) à cause de la complexité des algorithmes et de la nécessité de simplifier le problème de planification. Une telle activité doit ensuite être détaillée en une séquence de commandes pour les sous-systèmes. Ceci peut être réalisé en utilisant des OBCPs (On-Board Control Procedures, voir [7]). Une OBCP est associée à chaque type d activité. Lorsque l exécutif décisionnel décide de lancer ou arrêter une activité du plan, il envoie une télécommande via le bus dont l exécution active ou interrompt l OBCP correspondante. L exécution de l OBCP peut aussi élaborer des évé-

7 nements bilans renvoyés à l exécutif décisionnel. 4.2 Maquette Plus précisément, le niveau décisionnel de la maquette est constitué des composants applicatifs suivants : un composant planning, qui regroupe les quatre planificateurs et le processus de gestion des requêtes, un composant plan database, qui est responsable de la gestion du plan courant (intégration des plans fournis par les différents planificateurs, séquencement des activités du plan, surveillance de la consistance de l utilisation des ressources prédites par le plan et de l utilisation réelle), et un composant executive qui implémente l exécutif décisionnel. Afin de tester la boucle de reprogrammation dynamique, trois composants de simulation ont également été définis : Un composant data analysis est utilisé pour simuler la détection à bord de nouveaux points chauds et donc de nouvelles requêtes qui doivent être prises en compte dans la programmation de la mission. Un composant orbit propagator est utilisé pour simuler le calcul des événements orbitaux tels que la prédiction du prochain survol d une zone ou les fenêtres de visibilité avec les stations sol. Finalement, un composant SatSimu est utilisé pour simuler l exécution (succès ou échec) des activités et l évolution des ressources du satellite (l espace mémoire disponible et le niveau d énergie). La maquette est encore en cours de développement. Cependant, l exécutif décisionnel a été implémenté 6. Pour donner une idée du travail nécessaire pour développer un exécutif décisionnel pour une nouvelle application, le composant executive représente environ 2410 lignes de code, dont 50% sont génériques et réutilisables. La taille du code spécifique à l application augmente avec le nombre d activités (7 dans notre exemple), avec le nombre de signaux entrants et sortants (respectivement 10 et 22 dans l exemple), avec le nombre de variables de contrôle (6 dans l exemple) et avec le nombre de paramètres des signaux et activités. 5 Conclusion Les futurs scénarii d autonomie vont nécessiter l intégration de systèmes de planification dans le logiciel de vol d un satellite. Nous présentons dans cet article un exemple d architecture comprenant plusieurs planificateurs spécialisés et nous proposons un exécutif générique pour les coordonner. Une maquette est en cours de développement pour tester les performances temps-réel de ces algorithmes et la boucle de reprogrammation dynamique. 6 Remerciements Nous souhaitons remercier Sylvain Damiani et Gérard Verfaillie pour de nombreuses et enrichissantes discussions sur la planification et les architectures décisionnelles pour les applications spatiales, ainsi que Gérald Garcia et Christelle Roubion pour leur aide précieuse sur l implémentation de la maquette. Références [1] R. Alami, R. Chatila, S. Fleury, M. Ghallab, and F. Ingrand. An architecture for autonomy. International Journal of Robotics Research, Special Issue on Integrated Architectures for Robot Control and Programming, 17(4), [2] R. P. Bonasso, J. Firby, E. Gat, D. Kortenkamp, D. P. Miller, and M. G. Slack. Experiences with an architecture for intelligent, reactive agents. Journal of Experimental & Theoretical Artificial Intelligence, 9(2/3) : , April [3] M-C. Charmeau and E. Bensana. Agata, a lab bench project for spacecraft autonomy. In International Symposium on Artificial Intelligence Robotics and Automation in Space (isairas), [4] S. Chien, R. Knight, A. Stechert, R. Sherwood, and G. Rabideau. Using iterative repair to improve the responsiveness of planning and scheduling. In Proceedings of the International Conference on AI Planning Systems (AIPS), [5] S. Damiani, G. Verfaillie, and M-C. Charmeau. An earth watching satellite constellation : how to manage a team of watching agents with limited communications. In Proceedings of the International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), [6] Sylvain Damiani, Gérard Verfaillie, and Marie-Claire Charmeau. An anytime planning approach for the management of an earth watching satellite. In International Workshop on Planning and Scheduling for Space (IWPSS), [7] G. Garcia, C. Roubion, and S. Prunier. Java as a standardized on-board control procedures platform? In Proceedings of DASIA, [8] C. Moreno and G. Garcia. Plug & play architecture for on-board software components. In Proceedings of DASIA, [9] N. Muscettola. Hsts : Integrated planning and scheduling. In Fox, M., and Zweben, M., eds, Intelligent Scheduling, Morgan Kaufman, [10] N. Muscettola, P. P. Nayak, B. Pell, and B. Williams. Remote agent : To boldly go where no ai system has gone before. Artificial Intelligence, 103, langage C, avec des restrictions spécifiques aux applications spatiales telles que l allocation statique de mémoire.

Raisonnement symbolique et géométrique pour la robotique mobile

Raisonnement symbolique et géométrique pour la robotique mobile Introduction à la réunion finale Raisonnement symbolique et géométrique pour la robotique mobile J. Guitton, J.L. Farges Control Architectures of Robots - Bourges - 30 mai 2008 1 Plan Introduction Vers

Plus en détail

Planification et ordonnancement sous incertitudes Application à la gestion de projet

Planification et ordonnancement sous incertitudes Application à la gestion de projet Toulouse, 14 mai 2003 Planification et ordonnancement sous incertitudes Application à la gestion de projet Julien Bidot Plan Séminaire au LAAS Planification de tâches et ordonnancement Domaine d application

Plus en détail

Planification dynamique de tâches par raffinement pour un robot dans un environnement ambiant Nathan Ramoly 2éme année de thèse JJCR 15 20/10/2015

Planification dynamique de tâches par raffinement pour un robot dans un environnement ambiant Nathan Ramoly 2éme année de thèse JJCR 15 20/10/2015 Planification dynamique de tâches par raffinement pour un robot dans un environnement ambiant Nathan Ramoly 2éme année de thèse JJCR 15 20/10/2015 1 Introduction: contexte Objectif: Collaboration robot/environnement

Plus en détail

Une méthode d apprentissage pour la composition de services web

Une méthode d apprentissage pour la composition de services web Une méthode d apprentissage pour la composition de services web Soufiene Lajmi * Chirine Ghedira ** Khaled Ghedira * * Laboratoire SOIE (ENSI) University of Manouba, Manouba 2010, Tunisia Soufiene.lajmi@ensi.rnu.tn,

Plus en détail

Examen de Réseau Licence Licence GMI Maîtrise (Tous documents autorisés)

Examen de Réseau Licence Licence GMI Maîtrise (Tous documents autorisés) Examen de Réseau Licence Licence GMI Maîtrise (Tous documents autorisés) Contexte du sujet : Une entreprise spécialisée dans la production de matériel de mesure et d analyse météorologique propose des

Plus en détail

Analyse abstraite de missions sous PILOT

Analyse abstraite de missions sous PILOT Analyse abstraite de missions sous PILOT Damien Massé EA 3883, Université de Bretagne Occidentale, Brest damien.masse@univ-brest.fr Résumé Nous étudions la possibilité de réaliser un analyseur par interprétation

Plus en détail

Evaluation de performance en Sûreté de Fonctionnement

Evaluation de performance en Sûreté de Fonctionnement Groupe SdF Midi-Pyrénées Toulouse 5 juin 2015 Evaluation de performance en Sûreté de Fonctionnement - Andre.cabarbaye Plan Introduction Types de performances Finalité des analyses Attentes du donneur d

Plus en détail

Système tutoriel intelligent pour l apprentissage de travail procédural et collaboratif

Système tutoriel intelligent pour l apprentissage de travail procédural et collaboratif Système tutoriel intelligent pour l apprentissage de travail procédural et collaboratif Cédric Buche buche@enib.fr Pierre De Loor deloor@enib.fr Ronan Querrec querrec@enib.fr Laboratoire d Ingénierie Informatique

Plus en détail

Contributions à l'apprentissage automatique de réseau de contraintes et à la constitution automatique de comportements sensorimoteurs en robotique.

Contributions à l'apprentissage automatique de réseau de contraintes et à la constitution automatique de comportements sensorimoteurs en robotique. Contributions à l'apprentissage automatique de réseau de contraintes et à la constitution automatique de comportements sensorimoteurs en robotique. Mathias PAULIN LIRMM (CNRS, Univ. Montpellier II) 161

Plus en détail

Machine de Turing. Informatique II Algorithmique 1

Machine de Turing. Informatique II Algorithmique 1 Machine de Turing Nous avons vu qu un programme peut être considéré comme la décomposition de la tâche à réaliser en une séquence d instructions élémentaires (manipulant des données élémentaires) compréhensibles

Plus en détail

OrdoNet, un outil de modélisation et d analyse des graphes potentiel-tâche sous Matlab

OrdoNet, un outil de modélisation et d analyse des graphes potentiel-tâche sous Matlab OrdoNet, un outil de modélisation et d analyse des graphes potentiel-tâche sous Matlab Bruno Sareni, Gérard Fontan,, Elodie Chanthery, Stéphane Caux {Gerard.Fontan, Bruno.Sareni, Stephane.Caux}@enseeiht.fr

Plus en détail

REALISATION d'un. ORDONNANCEUR à ECHEANCES

REALISATION d'un. ORDONNANCEUR à ECHEANCES REALISATION d'un ORDONNANCEUR à ECHEANCES I- PRÉSENTATION... 3 II. DESCRIPTION DU NOYAU ORIGINEL... 4 II.1- ARCHITECTURE... 4 II.2 - SERVICES... 4 III. IMPLÉMENTATION DE L'ORDONNANCEUR À ÉCHÉANCES... 6

Plus en détail

PRÉSENTATION TRAVAIL EN COURS - APPRENTISSAGE INTERACTIF. Ianis Lallemand, 21 janvier 2013

PRÉSENTATION TRAVAIL EN COURS - APPRENTISSAGE INTERACTIF. Ianis Lallemand, 21 janvier 2013 PRÉSENTATION TRAVAIL EN COURS - APPRENTISSAGE INTERACTIF Ianis Lallemand, 21 janvier 2013 APPRENTISSAGE INTERACTIF definition Contours encore assez flous dans le champ de l apprentissage automatique. Néanmoins,

Plus en détail

Application industrielle de la Méthode formelle B

Application industrielle de la Méthode formelle B Application industrielle de la Méthode formelle B Guilhem Pouzancre Thierry Servat C novembre l e a r S 2005 y Contact@Clearsy.com EUROPARC de Pichaury Bâtiment C1 1330, av. Guillibert de la Lauzière 13

Plus en détail

Testing : A Roadmap. Mary Jean Harrold. Présentation de Olivier Tissot

Testing : A Roadmap. Mary Jean Harrold. Présentation de Olivier Tissot Testing : A Roadmap Mary Jean Harrold Présentation de Olivier Tissot Testing : A Roadmap I. L auteur II. Introduction sur les test : les enjeux, la problématique III. Les tests : roadmap IV. Conclusion

Plus en détail

SCHEMA DE CONNEXION. 49/51 rue Samatan 13 007Marseille Tel : 04 91 46 25 88 Fax : 04 91 46 49 15 Mail : support@nauticom.fr

SCHEMA DE CONNEXION. 49/51 rue Samatan 13 007Marseille Tel : 04 91 46 25 88 Fax : 04 91 46 49 15 Mail : support@nauticom.fr SCHEMA DE CONNEXION Les schémas ci-dessous montrent l intégralité des installations possibles entre des instruments et un ordinateur où le Multiplexeur NMEA joue un rôle prépondérant. Dans chaque cas l

Plus en détail

Cours de Génie Logiciel

Cours de Génie Logiciel Cours de Génie Logiciel Sciences-U Lyon Diagrammes UML (2) http://www.rzo.free.fr Pierre PARREND 1 Avril 2005 Sommaire Les Diagrammes UML Diagrammes de Collaboration Diagrammes d'etats-transitions Diagrammes

Plus en détail

Supervision des réseaux et services pair à pair

Supervision des réseaux et services pair à pair Supervision des réseaux et services pair à pair Présentation des travaux de Thèse Guillaume Doyen LORIA - Université Henri Poincaré pour l obtention du Doctorat en Informatique de l université Henri Poincaré

Plus en détail

Architecture des calculateurs

Architecture des calculateurs Chapitre 1 Architecture des calculateurs 1.1 Introduction Ce paragraphe n a pas la prétention de présenter un cours d informatique. D une manière générale, seuls les caractéristiques architecturales qui

Plus en détail

RAPPORT DE CONCEPTION UML :

RAPPORT DE CONCEPTION UML : Carlo Abi Chahine Sylvain Archenault Yves Houpert Martine Wang RAPPORT DE CONCEPTION UML : Bamboo Ch@t Projet GM4 Juin 2006 Table des matières 1 Introduction 2 2 Présentation du logiciel 3 2.1 Précisions

Plus en détail

La place des logiciels Open Source à ASTRIUM Philippe DAVID/Jean-Paul BLANQUART- 14 Décembre 2000. astrium

La place des logiciels Open Source à ASTRIUM Philippe DAVID/Jean-Paul BLANQUART- 14 Décembre 2000. astrium La place des logiciels Open Source à ASTRIUM Philippe DAVID/Jean-Paul BLANQUART- 14 Décembre 2000 astrium Expérience à ASTRIUM-F! Open Source Software : Peu d utilisation explicite dans les sytèmes spatiaux

Plus en détail

IBM WebSphere ILOG JRules Business Rule Management System (BRMS) systèmes de gestion de règles métier

IBM WebSphere ILOG JRules Business Rule Management System (BRMS) systèmes de gestion de règles métier Automatisation des décisions métier et réduction du délai de lancement de nouvelles initiatives IBM WebSphere ILOG JRules Business Rule Management System (BRMS) systèmes de gestion de règles métier Gestion

Plus en détail

Projet : Plan Assurance Qualité

Projet : Plan Assurance Qualité Projet : Document : Plan Assurance Qualité 2UP_SPEC_DEV1 VERSION 1.00 Objet Ce document a pour objectif de définir la démarche d analyse et de conception objet ainsi les activités liées. Auteur Eric PAPET

Plus en détail

Gestion dynamique des tâches dans les grappes

Gestion dynamique des tâches dans les grappes Gestion dynamique des tâches dans les grappes une approche à base de machines virtuelles Fabien Hermenier Équipe ASCOLA, École des Mines de Nantes 26 novembre 2009 Fabien Hermenier (ASCOLA) Gestion dynamique

Plus en détail

PRESENTATION EYE-SAT

PRESENTATION EYE-SAT PRESENTATION EYE-SAT OBJECTIFS DE LA MISSION OBJECTIFS SCIENTIFIQUES La lumière zodiacale 3 n La lumière zodiacale, c est quoi? n n Ø Faible lumière qui correspond à la diffusion de la lumière solaire

Plus en détail

Approche organisationnelle basée sur le paradigme agent pour la synthèse & la réutilisation des connaissances en ingénierie collaborative

Approche organisationnelle basée sur le paradigme agent pour la synthèse & la réutilisation des connaissances en ingénierie collaborative Approche organisationnelle basée sur le paradigme agent pour la synthèse & la réutilisation des connaissances en ingénierie collaborative Hind Darwich, doctorante en thèse CIFRE au sein de la société TDC

Plus en détail

Application des Spécifications détaillées pour la Retraite, architecture portail à portail

Application des Spécifications détaillées pour la Retraite, architecture portail à portail Pour Application des Spécifications détaillées pour la Retraite, architecture portail à portail Version 1.0 ON-X S.A. est une société du Groupe ON-X 15, quai Dion Bouton 92816 PUTEAUX cedex. Tél : 01 40

Plus en détail

WinReporter et RemoteExec vs SMS Analyse comparative

WinReporter et RemoteExec vs SMS Analyse comparative White Paper WinReporter et RemoteExec vs Analyse comparative Ce document détaille les différences entre l environnement de gestion Microsoft Systems Management Server et l utilisation conjuguée de WinReporter

Plus en détail

Architecture Logicielle

Architecture Logicielle Architecture Logicielle Chapitre 3: UML pour la description et la documentation d une architecture logicielle Année universitaire 2013/2014 Semestre 1 Rappel L architecture d un programme ou d un système

Plus en détail

Architecture d'entreprise : Guide Pratique de l'architecture Logique

Architecture d'entreprise : Guide Pratique de l'architecture Logique Guides Pratiques Objecteering Architecture d'entreprise : Guide Pratique de l'architecture Logique Auteur : Version : 1.0 Copyright : Softeam Equipe Conseil Softeam Supervisée par Philippe Desfray Softeam

Plus en détail

DEMARCHE OU PROCESSUS LOGICIEL

DEMARCHE OU PROCESSUS LOGICIEL DEMARCHE OU PROCESSUS LOGICIEL PROCESSUS LOGICIEL Définition Un processus définit une séquence d étapes, en partie ordonnées, qui concourent à l obtention d un système logiciel ou à l évolution d un système

Plus en détail

Projet : Recherche de source d onde gravitationnelle (analyse de données Metropolis Hastings Markov Chain) 1

Projet : Recherche de source d onde gravitationnelle (analyse de données Metropolis Hastings Markov Chain) 1 Université Paris Diderot Physique L2 2014-2015 Simulations Numériques SN4 Projet : Recherche de source d onde gravitationnelle (analyse de données Metropolis Hastings Markov Chain) 1 Objectifs : Simuler

Plus en détail

Contexte général de l étude

Contexte général de l étude 1 2 Contexte général de l étude Les entrepôts de données associés à des outils d analyse On Line Analytical Processing (OLAP), représentent une solution effective pour l informatique décisionnelle (Immon,

Plus en détail

Analyse de la démographie des objets dans les systèmes Java temps-réel

Analyse de la démographie des objets dans les systèmes Java temps-réel Analyse de la démographie des objets dans les systèmes Java temps-réel Nicolas BERTHIER Laboratoire VERIMAG Responsables du stage : Christophe RIPPERT et Guillaume SALAGNAC le 29 septembre 26 1 Introduction

Plus en détail

Système à enseigner : Robot M.I.M.I. MultipodeIntelligent à Mobilité Interactive. Version 1.0

Système à enseigner : Robot M.I.M.I. MultipodeIntelligent à Mobilité Interactive. Version 1.0 Système à enseigner : Robot M.I.M.I. MultipodeIntelligent à Mobilité Interactive Sommaire - Le Robot M.I.M.I. (Multipode Intelligent à Mobilité Interactive) - Présentation du Système à Enseigner. - Composition

Plus en détail

La Geo-Business Intelligence selon GALIGEO avec 26/10/2005 1

La Geo-Business Intelligence selon GALIGEO avec 26/10/2005 1 La Geo-Business Intelligence selon GALIGEO avec ESRI 2005 session «Décisionnel» 26/10/2005 1 La Business Intelligence : Une Définition La Business intelligence permet l utilisation des données opérationnelles

Plus en détail

Modélisation agent d une Architecture Logicielle de commande d un Véhicule Autonome

Modélisation agent d une Architecture Logicielle de commande d un Véhicule Autonome Modélisation agent d une Architecture Logicielle de commande d un Véhicule Autonome ENNAJI Mourad LASC université de Metz Ile du Saulcy B.P 80794 57 012 METZ Ennaji@lasc.sciences.univ-metz.fr Résumé Cet

Plus en détail

Diagnostic à la demande sur un système à événements discrets. Pierre-Jean Meyer

Diagnostic à la demande sur un système à événements discrets. Pierre-Jean Meyer Diagnostic à la demande sur un système à événements discrets Pierre-Jean Meyer 14 mars - 9 septembre 2011 Résumé Le travail réalisé par Sampath sur le diagnostic des systèmes modélisés par des machines

Plus en détail

Ionospheric and gamma-ray Observations Satellite

Ionospheric and gamma-ray Observations Satellite Ionospheric and gamma-ray Satellite NOTE SUR LE MANAGEMENT DU PROJET IGOSAT (REVUE D'EXIGENCES PRÉLIMINAIRES) Résumé Ce document définit les rôles et liens respectifs de chaque entité et acteurs du projet,

Plus en détail

NEXEYA pilote le projet collaboratif ACOVAS.

NEXEYA pilote le projet collaboratif ACOVAS. Le 12 juin 2013, pilote le projet collaboratif ACOVAS. Le projet ACOVAS, porté par, a été labellisé par le pôle AEROSPACE VALLEY dans le domaine d activités Systèmes Complexes et Intégration. ACOVAS est

Plus en détail

ECE/TRANS/180/Add.5/Amend.1

ECE/TRANS/180/Add.5/Amend.1 17 janvier 2013 Registre mondial Élaboré le 18 novembre 2004 conformément à l article 6 de l Accord concernant l établissement de règlements techniques mondiaux applicables aux véhicules à roues, ainsi

Plus en détail

Utilisation de l'outil GATeL pour l'évaluation des tests de logiciels critiques à l'irsn

Utilisation de l'outil GATeL pour l'évaluation des tests de logiciels critiques à l'irsn Journée SEE "Certification et méthodes formelles" Utilisation de l'outil GATeL pour l'évaluation des tests de logiciels critiques à l'irsn ONERA Toulouse, 3 février 2004 Jean Gassino (jean.gassino@irsn.fr).

Plus en détail

DIVAS - Description détaillée de l'architecture logicielle du système complet. Livrable N 3.A.1. Responsable : Samer Ammoun

DIVAS - Description détaillée de l'architecture logicielle du système complet. Livrable N 3.A.1. Responsable : Samer Ammoun DIVAS - Description détaillée de l'architecture logicielle du système complet Livrable N 3.A.1 Date: Mai 2008 Version: 1.0 Partenaires: Auteur: Sujet: Volet: Diffusion: Nombre de pages:14 ARMINES LCPC

Plus en détail

[ Hornet ] Charte de méthodologie

[ Hornet ] Charte de méthodologie [ Hornet ] Hornet Cette création est mise à disposition selon le Contrat Paternité - Pas d'utilisation Commerciale - Partage des Conditions Initiales à l'identique disponible en ligne http://creativecommons.org/licenses/by-nc-sa/2.0/fr/

Plus en détail

Environnements de Développement

Environnements de Développement Institut Supérieur des Etudes Technologiques de Mahdia Unité d Enseignement: Environnements de Développement Mme BEN ABDELJELIL HASSINE Mouna m.bnaj@yahoo.fr Développement des systèmes d Information Syllabus

Plus en détail

Eléments de spécification des systèmes temps réel Pierre-Yves Duval (cppm)

Eléments de spécification des systèmes temps réel Pierre-Yves Duval (cppm) Eléments de spécification des systèmes temps réel Pierre-Yves Duval (cppm) Ecole d informatique temps réel - La Londes les Maures 7-11 Octobre 2002 - Evénements et architectures - Spécifications de performances

Plus en détail

Gestion Electronique et Sécurisation du Fret International Multimodal

Gestion Electronique et Sécurisation du Fret International Multimodal Gestion Electronique et Sécurisation du Fret International Multimodal transports et de prise de rendez vous Date du fichier 10/03/2008 Nom du fichier Environnement de gestion ordre de transport.doc Version

Plus en détail

Application des Spécifications détaillées pour le RNIAM, architecture portail à portail

Application des Spécifications détaillées pour le RNIAM, architecture portail à portail Pour Application des Spécifications détaillées pour le RNIAM, architecture portail à portail Version 1.0 ON-X S.A. est une société du Groupe ON-X 15, quai Dion Bouton 92816 PUTEAUX cedex. Tél : 01 40 99

Plus en détail

Bilan de thèse à mi-parcours

Bilan de thèse à mi-parcours Bilan de thèse à mi-parcours Benjamin Lévy 26 mars 2012 Introduction La thèse de doctorat d informatique (école doctorale 130, EDITE) dont le titre officiel est le suivant : Avatars capables d écoute,

Plus en détail

Architectures Logicielles pour la Robotique Autonome

Architectures Logicielles pour la Robotique Autonome Architectures Logicielles pour la Robotique Autonome Félix Ingrand LAAS/CNRS, 7 Avenue du Colonel Roche, F-31077 Toulouse Cedex 04, France felix@laas.fr Draft version Final version : http://www.laas.fr/

Plus en détail

Guillaume SOLDERA (B guillaume.soldera@serli.fr) SERLI Informatique Bull OW2 Consortium. Comparatif Choco/Drools dans le cadre du projet JASMINe

Guillaume SOLDERA (B guillaume.soldera@serli.fr) SERLI Informatique Bull OW2 Consortium. Comparatif Choco/Drools dans le cadre du projet JASMINe Guillaume SOLDERA (B guillaume.soldera@serli.fr) SERLI Informatique Bull OW2 Consortium dans le cadre du projet JASMINe Avril 2008 Table des matières 1 Introduction 3 1.1 Rappel sur JASMINe.......................................

Plus en détail

M3301-2: Méthodologie de la production de logiciels Modélisation et construction des logiciels (C. Attiogbé) Travaux dirigés/pratiques - 2015/2016

M3301-2: Méthodologie de la production de logiciels Modélisation et construction des logiciels (C. Attiogbé) Travaux dirigés/pratiques - 2015/2016 M3301-2: Méthodologie de la production de logiciels Modélisation et construction des logiciels (C. Attiogbé) Travaux dirigés/pratiques - 2015/2016 encadrés par Christian Attiogbé, Amine Aouadhi Cahier

Plus en détail

Design Patterns. Pourquoi utiliser des patterns? Pourquoi utiliser des patterns? Les patterns vue de loin. D où viennent les design patterns?

Design Patterns. Pourquoi utiliser des patterns? Pourquoi utiliser des patterns? Les patterns vue de loin. D où viennent les design patterns? Noël NOVELLI ; Université de la Méditerranée ; LIF et Département d Informatique Case 901 ; 163 avenue de Luminy 13 288 MARSEILLE cedex 9 Design Patterns D où viennent les design patterns? D où viennent

Plus en détail

L ANALYSE DU RISQUE DE FAILLITE PAR LE BIAIS DES SYSTÈMES DE L INTELLIGENCE ARTIFICIELLE

L ANALYSE DU RISQUE DE FAILLITE PAR LE BIAIS DES SYSTÈMES DE L INTELLIGENCE ARTIFICIELLE L ANALYSE DU RISQUE DE FAILLITE PAR LE BIAIS DES SYSTÈMES DE L INTELLIGENCE ARTIFICIELLE Paul Pașcu, Assist Prof, PhD, Ștefan cel Mare University of Suceava Abstract: This article aims to present a number

Plus en détail

Planification et exécution de plan pour la robotique autonome

Planification et exécution de plan pour la robotique autonome Planification et exécution de plan pour la robotique autonome Matthieu Gallien Félix Ingrand LAAS-CNRS 7 avenue du Colonel Roche - 31077 Toulouse Cedex 4 - France {matthieu.gallien, felix.ingrand}@laas.fr

Plus en détail

Formula Negator, Outil de négation de formule.

Formula Negator, Outil de négation de formule. Formula Negator, Outil de négation de formule. Aymerick Savary 1,2, Mathieu Lassale 1,2, Jean-Louis Lanet 1 et Marc Frappier 2 1 Université de Limoges 2 Université de Sherbrooke Résumé. Cet article présente

Plus en détail

Gestion de contacts et Gestion de la Relation Client La GRC des PME PMI

Gestion de contacts et Gestion de la Relation Client La GRC des PME PMI Gestion de contacts et Gestion de la Relation Client La GRC des PME PMI è VISIONNAIR : GESTION DE CONTACTS, TRAVAIL DE GROUPE, RELATION CLIENT, HISTORIQUES, COMMUNICATION Capitalisez l information client

Plus en détail

Logiciel de Tests des Bancs de puissances Antennes (Ligne de Produits Antennes) THALES ALENIA SPACE Toulouse

Logiciel de Tests des Bancs de puissances Antennes (Ligne de Produits Antennes) THALES ALENIA SPACE Toulouse Logiciel de Tests des Bancs de puissances Antennes (Ligne de Produits Antennes) THALES ALENIA SPACE Toulouse Julien DELAUNAY Responsable Projets, ARCALE Thomas GRABIE, Jérome SINIGAGLIA Responsables Projets,

Plus en détail

Exemple de développement d une application

Exemple de développement d une application Exemple de développement d une application Département Informatique TELECOM SudParis 1ère année Dépt INF 2009/2010 Table des matières Exemple de développement d une application Département Informatique,,

Plus en détail

Rapport de certification

Rapport de certification Rapport de certification Security Intelligence Platform 4.0.5 Préparé par : Le Centre de la sécurité des télécommunications à titre d organisme de certification dans le cadre du Schéma canadien d évaluation

Plus en détail

[Résumé: Intégration d un contrôle automatisé dans une station de test électrique]

[Résumé: Intégration d un contrôle automatisé dans une station de test électrique] SEPTEMBRE 2013 INSA de Strasbourg Génie électrique : Option énergie Par : Adnane BOUKHEFFA Tuteur Institutionnel : M. Guy STURTZER Réalisé au sein du Groupe Legrand 290 Avenue de Colmar, Strasbourg 67100

Plus en détail

Bernard Bordonado Motorola Semiconducteurs

Bernard Bordonado Motorola Semiconducteurs LabVIEW et l automatisation de mesures de circuits intégrés RF pour applications automobiles Bernard Bordonado Motorola Semiconducteurs Page 1 Plan de la présentation Introduction Circuits intégrés RF

Plus en détail

Surveillance et maintenance prédictive : évaluation de la latence de fautes. Zineb SIMEU-ABAZI Univ. Joseph Fourier, LAG)

Surveillance et maintenance prédictive : évaluation de la latence de fautes. Zineb SIMEU-ABAZI Univ. Joseph Fourier, LAG) Surveillance et maintenance prédictive : évaluation de la latence de fautes Zineb SIMEU-ABAZI Univ. Joseph Fourier, LAG) SURVEILLANCE Analyser une situation et fournir des indicateurs! Détection de symptômes!

Plus en détail

Vers une approche Adaptative pour la Découverte et la Composition Dynamique des Services

Vers une approche Adaptative pour la Découverte et la Composition Dynamique des Services 69 Vers une approche Adaptative pour la Découverte et la Composition Dynamique des Services M. Bakhouya, J. Gaber et A. Koukam Laboratoire Systèmes et Transports SeT Université de Technologie de Belfort-Montbéliard

Plus en détail

Ordonnancement Temps Réel. Emmanuel GROLLEAU & Pascal RICHARD LISI/ENSMA {grolleau,richardp}@ensma.fr

Ordonnancement Temps Réel. Emmanuel GROLLEAU & Pascal RICHARD LISI/ENSMA {grolleau,richardp}@ensma.fr Ordonnancement Temps Réel Emmanuel GROLLEAU & Pascal RICHARD LISI/ENSMA {grolleau,richardp}@ensma.fr 2 Plan de la présentation 1. Introduction aux systèmes temps réel 1.1 Différents modèles de tâches 1.2

Plus en détail

Joint AAL Information and Networking Day. 21 mars 2012

Joint AAL Information and Networking Day. 21 mars 2012 Joint AAL Information and Networking Day 21 mars 2012 Présentation TéSA a pour objet : la mise en commun de moyens permettant de : rassembler et accueillir des doctorants ou post-doctorants dont les thèses

Plus en détail

Concevoir des applications Web avec UML

Concevoir des applications Web avec UML Concevoir des applications Web avec UML Jim Conallen Éditions Eyrolles ISBN : 2-212-09172-9 2000 1 Introduction Objectifs du livre Le sujet de ce livre est le développement des applications web. Ce n est

Plus en détail

Outil SANTE: Détection d erreurs par analyse statique et test structurel des programmes C

Outil SANTE: Détection d erreurs par analyse statique et test structurel des programmes C Outil SANTE: Détection d erreurs par analyse statique et test structurel des programmes C Omar Chebaro LIFC, Université de Franche-Comté, 25030 Besançon France CEA, LIST, Laboratoire Sûreté des Logiciels,

Plus en détail

Algorithmique et programmation : introduction

Algorithmique et programmation : introduction PAD INPT ALGORITHMIQUE ET PROGRAMMATION 1 Cours, Semaine 0 avril mai 2013 Algorithmique et programmation : introduction Résumé Ce document décrit le module «Algorithmique et Programmation 1». Il introduit

Plus en détail

Génie Logiciel 1. Julie Dugdale. Julie.Dugdale@upmf-grenoble.fr Daniel Bardou@upmf-grenoble.fr

Génie Logiciel 1. Julie Dugdale. Julie.Dugdale@upmf-grenoble.fr Daniel Bardou@upmf-grenoble.fr Génie Logiciel 1 Julie Dugdale Julie.Dugdale@upmf-grenoble.fr Daniel Bardou@upmf-grenoble.fr Tous les cours seront sur le Bureau Virtuel (cours, TDs, Génie Logiciel 1-2 etc.) Introduction et information

Plus en détail

Partie 6 : Ordonnancement de processus

Partie 6 : Ordonnancement de processus INF3600+INF2610 Automne 2006 Partie 6 : Ordonnancement de processus Exercice 1 : Considérez un système d exploitation qui ordonnance les processus selon l algorithme du tourniquet. La file des processus

Plus en détail

1. Introduction. 2. Diagramme des exigences

1. Introduction. 2. Diagramme des exigences 1. Introduction La complexité des systèmes techniques est telle que, sans outils de représentations abstraites et progressivement enrichies, les intervenants d un projet auraient de nombreuses difficultés

Plus en détail

TEPZZ 88_8 9A_T EP 2 881 839 A1 (19) (11) EP 2 881 839 A1 (12) DEMANDE DE BREVET EUROPEEN. (51) Int Cl.: G06F 1/32 (2006.01) G06F 9/48 (2006.

TEPZZ 88_8 9A_T EP 2 881 839 A1 (19) (11) EP 2 881 839 A1 (12) DEMANDE DE BREVET EUROPEEN. (51) Int Cl.: G06F 1/32 (2006.01) G06F 9/48 (2006. (19) TEPZZ 88_8 9A_T (11) EP 2 881 839 A1 (12) DEMANDE DE BREVET EUROPEEN (43) Date de publication:.06.1 Bulletin 1/24 (1) Int Cl.: G06F 1/32 (06.01) G06F 9/48 (06.01) (21) Numéro de dépôt: 1419809.0 (22)

Plus en détail

Enveloppes convexes dans le plan

Enveloppes convexes dans le plan ÉCOLE POLYTECHNIQUE ÉCOLES NORMALES SUPÉRIEURES ÉCOLE SUPÉRIEURE DE PHYSIQUE ET DE CHIMIE INDUSTRIELLES CONCOURS D ADMISSION FILIÈRE MP HORS SPÉCIALITÉ INFO FILIÈRE PC COMPOSITION D INFORMATIQUE B (XECLR)

Plus en détail

Langage dédié pour le pilotage de solveurs de contraintes

Langage dédié pour le pilotage de solveurs de contraintes LABORATOIRE D INFORMATIQUE DE NANTES-ATLANTIQUE UMR 6241 ÉCOLE DOCTORALE STIM, N. 503 «Sciences et technologies de l information et des mathématiques» Sujet de thèse pour 2010 Langage dédié pour le pilotage

Plus en détail

Processus d Informatisation

Processus d Informatisation Processus d Informatisation Cheminement de la naissance d un projet jusqu à son terme, deux grandes étapes : Recherche ou étude de faisabilité (en amont) L utilisateur a une idée (plus ou moins) floue

Plus en détail

«Audio et vidéo surveillance intelligente»

«Audio et vidéo surveillance intelligente» «Audio et vidéo surveillance intelligente» Jérôme Besnard Miriad Charles Lehalle - Miriad Sébastien Ambellouis INRETS Le plan La problématique La plateforme expérimentale mise en place Un exemple de détecteur

Plus en détail

Une extension pour RDF/RDFS utilisant des relations procédurales

Une extension pour RDF/RDFS utilisant des relations procédurales Une extension pour RDF/RDFS utilisant des relations procédurales Jean-François Baget * * INRIA Sophia-Antipolis & LIRMM(CNRS - UM2) LIRMM, 161 rue Ada, 34392 Montpellier Cedex 5 baget@lirmm.fr RÉSUMÉ.

Plus en détail

Valoriser vos bases de connaissances avec AMI Help Desk. AMI Enterprise Discovery version 3.9

Valoriser vos bases de connaissances avec AMI Help Desk. AMI Enterprise Discovery version 3.9 Valoriser vos bases de connaissances avec AMI Help Desk AMI Enterprise Discovery version 3.9 Février 2005 Sommaire 1 Objectifs d AMI Help Desk...3 2 Principes de fonctionnement...3 2.1 Mode de travail

Plus en détail

ENVIRONNEMENT DE WORKFLOW SCIENTIFIQUE

ENVIRONNEMENT DE WORKFLOW SCIENTIFIQUE ENVIRONNEMENT DE WORKFLOW SCIENTIFIQUE VALIDATION ET CONFORMITÉS Yuan LIN, Isabelle MOUGENOT, Thérèse LIBOUREL, LIRMM, 161 rue Ada, Montpellier Espace DEV, 500 rue JF Breton - Université de Montpellier

Plus en détail

Fribourg. Une démarche de spécification, de. d applications à base de services Web auto-adaptables*

Fribourg. Une démarche de spécification, de. d applications à base de services Web auto-adaptables* Journée de l'action ADAPT à Fribourg Une démarche de spécification, de conception et de développement d applications à base de services Web auto-adaptables* t Riadh Ben Halima, Karim Guennoun, Khalil Drira

Plus en détail

Un algorithme de programmation par contraintes pour la recherche d allocations leximin-optimales.

Un algorithme de programmation par contraintes pour la recherche d allocations leximin-optimales. Un algorithme de programmation par contraintes pour la recherche d allocations leximin-optimales. Sylvain Bouveret et Michel Lemaître Office National d Études et de Recherches Aérospatiales Centre National

Plus en détail

INF 1250 INTRODUCTION AUX BASES DE DONNÉES. Guide d étude

INF 1250 INTRODUCTION AUX BASES DE DONNÉES. Guide d étude INF 1250 INTRODUCTION AUX BASES DE DONNÉES Guide d étude Sous la direction de Olga Mariño Télé-université Montréal (Québec) 2011 INF 1250 Introduction aux bases de données 2 INTRODUCTION Le Guide d étude

Plus en détail

Sommaire. Liste des figures

Sommaire. Liste des figures Sommaire Liste des figures Résumé Nos sociétés modernes sont devenues des "sociétés à projets", et tout projet à besoin de méthodes : voir, juger, agir, analyser, planifier, et contrôler. Ce que nous appelons

Plus en détail

Programmation orientée domaine pour les services télécoms: Concepts, DSL et outillage

Programmation orientée domaine pour les services télécoms: Concepts, DSL et outillage Programmation orientée domaine pour les services télécoms: Concepts, DSL et outillage Areski Flissi Gilles Vanwormhoudt LIFL/CNRS (UMR 8022) Institut TELECOM 59655 Villeneuve d Ascq 59655 Villeneuve d

Plus en détail

Le premier objectif de Quickser est donc de proposer une solution avant tout source d économies et ce dans plusieurs domaines.

Le premier objectif de Quickser est donc de proposer une solution avant tout source d économies et ce dans plusieurs domaines. Quickser a été conçu dès que la version 7 de DB2/UDB annonçait la disponibilité d un dispositif majeur RTS (Real time statistic). En effet, les conséquences de la mise en œuvre de ce dispositif permettaient

Plus en détail

Introduction à l informatique temps réel Pierre-Yves Duval (cppm)

Introduction à l informatique temps réel Pierre-Yves Duval (cppm) Introduction à l informatique temps réel Pierre-Yves Duval (cppm) Ecole d informatique temps réel - La Londes les Maures 7-11 Octobre 2002 -Définition et problématique - Illustration par des exemples -Automatisme:

Plus en détail

produits DOSSIER PERMANENT, TRAVAIL DE GROUPE, RELATION CLIENT, HISTORIQUES, COMMUNICATION

produits DOSSIER PERMANENT, TRAVAIL DE GROUPE, RELATION CLIENT, HISTORIQUES, COMMUNICATION Gérez Automatisez Analysez P R O D U I T Et si vous travailliez aujourd hui avec les outils de demain? F I C H E La Gestion de la Relation Client par Excellence les + produits DOSSIER PERMANENT, TRAVAIL

Plus en détail

Systèmes d informations nouvelles générations. Répartition, Parallèlisation, hétérogénéité dans les SGBD. Exemple d application d un futur proche

Systèmes d informations nouvelles générations. Répartition, Parallèlisation, hétérogénéité dans les SGBD. Exemple d application d un futur proche Répartition, Parallèlisation, hétérogénéité dans les SGBD AI Mouaddib Département Informatique Université de Caen Systèmes d informations nouvelles générations! Constat :! Utilisation de nouveaux support

Plus en détail

GPA 789 : Analyse et Conception Orientées Objet. ETS Mickaël Gardoni Bureau A 3588 tel 84 11. Mise en Œuvre UML version du 24 avril 2009

GPA 789 : Analyse et Conception Orientées Objet. ETS Mickaël Gardoni Bureau A 3588 tel 84 11. Mise en Œuvre UML version du 24 avril 2009 GPA 789 : Analyse et Conception Orientées Objet ETS Mickaël Gardoni Bureau A 3588 tel 84 11 Mise en œuvre UML 1/ 25 Introduction Mise en œuvre d UML UML n est pas une méthode 2/ 25 1 UML n est qu un langage

Plus en détail

START AIR SAFE PROJECT AF 10/04/2014. Par corentin RICOU & William BOBO

START AIR SAFE PROJECT AF 10/04/2014. Par corentin RICOU & William BOBO START AIR SAFE PROJECT AF 10/04/2014 Par corentin RICOU & William BOBO TABLE DES MATIÈRES Table des matières Introduction 1 les besoins 1 platforme de travail 2 Conception 3 Architecture 3 Réalisation

Plus en détail

Les systèmes embarqués et les tendances technologiques: une évolution constante, une innovation continue!

Les systèmes embarqués et les tendances technologiques: une évolution constante, une innovation continue! Les systèmes embarqués et les tendances technologiques: une évolution constante, une innovation continue! Vasiliki Sfyrla Une approche des systèmes embarqués Les systèmes embarqués existent depuis longtemps.

Plus en détail

Manuel utilisateur de SmartLOG

Manuel utilisateur de SmartLOG Manuel utilisateur de SmartLOG Version : 1.1.1.1 du 21/11/14 Nom Société Fonction Date Rédacteur B. CHARLES ACTIO Chef de projets Test & mesures 10/07/2014 Approbateur D. RICHARD ACTIO Directeur Destinataire

Plus en détail

Julien MATHEVET Alexandre BOISSY GSID 4. Rapport RE09. Load Balancing et migration

Julien MATHEVET Alexandre BOISSY GSID 4. Rapport RE09. Load Balancing et migration Julien MATHEVET Alexandre BOISSY GSID 4 Rapport Load Balancing et migration Printemps 2001 SOMMAIRE INTRODUCTION... 3 SYNTHESE CONCERNANT LE LOAD BALANCING ET LA MIGRATION... 4 POURQUOI FAIRE DU LOAD BALANCING?...

Plus en détail

NOTE D APPLICATION EXIGENCES DE SECURITE POUR UN CHARGEMENT DE CODE EN PHASE D'UTILISATION

NOTE D APPLICATION EXIGENCES DE SECURITE POUR UN CHARGEMENT DE CODE EN PHASE D'UTILISATION P R E M I E R M I N I S T R E Secrétariat général de la défense et de la sécurité nationale Agence nationale de la sécurité des systèmes d information Paris, le 23 janvier 2015 N 260/ANSSI/SDE/PSS/CCN

Plus en détail

Contributions à l expérimentation sur les systèmes distribués de grande taille

Contributions à l expérimentation sur les systèmes distribués de grande taille Contributions à l expérimentation sur les systèmes distribués de grande taille Lucas Nussbaum Soutenance de thèse 4 décembre 2008 Lucas Nussbaum Expérimentation sur les systèmes distribués 1 / 49 Contexte

Plus en détail

Formulaires. Fiches de savoir associées. C.0.a., C.0.b., C.0.c., C.2.1.a., C.2.1.b. et C.2.3.a.

Formulaires. Fiches de savoir associées. C.0.a., C.0.b., C.0.c., C.2.1.a., C.2.1.b. et C.2.3.a. Activité 10 Formulaires Objectif Travailler sur des formulaires : observer le code et modifier l interface (IHM) de l application. Ressource à utiliser Base de données Formation appformation.mdb Fiches

Plus en détail

NVU, Notepad++ (ou le bloc-note), MySQL, PhpMyAdmin. HTML, PHP, cas d utilisation, maquettage, programmation connaissances en HTML, PHP et SQL

NVU, Notepad++ (ou le bloc-note), MySQL, PhpMyAdmin. HTML, PHP, cas d utilisation, maquettage, programmation connaissances en HTML, PHP et SQL Prise en main de NVU et Notepad++ (conception d application web avec PHP et MySql) Propriétés Intitulé long Formation concernée Matière Présentation Description Conception de pages web dynamiques à l aide

Plus en détail