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 | Plan du site | Site réalisé avec SPIP 3.1.15 + AHUNTSIC [CC License]

info visites 1737443