Contribution à une démarche de vérification formelle d'architectures logicielles

Résumé : Cette thèse propose une Démarche de Vérification Formelle d'Architectures Logicielles : DVFAL. La démarche DVFAL supporte divers formalismes de description d'architectures logicielles tels que : les ADL (langages de description d'architectures), UML2.0, Symphony et des profils UML2.0 dédiés au domaine des architectures logicielles. La démarche DVFAL préconise l'ADL Wright en tant que langage formel pivot permettant de représenter des architectures logicielles décrites dans les divers formalismes. En outre, elle propose des transformations de modèles sous forme des traducteurs (Wright vers CSP de Hoare et Wright vers Ada) pour bénéficier des outils de vérification des propriétés supportant CSP et Ada tels que FDR et FLAVERS. Enfin, la démarche DVFAL propose un profil UML2.0-Wright jouant le rôle d'un langage intermédiaire entre les formalismes à base d'UML et Wright.
Type de document :
Thèse
Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2007. Français


https://tel.archives-ouvertes.fr/tel-00182871
Contributeur : Mohamed Graiet Graiet <>
Soumis le : lundi 29 octobre 2007 - 12:48:10
Dernière modification le : mardi 27 janvier 2009 - 08:57:41
Document(s) archivé(s) le : lundi 12 avril 2010 - 00:53:37

Identifiants

  • HAL Id : tel-00182871, version 1

Collections

UJF | LIG | UGA

Citation

Mohamed Graiet. Contribution à une démarche de vérification formelle d'architectures logicielles. Génie logiciel [cs.SE]. Université Joseph-Fourier - Grenoble I, 2007. Français. <tel-00182871>

Exporter

Partager

Métriques

Consultations de
la notice

246

Téléchargements du document

1560