Cette soumission présente le projet Astrid Maturation
VéDySec (Vérification Dynamique de Propriétés de Sécurité)
qui a été soumis et accepté en 2024, et démarre début 2025,
avec une durée de 24 mois. Il porte sur les techniques de
spécification et vérification à l'exécution de propriétés de
sécurité et vise le passage du TRL 4 au TRL 6. Le consortium
inclut Thales TRT (coordinateur : Nikolai Kosmatov), le LIFO
(responsable scientifique : Frédéric Loulergue) et le CEA List
(responsable scientifique : Julien Signoles).