The SARGON Consortium is led by GMV having as subcontractors DFKI and UGA-VERIMAG. Each partner provides the following contributions:
- GMV (link www.gmv.com) is the main contractor in charge of the coordination of the consortium, elicitation of requirements, development and implementation of new components in TASTE and development of a use case based on a space application for the ExoTeR Rover using the RCOS.
- DFKI (link http://robotik.dfki-bremen.de/en/startpage.html) participates in the elicitation of requirements, the heritage of the Robot Construction Kit (Rock) (link http://rock-robotics.org) (software framework for robotics ) and the development of a use case at laboratory level for the ExoTeR Rover. DFKI as major developers of the Rock framework have an extensive user experience in the development of robotics applications (link http://robotik.dfki-bremen.de/en/research/projects/d-rock-1.html).
- UGA-Verimag (link http://www-verimag.imag.fr) will participate in the elicitation of the RAMS requirements and will exercise the TASTE2BIP tool developed under the ESA-funded project MoSaTT-CMP (link http://www-verimag.imag.fr/MoSATT-CMP.html?lang=en) to verify the space level application. The TASTE framework allows to support RAMS attributes by implementing a model-driven approach with an important emphasis in schedulability and timing, which matches well the robotics software, where the SW components interact with the environment and therefore have to satisfy constraints in timing. The correct-by-construction capabilities of TASTE could be verified during the validation phase using the BIP framework (link http://www-verimag.imag.fr/Rigorous-Design-of-Component-Based.html?lang=en).