Trustable Robotics and Autonomous Systems

http://www-instn.cea.fr/en/education-and-training/research-training/post-doc...

CONTEXT ------- The LSEA (Embedded and Autonomous Systems Design Laboratory) is working on methods, design principles and tools for the engineering of efficient and trustworthy software for embedded and autonomous systems. The laboratory has a recognized expertise in the field of model-based design of safety-critical systems, and has initiated an upstream work for the mastery of advanced technologies of safe self-adaptation and integration of trustworthy autonomy in critical systems. The lab plays an important role in standardization groups like AUTOSAR in the automotive domain as well as in the OMG (Object Management Group) standardization body responsible for the UML, SysML and MARTE standards, and contributes to the Eclipse open source model-based development platform Papyrus (www.eclipse.org/papyrus). Lab members are strongly involved in various industrial projects as well as collaborative French and European research projects for the development of model-based approaches for the design of autonomous real-time systems for robotics, automotive, railway, aerospace and smart energy systems.

WORK DESCRIPTION ---------------- The complexity of robotics and autonomous systems (RAS) can only be managed with well-designed software architectures and integrated tool chains that support the entire development process. Model-driven engineering (MDE) is an approach that allows RAS developers to shift their focus from implementation to the domain knowledge space and to promote efficiency, flexibility and separation of concerns for different development stakeholders. One key goal of MDE approaches is to be integrated with available development infrastructures from the RAS community, such as ROS middleware, OROCOS for real-time control, OpenCV for computer vision, or Gazebo for simulation.

These RAS platforms embrace communities of hundreds of stakeholders, which need to be preserved and strengthened. However, these communities are still rather fragmented, by representing specific technologies. To strengthen these platforms, to enable interconnections between them, and also between new ones e.g. Artificial Intelligence (AI)-based technologies, CEA envisions a model-driven approach built on top of the current code-centric platforms. To do so, the H2020 RobMoSys project (www.robmosys.eu), coordinated by CEA, is establishing the first EU Digital Industrial Platform for Model-Driven Development of Robotics Systems. To address the robotics domain according to the RobMoSys methodology and structures, a set of CEA tools are being collected under the Papyrus4Robotics [1] [2] [3] umbrella. This project is strategic for the LSEA laboratory and the DILS department.

The goal of this post-doc is to investigate and develop modular/compositional and predictable software architectures and interoperable design tools based on model-based (instead of code-centric) approaches. The work must be performed in the context of the RobMoSys project and other initiatives on assurance of robotics and autonomous systems. The main industrial goal is to simplify the effort of RAS engineers and thus allowing the development of more advanced, more complex autonomous systems at an affordable cost. In order to do so, the postdoctoral fellow will contribute to set-up and consolidate a vibrant ecosystem, tool-chain and community that will provide a unified model-based design, simulation, safety assessment and formal validation and verification environment.

PROFILE ------- You did a PhD in the area of Software-intensive Systems Engineering not longer than two years ago. You have knowledge and expertise in developing tools for engineering embedded systems in any safety-critical industrial sector (e.g., energy, transport, health, or manufacturing). You are familiar with design methods, tools and middleware for the modelling, deployment, simulation of robotics software systems. You are aware of open software initiatives and you actively ensure that you remain aware of the latest developments in state-of-the art software technology. You are familiar with technology areas such as:

• (Mandatory) Programming skills in languages such as Java, C and C++ • (Mandatory) Software modelling and transformation techniques: metamodeling, UML • (Highly Desirable) Knowledge of state-of-the-art software development environments and tools, in particular Eclipse: EMF, GMF • (Highly Desirable) ROS, Gazebo and related robotics technologies • (Desirable) knowledge on Artificial Intelligence: Machine/Deep Learning

The age limit is 30 years old for post-doc offers.

APPLICATION DOCUMENTS --------------------- Send the following documents to huascar.espinoza@cea.fr

• Detailed CV • Motivation letter • Recommendation letters

CONTACT PERSON -------------- Huascar ESPINOZA ORTIZ CEA LIST - PC 174 91191 Gif-sur-Yvette France Email: huascar.espinoza@cea.fr

START DATE AND DURATION ----------------------- Start as soon as possible. Post-Doc positions last one year and can be renewed once only (for 1 year).

[1] Kchir, S., Dhouib, S., Tatibouet, J., Gradoussoff, B., & Simoes, M. D. S. (2016, September). RobotML for industrial robots: Design and simulation of manipulation scenarios. In Emerging Technologies and Factory Automation (ETFA), 2016 IEEE 21st International Conference on (pp. 1-8). IEEE. [2] Nataliya Yakymets, Yupanqui Munoz Julho, Agnes Lanusse. Sophia framework for model-based safety analysis. Congrès Lambda Mu de maîtrise des risques et de sûreté de fonctionnement, October 21-23, Dijon, France, 2014 [3] Mahmoud Hussein, Réda Nouacer, Ansgar Radermacher, "Safe adaptation of vehicle software systems”, Microprocessors and Microsystems - Embedded Hardware Design 52: 272-286 (2017).