|The development of SCOPE software tools has been supported by the European Horizon H2020 project RobMosys.
This contribution is RobMoSys conformant.
The goal of the SCOPE project is to contribute to the RobMoSys ecosystem by proposing methods and tools to enable the assessment of system-wide safety properties at the behavioral level (the “deliberative layer”) where safe autonomy becomes the key challenge. With reference to the RobMoSys meta-model for robotic behavior , the goal of SCOPE is to provide tools that analyze and derive properties of a task by composing the properties that describe its skills and the environment, and, at runtime, ensure the correct execution of a task by monitoring it and propagating anomalies detected at the level of the skills.
The novelty of SCOPE is to use quantitative modelling and specification languages, so that it is possible to reason on real-time constraints, as well as resources, i.e, pre- and post-conditions for the correct execution of a skill deriving from the interaction between skills and software-hardware components sitting below the deliberative layer, plus the external environment which is directly or indirectly affected by the robot. The tools developed in SCOPE are validated on real-world scenarios using the R1 humanoid robot.
For additional information please contact Armando Tacchella (armando.tacchella _AT_ unige.it)
The SCOPE project has received funding from the European Union's Horizon 2020 research and innovation programme under grant agreement No 732410, in the form of financial support to third parties of the RobMoSys project.