Troisième Journée sur les Architectures Logicielles pour la Robotique Autonome, les Systèmes Cyber-Physiques et les Systèmes Auto-Adaptables

APPEL À CONTRIBUTIONS ET À PARTICIPATION

Troisième Journée sur les Architectures Logicielles
pour la Robotique Autonome, les Systèmes Cyber-Physiques
et les Systèmes Auto-Adaptables

sur le thème

Modèles à l'exécution (model@runtime) pour la vérification
la simulation et l'auto-adaptabilité dynamiques

organisée par le Laboratoire LIP6,
soutenue par l'action transversale ALROB
entre les GDR GPL et Robotique du CNRS

LIP6/Université Pierre et Marie Curie, 7 décembre 2015
Date limite des propositions : vendredi 13 novembre 2015
Types : présentations et posters (travaux nouveaux ou dejà publiés)

Depuis une vingtaine d'années, la robotique autonome fait face à une
croissance rapide dans la complexité des besoins et des exigences pour
des robots chargés de missions multiples, capables de se coordonner,
et fournissant des garanties de sûreté et de sécurité puissent être
vérifiées et certifiées en vue d'une utilisation dans un environnement
humain. En parallèle, une évolution similaire dans le domaine des
systèmes temps-réel embarqués répartis a justifié l'émergence du
domaine des systèmes « cyber-physiques » reflétant une montée
similaire en complexité. D'autres domaines sont également apparus,
comme l'informatique autonomique, partageant les mêmes défis
scientifiques dans la conception et la mise en oeuvre de leurs
architectures logicielles.

Ces architectures logicielles visent toutes, globalement, à intégrer
un système informatisé de contrôle avec d'autres traitements
d'informations de plus en plus lourds (cartographie, planification,
analyse de données, apprentissage, etc.), et ce dans un contexte en
prise constante avec le monde réel. L'expérience de ces vingt
dernières années en robotique autonome montre que dans ces domaines la
réalisation d'architectures logicielles correctes et sûres, facilement
réutilisables et évolutives reste un défi formidable car il est très
difficile d'obtenir un bon découplage entre capteurs, contrôle,
algorithmes et actionneurs. La prise en compte du temps et des
contraintes diverses a mené à des systèmes très couplés, où les
caractéristiques des capteurs et des actionneurs de même que le cahier
des charges des fonctionnalités attendues finissent par dicter des
solutions spécifiques en termes d'algorithmes, d'architectures, de
configurations des intergiciels et du système, etc., solutions qui
sont coûteuses à développer et ensuite difficiles à valider, à
vérifier et à faire évoluer.

Après le succès des Première et Seconde Journées organisées le 1er
décembre 2014 au LIP6 à Paris et les 29-30 juin 2015 au CITI à Lyon,
cette troisième journée souhaite poursuivre l'animation de la
communauté par des échanges et des collaborations sur les défis
scientifiques communs au génie logiciel et au développement de ces
architectures de contrôle, autonomiques et cyber-physiques.

Pour cette troisième édition, la \textbf{thématique centrale est «
Modèles à l'exécution » (model@runtime)}. L'utilisation de modèles
d'architecture logicielle (UML, ...) ou de comportement (automates,
systèmes hybrides, ...) est une pratique centrale et courante en génie
logiciel depuis plusieurs années déjà. Plus récemment, l'idée
d'embarquer au sein du système une représentation de ses modèles
manipulable à l'exécution se développe de plus en plus. Ces modèles
embarqués peuvent alors servir de base à la vérification dynamique, à
l'apprentissage, à la simulation et plus généralement à
l'auto-adaptation dynamiques des architectures logicielles. Des
contributions sur les approches utilisant les modèles à l'exécution
développées dans les domaines des architectures de contrôle de robots,
de l'automatique, des systèmes autonomiques et des systèmes
cyber-physiques en général sont particulièrement attendues.

Des contributions peuvent également être soumises sur les thématiques
générales suivantes (toujours comprises dans l'optique des
architectures logicielles pour la robotique autonome, les systèmes
cyber-physiques et les systèmes auto-adaptables) :

- définition d'architectures logicielles ;
- langages de programmation, abstractions de programmation et patrons
de conception ;
- spécification, modélisation, validation et vérification, en fonction
de leur impact et contraintes sur les architectures logicielles ;
- l'ensemble des aspects du génie logiciel directement liés aux
architectures logicielles : conception, développement, tests,
validation, gestion du cycle de vie, etc. ; et
- la composition, coordination, inter-connexion de ces systèmes.

Types de propositions

L'objectif de ces journées est d'abord l'animation de la communauté de
recherche dans le domaine. La présentation de travaux nouveaux
non-publiés n'est pas une condition de participation. Les
propositions faites sur la base de travaux préalablement publiés sont
parfaitement acceptables. Deux types de propositions sont possibles :

- propositions de présentations orales requérant l'envoi d'un article,
ou
- propositions de posters requérant l'envoi d'un article court.

La sélection des travaux présentés oralement sera faite en fonction de
leur intérêt le plus large pour la communauté et leur pertinence par
rapport aux thèmes de la journée. Les propositions de présentations
orales non-retenues pourront se voir offrir la possibilité de
présenter un poster.

Pour éviter les problèmes de droits de publication sur les articles
déjà publiés ou à publier, il ne sera pas fait d'actes formels de ces
journées. La présentation (orale ou poster) de travaux déjà publiés,
en cours de soumission ailleurs ou à soumettre plus tard est donc tout
à fait possible. Pour les auteurs qui le souhaiteront, les supports
et les textes pourront cependant être mis sur le site de la journée.

Modalités de proposition

- la date limite des propositions est le vendredi 13 novembre 2015 ;
- les propositions sont envoyées directement par courrier électronique
à l'un ou l'autre des membres du comité scientifique ;
- les résultats et invitations seront donnés au plus tard le vendredi
20 novembre 2015.

Comité scientifique

David Andreu LIRMM andreu/at/lirmm.fr
Noury Bouraqadi EMDouai noury.bouraqadi/at/mines-douai.fr
Jacques Malenfant LIP6 jacques.malenfant/at/lip6.fr
Roger Pissard-Gibolet INRIA Grenoble roger.pissard/at/inria.fr
Romain Rouvoy LIFL-CRiSTAL romain.rouvoy/at/univ-lille1.fr
Éric Rutten INRIA Grenoble eric.rutten/at/inria.fr
Olivier Simonin CITI-Inria olivier.simonin/at/insa-lyon.fr
Serge Stinckwich UMMISCO serge.stinckwich/at/gmail.com