A formal framework for model verification in System Engineering: UPSL - Archive ouverte HAL Accéder directement au contenu
Rapport Année : 2010

A formal framework for model verification in System Engineering: UPSL

Résumé

The aim of this paper is to present and to illustrate a formal model verification framework called UPSL (Unified Property Specification Language) applied here in System Engineering verification activities context. The concepts and principles, the associated languages and supporting platform specification are presented. This framework is based on formalization of requirement under the form of properties and the use of proof mechanisms of properties taking into account the multi models, multi disciplinary, multi domains, multi paradigms, and last the collaborative characteristic of a system engineering project.
Fichier principal
Vignette du fichier
RR-10-02.pdf (494.09 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00839870 , version 1 (01-07-2013)

Identifiants

  • HAL Id : hal-00839870 , version 1

Citer

Vincent Chapurlat. A formal framework for model verification in System Engineering: UPSL. 2010. ⟨hal-00839870⟩
80 Consultations
180 Téléchargements

Partager

Gmail Facebook X LinkedIn More