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

Abstract : This thesis proposes a process for Formal Verification of Software Architectures: DVFAL. The DVFAL process supports various formalisms of description of software architectures as: the ADL (Architecture Description Language), UML2.0, Symphony and of the UML2.0 profiles dedicated to the the software architectures domain. The DVFAL process recommends the Wright ADL as a pivot formal language permitting to represent software architectures described in the various above stated formalisms. Besides, he proposes transformations of models into the translators (Wright toward CSP of Hoare and Wright toward Ada) to benefit from tools of verification of the properties supporting CSP and Ada as FDR and FLAVERS. Finally, the DVFAL process proposes a UML2.0-Wright profile playing the role of an intermediate language between the formalisms basis of UML and Wright.
Document type :
Theses
Software Engineering. Université Joseph-Fourier - Grenoble I, 2007. French


https://tel.archives-ouvertes.fr/tel-00182871
Contributor : Mohamed Graiet Graiet <>
Submitted on : Monday, October 29, 2007 - 12:48:10 PM
Last modification on : Tuesday, January 27, 2009 - 8:57:41 AM

Identifiers

  • HAL Id : tel-00182871, version 1

Collections

UJF | LIG | UGA

Citation

Mohamed Graiet. Contribution à une démarche de vérification formelle d'architectures logicielles. Software Engineering. Université Joseph-Fourier - Grenoble I, 2007. French. <tel-00182871>

Export

Share

Metrics

Consultation de
la notice

156

Téléchargement du document

349