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

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 développés de telle manière que 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.

Les architectures logicielles dans ces différents domaines cherchent 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 de la Première Journée sur les Architectures Logicielles pour la Robotique Autonome, les Systèmes Cyber-Physiques et les Systèmes Auto-Adaptables organisée le 1er décembre 2014 au LIP6 à Paris, ces secondes journées sont organisées pour poursuivre l'animation de la communauté par des échanges et des collaborations s'attaquant aux défis scientifiques communs au génie logiciel et au développement de ces architectures de contrôle, autonomiques et cyber-physiques.

Pour cette seconde édition, la thématique centrale de la journée est la modélisation, le contrôle et la simulation pour une conception des architectures logicielles visant leur validation et leur vérification. Les architectures de contrôle robotiques, autonomiques et cyber-physiques, en tant que systèmes de contrôle en réseau, sont des entités logicielles particulièrement difficiles à valider et à vérifier formellement. Pourtant, de plus en plus sensibilisé par la commercialisation de certains robots et par la réalisation de démonstrateurs pour répondre à différents défis (DGA Carotte, Total, DARPA Challenge, ...), le monde de la robotique a pris conscience de cet enjeu majeur auquel sont aussi confrontés les mondes des systèmes cyber-physiques et autonomiques.

L'expérience de la robotique autonome montre également que le test en conditions réelles est coûteux, difficile à contrôler et à mettre en oeuvre et rarement d'une converture suffisante pour valider l'architecture. La simulation, en particulier, offre une approche permettant d'immerger le système dans un environnement contrôlé, mais également de réduire la complexité des tests en simulant tout ou partie de l'architecture, par exemple pour remplacer un déploiement en réseau par un déploiement en local simulant les communications. Les avancées récentes en vérification montrent de leur côté que devant la complexité, seule l'utilisation de régularités et de patrons bien définis permettra de progresser vers une vérification formelle, partielle ou complète. Dans cet optique, le thème central de la journée vise à explorer l'impact de la prise en compte tôt dans la conception des architectures de référence et des architectures applicatives du besoin de les simuler pour les valider et de les analyser pour les vérifier.

Des contributions sur les approches de conception, modélisation et de mise en oeuvre, de même que les expériences réalisées dans les domaines de l'automatique, des systèmes embarqués répartis, des architectures de contrôle de robots, 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 contributions

Ces secondes journées seront organisées autour de présentations invitées et de présentations émanant des chercheurs, en parallèle avec la conférence hôte « Control Architectures of Robots, CAR 2015 ». Deux modalités de participation sont possibles :

• présentations longues requérant la soumission d'un article,
• posters requérant la soumission d'un article court,
• participation aux discussions en s'inscrivant simplement aux journées.

Pour éviter les problèmes de propriété intellectuelle, il ne sera pas fait d'actes formels de ces journées ; la présentation (longue ou poster) de travaux déjà publiés est donc possible, et il n'y aura pas de conflit pour les travaux qui sont en cours de soumission ailleurs ou le seront plus tard. Pour les auteurs qui le souhaiteront, les supports et les textes pourront cependant être mis sur le site des Journées.

Modalités de soumission

• la date limite de soumission est le lundi 18 mai 2015 ;
• les soumissions sont envoyées directement par courrier électronique à l'un ou l'autre des membres du comité scientifique ;
• les résultats et invitations à présenter à la journée seront données au plus tard le vendredi 29 mai 2015 ;
• que ce soit les présentateurs ou les simples participants, tous devront s'inscrire selon les modalités de la conférence hôte CAR 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
Julien Ponge, CITI-Inria, julien.ponge/at/insa-lyon.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