Patrons de conception prouvés

Thierry Lecomte Dominique Méry 1 Dominique Cansell 1
1 MOSEL - Proof-oriented development of computer-based systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Les 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..
Type de document :
Article dans une revue
Génie Logiciel - Magazine de l'ingéniérie du logiciel et des systèmes, GL & IS - 8, rue du Parc - 92190 MEUDON, 2007, Ingénierie dirigée par les modèles, pp.14-18
Liste complète des métadonnées

https://hal.inria.fr/inria-00184827
Contributeur : Dominique Cansell <>
Soumis le : vendredi 2 novembre 2007 - 09:55:57
Dernière modification le : jeudi 11 janvier 2018 - 06:19:52

Identifiants

  • HAL Id : inria-00184827, version 1

Collections

Citation

Thierry Lecomte, Dominique Méry, Dominique Cansell. Patrons de conception prouvés. Génie Logiciel - Magazine de l'ingéniérie du logiciel et des systèmes, GL & IS - 8, rue du Parc - 92190 MEUDON, 2007, Ingénierie dirigée par les modèles, pp.14-18. 〈inria-00184827〉

Partager

Métriques

Consultations de la notice

247