SHARC 2016 will be held in conjunction with Quatrièmes Journées Architectures Logicielles pour la Robotique Autonome, les Systèmes Cyber-Physiques et les Systèmes Auto-Adaptables.

Schedule-Dates

Paper submission (full paper or extended abstract):
Extended Deadline June 12 2016 Submit a paper
Paper Acceptation Notification: June 13 2016
Camera ready due: June 30 2016
Conference: June 30 2016 & July 1 2016

Submission Guideline

Even if SHARC is a french conference, we prefer article written in english
No specific style is asked : latex article style is welcome
No limit on article length, usually articles for SHARC are between 6 and 17 pages long !
Submissions must be sent by email to any member of the scientific committee

Keynotes

Benoit Clément (ENSTA Bretagne, Brest)
Optimization based control for Robots, solutions for the implementation issue

Matthieu Robert (MAD!NTEC)
Instrumentation & Automatisme appliqués au voilier de course

Benoît Caillaud (IRISA, Rennes)
Time Domains in Hybrid Systems Modeling

Description

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, monitoring and supervision, security or defence applications, medical and human assistance 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 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 sensing, 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 ideas and experiments on these solutions but also on related needs, especially on middleware and code generation for robotics, which are of particular importance in multi-robot applications. Architecture design requires also realistic simulation environments to test and to evaluate different solutions. Validity concerns functional, reactive and non-functional (Real-Time, consumption …) aspects.

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: architecture framework, process, validation and simulation.

Architectures Logicielles pour la Robotique Autonome, les Systèmes Cyber-Physiques et les Systèmes Auto-Adaptables

avec un accent particulier sur le thème

Génie logiciel pour la robotique autonome, les systèmes cyber-physiques et les systèmes autonomiques

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.

Les architectures logicielles dans ces 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 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 journées organisées le 1er décembre 2014 au LIP6 à Paris et les 29-30 juin 2015 au CITI à Lyon et le 7 décembre 2015 à nouveau au LIP6 à Paris, ces quatrièmes journées vont poursuivre l'animation de la communauté par des échanges et des collaborations sur les défis scientifiques communs au au développement de ces architectures de contrôle, autonomiques et cyber-physiques.

Pour cette nouvelle édition, la thématique centrale est le "Génie logiciel pour la robotique autonome, les systèmes cyber-physiques et les systèmes autonomiques". La mise en oeuvre de ces architectures posent des défis particuliers sur l'ensemble du développement et du cycle de vie : élicitations et expressions des besoins, conception,développement, tests unitaires, tests d'intégration, vérification et validation, sûreté de fonctionnement (expression des contraintes, détection des violations, détection des fautes, etc.), déploiement, évolution et maintenance. Des contributions sur l'ensemble de ce spectre sont attendues.

De plus, des contributions peuvent également être soumises sur les autres thématiques générales suivantes (mais 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 ;
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,
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 participation

Les journées sont organisées conjointement avec la conférence "Software and Hardware Architectures for Robots Control, SHARC 2016" (faisant suite à la série de conférences CAR organisées depuis 2006) et des sessions communes seront organisées. La participation aux journées est ouverte aux personnes souhaitant simplement assister aux présentations, consulter les posters et participer aux discussions. Participants simples et orateurs devront cependant s'inscrire à la conférence SHARC 2016.