ESA, ITT, 2021-2022

The aim of this project is to develop a tool enabling the formal verification of space systems designed with the TASTE toolset. The activity shall address the following challenges: (i) enable high-level modelling of behavioural system requirements in TASTE, (ii) develop a model-checking tool and approach for systems developed with TASTE and (iii) interpret the model-checking results on the TASTE design (e.g., illustrate the model-checking counter-examples with the TASTE components and interactions).

Partners: GMV Spain, GMV Portugal, IRIT Laboratory

Verimag people involved: Marius Bozga

Contact | Site Map | Site powered by SPIP 4.2.13 + AHUNTSIC [CC License]

info visites 4001502