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 objectifs
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 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 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 et validation, en particulier en fonction de leur impact et contraintes
sur les architectures logicielles
— les aspects du génie logiciel directement liés aux architectures logicielles : conception, développement,
tests, validation, gestion du cycle de vie, etc.
— 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, 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

This conference is aimed at addressing important aspects of robot control architectures, with a specific emphasis on distribution, verification and validation, languages and modeling, and implementation of control architectures. It brings together researchers and practitioners from universities, institutions and industries, working in this field. It intends to be a meeting to expose and discuss gathered expertise, identified rends and issues, as well as new scientific results and applications around software control architectures related topics, through plenary invited papers.

Theme
Due to their increasing complexity, nowadays intervention robots, that to say those dedicated for instance to exploration, security or defence applications, definitely raise huge scientific and commercial issues. Whatever the considered environment, terrestrial, aerial, marine or even spatial, this complexity mainly derives from the integration of multiple functionalities: advanced perception, planning, navigation, autonomous behaviours, in parallel with communication or robots coordination enable to tackle more and more difficult missions.

But robots can only be equipped with such functions if an appropriate hardware and software structure is embedded: the software architectures will hence be the main concern of this conference.
As quoted above, the control architecture is thus a necessary element for the integration of a multitude of works; it also permits to cope with technological advances that continually offer new devices for communication, localization, computing, etc. As a matter of fact, it should be modular, reusable, scalable and even readable (ability to analyze and understand it).
Besides, such properties ease the sharing of competencies among the robotics community, but also with computer scientists and automatics specialists as the domain is inherently a multidisciplinary one.

Numerous solutions have been proposed, based on the “classical” three layers architecture or on more “modern” approaches such as object or component oriented programming. Actually, almost every robot integrates its own architecture; the workshop will thus be a real opportunity to share reflections on these solutions but also on related needs, especially on middleware for robotics, which are of particular importance in multi-robot applications for instance.
Hence, this conference on control architectures of robots aims at gathering a large number of robotics actors (researchers, manufacturers as well as state institutions) in order to highlight the multiple issues, key difficulties and potential sources of advances.

Schedule – Dates
- Paper submission (full paper or extended abstract): May 18 2015
- Paper Acceptation Notification : May 29 2015
- Camera Ready due : June 29 2015
- Conference: 29-30 June 2015

Submission Guideline
- Even if CAR is a french conference, we prefer articles written in english
- No specific style is asked : latex article style is OK
- No limit on article length, usually articles for CAR are between 6 and 17 pages long !

Web Page
http://car-conference.fr/

Scientific Committee
- David Andreu LIRMM, Univ. Montpellier 2
- Noury Bouraqadi Ecoles des Mines de Douai,
- Jacques Malenfant LIP6, UPMC
- Roger Pissard-Gibollet INRIA Grenoble,
- Julien Ponge CITI-INRIA, INSA de Lyon
- Olivier Simonin CITI-INRIA, INSA de Lyon
- Serge Stinckwich UBCN & UMMISCO, IRD/UPMC