Un point de vue temps réel dans RobMoSys
Poitou Charentes, Poitiers (86000) - Référence : robmosys
Mis en ligne le 16 octobre 2017 par Mickael Baron (+ d'offres)
LIAS - ISAE / ENSMA
Type de contrat :Stage
Métier :Chercheur en informatique
Type d'entreprise :Autre type d'entreprise (client final)
Localisation :Poitou Charentes, Poitiers (86000)
Salaire :6 600 €/an
Télétravail :Pas de télétravail
Compétences requises :Programmation Temps Réel
Poste à pourvoir
Contexte
Le projet européen H2020 RobMoSys (https://robmosys.eu/) vise à définir un DSL (Domain Specific Language) dédié au monde de la robotique, permettant la séparation des rôles et des points de vue (comportement, composant, fonction, performance, sûreté, service, architecture système, configuration, etc.), tout en garantissant des passerelles entre les points de vue permettant de définir un système cohérent. Le LIAS se pose en tant que spécialiste de l’analyse de performances de par son expertise en validation temporelle des systèmes.
D’un point de vue technologique, RobMoSys se base sur la plateforme d’ingénierie dirigée par les modèles SmartSoft World, développée par l’université de Ulm (http://www.servicerobotik-ulm.de).
Le LIAS propose d’augmenter la sémantique temps réel et de proposer des passerelles (transformations de modèles) entre point de vue temps réel de RobMoSys et outils d’analyse d’ordonnançabilité tels que Cheddar ou MAST.
Sujet
Le stage consiste à prendre en main RobMoSys, en particulier la plateforme SmartSoft World, à y modéliser le système de contrôle d’un robot (typiquement un robot EV3), puis à proposer un méta-modèle pour le point de vue temps réel inspiré des méta-modèles que le laboratoire a développés (MoSaRT, Time4Sys), qui permet de représenter tous les éléments temps réel du système, et enfin à mettre en place une (ou des) transformations de ce modèle vers un ou des outils d’analyse d’ordonnançabilité. Si possible, le stage permettra l’implémentation d’un plugin d’analyse d’ordonnançabilité qui analysera directement les délais de bout-en-bout dans les chaînes de tâches.
Travail demandé
- Prendre en main SmartSoft World
- Modéliser le système de contrôle d’un robot dans cet environnement
- Prendre connaissance du point de vue temps réel proposé par Ulm
- Enrichissement éventuel
- Mettre en place des méthodes d’analyse, soit par transformation vers un outil tiers, soit par implémentation d’un plugin.
Le projet européen H2020 RobMoSys (https://robmosys.eu/) vise à définir un DSL (Domain Specific Language) dédié au monde de la robotique, permettant la séparation des rôles et des points de vue (comportement, composant, fonction, performance, sûreté, service, architecture système, configuration, etc.), tout en garantissant des passerelles entre les points de vue permettant de définir un système cohérent. Le LIAS se pose en tant que spécialiste de l’analyse de performances de par son expertise en validation temporelle des systèmes.
D’un point de vue technologique, RobMoSys se base sur la plateforme d’ingénierie dirigée par les modèles SmartSoft World, développée par l’université de Ulm (http://www.servicerobotik-ulm.de).
Le LIAS propose d’augmenter la sémantique temps réel et de proposer des passerelles (transformations de modèles) entre point de vue temps réel de RobMoSys et outils d’analyse d’ordonnançabilité tels que Cheddar ou MAST.
Sujet
Le stage consiste à prendre en main RobMoSys, en particulier la plateforme SmartSoft World, à y modéliser le système de contrôle d’un robot (typiquement un robot EV3), puis à proposer un méta-modèle pour le point de vue temps réel inspiré des méta-modèles que le laboratoire a développés (MoSaRT, Time4Sys), qui permet de représenter tous les éléments temps réel du système, et enfin à mettre en place une (ou des) transformations de ce modèle vers un ou des outils d’analyse d’ordonnançabilité. Si possible, le stage permettra l’implémentation d’un plugin d’analyse d’ordonnançabilité qui analysera directement les délais de bout-en-bout dans les chaînes de tâches.
Travail demandé
- Prendre en main SmartSoft World
- Modéliser le système de contrôle d’un robot dans cet environnement
- Prendre connaissance du point de vue temps réel proposé par Ulm
- Enrichissement éventuel
- Mettre en place des méthodes d’analyse, soit par transformation vers un outil tiers, soit par implémentation d’un plugin.
Profil recherché
Master 2 Informatique
Description de la société
Le LIAS (Laboratoire d'Informatique et d'Automatique pour les Systèmes) représente 35 enseignants chercheurs issus des sections CNU 27, 61 et 63 dans les disciplines de l’Automatique, du Génie électrique et de l’Informatique. Il a été créé depuis le 1er janvier 2012, suite à la fusion des laboratoires du LAII (Laboratoire d'Automatique et d'Informatique Industrielle) et du LISI (Laboratoire d'Informatique Scientifique et Industrielle).
Bien qu'ancré dans la communauté STIC pour les aspects fondamentaux, le LIAS, par ses applications, est naturellement ouvert au secteur SPI. Que ce soit sur les nouveaux modes de propulsion, sur la gestion d’énergie, sur le traitement des eaux, sur la modélisation informatique des systèmes complexes ou sur l’optimisation des systèmes temps réel, les complémentarités disciplinaires de l’Automatique, du Génie Electrique et de l’Informatique doivent apporter une plus-value au traitement de ces applications qui relèvent toutes de l’ingénierie.
Site web : www.lias-lab.fr
Bien qu'ancré dans la communauté STIC pour les aspects fondamentaux, le LIAS, par ses applications, est naturellement ouvert au secteur SPI. Que ce soit sur les nouveaux modes de propulsion, sur la gestion d’énergie, sur le traitement des eaux, sur la modélisation informatique des systèmes complexes ou sur l’optimisation des systèmes temps réel, les complémentarités disciplinaires de l’Automatique, du Génie Electrique et de l’Informatique doivent apporter une plus-value au traitement de ces applications qui relèvent toutes de l’ingénierie.
Site web : www.lias-lab.fr