VERIFICATION AND VALIDATION OF REAL-TIME OPTIMISED SAFETY-CRITICAL GNC SW SYSTEMS – EXPRO PLUS
30, July 2021

ESA Open Invitation to Tender: 1-10895
Open Date: 29/07/2021 13:42 CEST
Closing Date: 07/10/2021 13:00 CEST

The availability of computational power and efficient numerical optimisation code have led to a rapid emergence of on-board real-time optimised guidance and control systems(RTOGACS). These systems, characterised by on-board generated trajectories, enable autonomous planning and decision making as required in precision entry descent landing, re-usable launchers, autonomous rendezvous docking, in-orbit servicing, in-orbit assembly, and agile pointing systems. RTOGACS rely on methods such as model predictive control, constrained nonlinear and/or convex optimisation, which raise new challenges not addressed by the traditional verification process. TheVV problem is non-deterministic polynomial time hard (NP hard), not tractable, motivating the need for reformulation of the problem into a solvable mathematical setting.This activity aims to develop and apply analytical, formal, model-based as well as data-driven procedures for efficient (worst-case/statistical) verification in a computationally efficient manner. Signal temporal logic will be used to formally incorporate and track specifications. These provide bounds on safety specifications allowing to correctly formulate and incorporate the RTOGACS specification problem into the VV problem by construction.This activity encompasses the following tasks:- VV requirements capture- Definition of benchmark problem (constrained pointing, precision landing with hazard avoidance or safe robotic operations with collision avoidance)- Analysis, trade-off, and architectural design of real-time optimised GNC systems to be compared with current procedures- Assessment and justification of advanced VV and formal analysis tools, including run-time monitoring control- Develop VV benchmark (SW – E2E Models), VV test plan, VV metrics- Execution of VV benchmark with comparative analysis with respect to baseline- Results synthesisSoftware shall be delivered under an ESA Software Community Licence, so that any individuals or entities within ESA Member States can access to it and can provide update to the community of users.

Estabilishment: ESTEC
ECOS Required: No
Classified: No
Price Range: 200-500 KEURO
Authorised Contact Person: Christophe Rene R. Seynaeve
Initiating Service: TEC-SAG
IP Measure: N/A
Prog. Reference: E/0901-01 – Technology Developme
Tender Type: Open Competition
Open To Tenderers From: AT+BE+CH+CZ+DE+DK+EE+EL+ES+FI+FR+GB+HU+IE+IT+LU+NL+NO+PL+PT+RO+SE
Technology Keywords: 5-A-I-AOCS/GNC Architecture / 5-C-II-Advanced Control, Estimation & Optimisation / 5-C-III-Multidisciplinary Optimisation
Products Keywords: 2-A-3-c-Other

If you wish to access the documents related to the Invitation to Tender, you have to log in to the ESA Portal.