Dans certains domaines, comme les avions, le médical, ... jusqu'à l'espaaaaaace, valider le fonctionnement d'un logiciel c'est ... vital.
Il y a donc des procédures et autres normes super restrictives.
Ici on parle donc d'une solution d’analyse temporelle multicœur: valider le comportement, sur la durée, d'un programme qui tourne donc sur nos processeurs multi-cœurs. Cad que c'est comme si il y avait plein de calculateurs en même temps qui doivent faire des opérations sur les mêmes données => il faut quand même gérer des choses comme, pas possible de lire/écrire la même donnée en même temps, sinon *boum*. Ou encore valider que tout marchera quand même même dans des cas extrêmes et plein d'autres joyeusetés du même ordre.
Pour plus d’informations, veuillez consulter: site web du projet MASTECS
cordis.europa.eu