La vérification des systèmes par modélisation pour vaincre la complexité (VTU@home)

Les systèmes à forte composante logicielle sont la pierre de voûte d'activités aussi vitales que l'aérospatiale, le ferroviaire, l'automobile ou encore la médecine. On comprend très facilement l'importance des techniques qui permettent de s'assurer du bon fonctionnement des systèmes utilisés dans ces domaines. L'une de ces techniques est connue sous le nom de "Model Checking" (vérification par modélisation). Il s'agit de vérifier exhaustivement un modèle mathématique du système que l'on désire contrôler. Pour cela, on utilise un algorithme qui explore toutes les configurations possibles du système. Le nombre de ces configurations peut être énormément grand, elles peuvent rapidement atteindre des dimensions qui sont celles de l'Univers.

Le premier projet de la plateforme lituanienne de calcul partagé, VTU@home, s'intéresse à ce problème. Ce projet a été initié par des scientifiques de l'université de Kaunas qui ont choisi d'utiliser une méthode Monte Carlo élaborée par le Professeur R. Čiegis de l'Université Technique Gediminas (Vilnius).

Détails techniques : 3,2 Mo de mémoire vive maximum, environ 15 minutes par unité (sur un Q6600 @ 2,4 Ghz), quorum de un (une unité unique envoyée à chaque utilisateur), 7 jours pour renvoyer les unités.