Modèles orientés utilisateurs pour la vérification formelle en contexte industriel - Département STIC Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Modèles orientés utilisateurs pour la vérification formelle en contexte industriel

Résumé

During the last six years, our research interest has been about how to leverage the integration of formal verification techniques within the industrial software development processes using model driven engineering. We have proposed and evaluated a context description language (called CDL) to ease properties and contexts formalizations while limiting state explosion occurrences. Results of this evaluation were promising (Dhaussy et al., 2009). However, using CDL within industrial settings remains limited due to the lake of methodology and the semantic gap between CDL and models manipulated in industry. In this paper, we propose a solution to face these limits through user oriented models that fill this gap
Au cours de ces six dernières années, nous nous sommes intéressés à la problématique d'intégration des techniques de vérification formelles de type model checking aux processus de développement industriel en tirant profit de l'Ingénierie Dirigée par les Modèles. Nous avons proposé et évalué un langage (nommé CDL) permettant de formaliser les propriétés ainsi que le comportement de l'environnement du modèle à valider pour faciliter la manipulation des outils de vérification formels et limiter le problème de l'explosion combinatoire. Les résultats ont été prometteurs (Dhaussy et al., 2009), mais la manipulation de CDL dans un cadre industriel souffre du manque du cadre méthodologique et constitue une rupture sémantique avec les modèles manipulés, jusqu'alors, dans les processus industriels. Dans cet article, nous proposons une solution à ce problème à travers la définition de modèles, orientés utilisateurs, permettant de faire cette jonction.
Fichier non déposé

Dates et versions

hal-00635763 , version 1 (25-10-2011)

Identifiants

  • HAL Id : hal-00635763 , version 1

Citer

Amine Raji, Philippe Dhaussy. Modèles orientés utilisateurs pour la vérification formelle en contexte industriel. IDM'11, Jun 2011, Lille, France. ⟨hal-00635763⟩
154 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More