Patrons de conception prouvés

National audienceLes concepteurs peuvent aujourd'hui justifier leurs décisions de conception à partir de patrons qu'ils ont appliqués. De même que la qualité d'un code source peut facilement être jugée par un regard rapide aux normes de codage qui ont été suivies, la qualité d'une conception peut maintenant être estimée d'après les patrons utilisés. De bons outils de conception logicielle embarquent une expertise de conception, sous une forme réutilisable, de patrons instanciables. Ces concepts sont transposables dans le domaine de la conception de système, en particulier selon le point de vue de leur vérification et de leur validation. Le raffinement est un outil d'ingénierie des systèmes corrects. Toutefois, cet outil, comme bien d'autres, nécessite une utilisation experte pour être efficace. Une telle expertise doit être cataloguée et réutilisée, quand cela est possible, sous la forme de patrons de conception. Ces patrons doivent cibler la vérification et la validation formelle, afin de fournir des outils de haut niveau dont l'usage permettrait de justifier l'atteinte d'objectifs de sécurité et de confiance. Construire de tels patrons nécessite des innovations théoriques. Nous pensons que les patrons de conception formels ou les patrons de conception prouvés vont être amenés à jouer un rôle vital dans la mesure, basée sur la vérification, de l'atteinte d'objectifs de sécurité et de confiance. Les patrons de conception prouvés ont une caractéristique très intéressante : ils sont construits d'après un objectif de validation des objets conçus et capturent l'information orientée preuve du système en cours de construction. Des premiers résultats ont été obtenus lors de l'étude de systèmes réactifs (INRS) et de la certification EAL5+ de politiques de sécurité de cartes à puces.