Vers des systèmes informatiques plus sûrs et plus fiables, pertinents et sécurisés
Inspections, procédures et autres examens visent à s'assurer que les résultats de chaque étape du développement des logiciels répondent aux intentions de l'étape précédente. Les essais au sens de l'exécution des logiciels est l'une des nombreuses techniques utilisées dans la vérification des systèmes informatiques. La vérification systématique des systèmes informatiques permet d'éviter que les problèmes des logiciels ne soient présents dans l'environnement de production. Le projet MEALS (Mobility between Europe and Argentina applying logics to systems), financé par l'UE, a proposé une approche mathématique pour analyser les systèmes à des stades de développement précoces. Les partenaires du projet ont développé des outils mathématiques rigoureux et des techniques pour décrire tout système informatique et participer à sa conception. Il s'agit d'outils pour modéliser et analyser les types de systèmes tels que les contrôleurs embarqués, les systèmes distribués et les services Internet. Cela a été réalisé pour examiner les propriétés fondamentales liées à diverses fonctionnalités essentielles existantes, y compris l'exactitude fonctionnelle, les questions de sécurité, les profils de performances et les tolérances aux pannes. En vérifiant les aspects clés par le biais de ces outils, MEALS a démontré que la conception système correspond aux spécifications désirées. Ces outils et techniques aident à révéler les conceptions erronées avant la réalisation de tout investissement majeur. Plus de 300 articles scientifiques évalués par des pairs ont présenté les résultats du projet dans des revues spécialisées, des conférences internationales et des ateliers. Un transfert des connaissances, un développement communautaire et des activités de diffusion liées aux spécifications, la vérification et la synthèse de systèmes informatiques ubiquistes fiables ont été effectués par le biais de réunions, d'ateliers et d'activités de dissémination. En outre, 213 visites de recherche transatlantiques ont été effectuées. Grâce à MEALS, l'utilisation industrielle des techniques de vérification formelles sera étendue, améliorant considérablement la qualité des futurs logiciels développés.
Mots‑clés
Systèmes informatiques, développement de logiciels, vérification du système informatique, MEALS