Modeling functional and non-functional properties of systems based on a multi-view approach

Carlos Ernesto Gómez Cárdenas 1
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Résumé : Au niveau système, un ensemble d'experts spécifient des propriétés fonctionnelles et non fonctionnelles en utilisant chacun leurs propres modèles théoriques, outils et environnements. Chacun essaye d'utiliser les formalismes les plus adéquats en fonction des propriétés à vérifier. Cependant, chacune des vues d'expertise pour un domaine s'appuie sur un socle commun et impacte direct ou indirectement les modèles décrits par les autres experts. Il est donc indispensable de maintenir une cohérence sémantique entre les différents points de vue, et de pouvoir réconcilier et agréger chacun des points de vue avant de poursuivre les différentes phases d'analyse. Cette thèse propose un modèle, dénommé PRISMSYS, qui s'appuie sur une approche multi-vue dirigée par les modèles et dans laquelle pour chacun des domaines, chaque expert décrit les concepts de son domaine et la relation que ces concepts entretiennent avec le modèle socle. L'approche permet de maintenir la cohérence sémantique entre les différentes vues à travers la manipulation d'événements et d'horloges logiques. PRISMSYS est basé sur un profil UML qui s'appuie autant que possible sur les profils SysML et MARTE. Le modèle sémantique qui maintien la cohérence est spécifié avec le langage CCSL qui est un langage formel déclaratif pour la spécification de relations causales et temporelles entre les événements de différentes vues. L'environnement proposé par PRISMSYS permet la co-simulation du modèle et l'analyse. L'approche est illustrée en s'appuyant sur une architecture matérielle dans laquelle le domaine d'analyse privilégié est un domaine de consommation de puissance.
Type de document :
Thèse
Other [cs.OH]. Université Nice Sophia Antipolis, 2013. English. 〈NNT : 2013NICE4153〉
Liste complète des métadonnées

Littérature citée [61 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-00931001
Contributeur : Abes Star <>
Soumis le : lundi 7 avril 2014 - 11:38:32
Dernière modification le : lundi 4 décembre 2017 - 15:14:09
Document(s) archivé(s) le : lundi 7 juillet 2014 - 11:10:12

Fichier

2013NICE4153.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-00931001, version 2

Collections

Citation

Carlos Ernesto Gómez Cárdenas. Modeling functional and non-functional properties of systems based on a multi-view approach. Other [cs.OH]. Université Nice Sophia Antipolis, 2013. English. 〈NNT : 2013NICE4153〉. 〈tel-00931001v2〉

Partager

Métriques

Consultations de la notice

797

Téléchargements de fichiers

529