ESA Open Invitation to Tender: 1-10664
Open Date: 19/05/2021 13:19 CEST
Closing Date: 30/06/2021 13:00 CEST

Formal testing methods on system and software models can enable early verification and detection of potential problems which would otherwise only be detected at later development or integration phases. To execute formal tests, the test criteria or requirements must be expressed as formal properties instead of the typical textual form. This is normally referred to as a model. Unfortunately, models are not easy to produce, understand or work with. They often rely on complex tools and very specific methodologies. The goal of this activity is to identify the best strategies, the required model properties, modelling tools and languages necessary to move from the existing requirement based approach to software engineering to a model based approach. The level of formalisation in the model will need to take into account existing tools and processes currently used in Ground Segment software definition. The associated workflow, including transitions across lifecycle phases, benefits and drawbacks shall be identified, examples prototyped and recommendations derived for future work in the area.

Directorate: Directorate of Tech, Eng. Quality
Estabilishment: ESTEC
ECOS Required: No
Classified: No
Price Range: 100-200 KEURO
Contracts Officer: Mateusz Knuter
Initiating Service: TEC-SF
IP Measure: N/A
Prog. Reference: E/0600-06 – Discovery
Tender Type: Open Competition
Open To Tenderers From: AT+BE+CA+CH+CZ+DE+DK+EE+EL+ES+FI+FR+GB+HU+IE+IT+LT+LU+LV+NL+NO+PL+PT+RO+SE+SI
Technology Keywords: 26-OTHERS
Products Keywords: 2-P-Other