Moc4Space
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