RAMSES for Robotics

Refinement of AADL Models for the Synthesis of Robot Systems

What is RAMSES?

The Systems Complexity Problem

Today’s robotics systems are rapidly growing in complexity and are becoming more and more difficult to  develop. Many design errors are introduced early in development and are only found at operation time; we observe robots executing slower than expected, missing their deadlines, or completely failing their mission.

Our Solution

RAMSES-ROS is a platform allowing designers to specify, analyze, verify and synthesize complex robotics systems  based on a component model library. Thanks to RAMSES-ROS, robotics systems are developed with less effort, reduced time to market and improved quality.

Competitive Advantages

  • Integrated design approach that simplifies system design using abstract components typed by reusable benchmarked library components.
  • Automated refinement of AADL models to add operating-system-specific components and characteristics.
  • Accurate processor, memory and communication resources consumption analyses to detect design errors before the system is implemented.
  • Extensible to add newly developed library components and legacy components via reverse engineering.
  • Automatic generation of C++ code, configuration and launch files for the ROS middleware and associated operating systems.
  • Besides ROS, the core RAMSES can be used to target different middleware and operating systems.

Technology

  • RAMSES-ROS extend RAMSES benefiting from the mature AADL (Architecture Analysis & Design Language), a key component of the USA DoD digital engineering strategy, and leveraging the OSATE reference open source tool for model editing and analysis capabilities.
  • It generates highly customizable C++ code using the well-known ROS (Robot Operating System) as middleware and development toolchain.
  • It is built using mature model-driven engineering tools and techniques such as EMF (Eclipse Modeling Framework), ATL (Atlas Transformation Language) and Acceleo.

Partnership

Issued from state-of-the-art research at the LTCI Lab of Télécom Paris and at the Lab-STICC of the University of South-Brittany, RAMSES-ROS has benefited from pre-maturation funds from IP-Paris and is now ready for a Proof of Concept (PoC) of its use in industry. We are therefore looking for industry partners building complex robotic systems to help us mature RAMSES-ROS. During our one-year PoC project, you will use and evaluate our tool on your systems and provide feedback for building a mature tool. This will allow us to evaluate the benefits of RAMSES-ROS for complex robotics systems development. More information can be found in our co-maturation project description.

Contact

  • Lucie Bourdon, Project Lead, luciewj.bourdon@gmail.com
  • Nischay Sharma, Technical Lead, nischay2413107@iitgoa.ac.in
  • Dominique Blouin, Scientific Consultant, Associate Professor, Télécom Paris, France, dominique.blouin@telecom-paris.fr
  • Eric Senn, Scientific Consultant, Associate Professor, University of South-Brittany, France, eric.senn@univ-ubs.fr