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.
Origine : Fichiers produits par l'(les) auteur(s)