Skip to Main content Skip to Navigation
Theses

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
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00182871
Contributor : Mohamed Graiet Graiet <>
Submitted on : Monday, October 29, 2007 - 12:48:10 PM
Last modification on : Thursday, November 19, 2020 - 1:00:36 PM
Long-term archiving on: : Monday, April 12, 2010 - 12:53:37 AM

Identifiers

  • HAL Id : tel-00182871, version 1

Collections

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⟩

Share

Metrics

Record views

501

Files downloads

2699