Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

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

Résumé : 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.
Liste complète des métadonnées

https://hal-ensta-bretagne.archives-ouvertes.fr/hal-00635763
Contributeur : Annick Billon-Coat <>
Soumis le : mardi 25 octobre 2011 - 18:25:11
Dernière modification le : mercredi 21 avril 2021 - 11:36:03

Identifiants

  • HAL Id : hal-00635763, version 1

Citation

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⟩

Partager

Métriques

Consultations de la notice

324