/
0/5

0 avis

Model-based federation of systems of modelling


Type de document : Thèse
Langue : anglais

Responsabilité(s) :


Responsabilité(s) secondaire (s) :
Université de soutenance : Université de Technologie de Compiègne

Numéro national de thèse : 2017COMP2374

Année de publication : 2017


Discipline : Technologie de l Information et des Systèmes, Informatique : Unité de recherche Heudyasic (UMR-7253)

Sujets :


Mots clés :

Résumé(s) :

  • L'ingénierie des systèmes complexes et systèmes de systèmes conduit souvent à des activités de modélisation (MA) complexes. Les problèmes soulevés par les MA sont notamment : comprendre le contexte dans lequel elles sont exécutées, comprendre l'impact sur les cycles de vie des modèles qu'elles produisent, et finalement trouver une approche pour les maîtriser. L'objectif principal de cette thèse est d'élaborer une approche formelle pour adresser ce problème. Dans cette thèse, après avoir étudié les travaux connexes en ingénierie système et plus spécifiquement ceux qui portent sur la co-ingénierie du système à faire (le produit) et du système pour faire (le projet), nous développons une méthodologie nommée MODEF pour traiter ce problème. MODEF consiste en: (1) Caractériser les MA comme un système et plus généralement une fédération de systèmes. (2) Construire de manière itérative une architecture de ce système via la modélisation du contenu conceptuel des modèles produits par MA et leur cycle de vie, les tâches réalisées au sein des MA et leurs effets sur ces cycles de vie. (3) Spécifier les attentes sur ces cycles de vie. (4) Analyser les modèles (des MA) par rapport à ces attentes (et éventuellement les contraintes sur les tâches) pour vérifier jusqu'à quel point elles sont atteignables via la synthèse des points (ou états) acceptables. D'un point de vue pratique, l'exploitation des résultats de l'analyse permet de contrôler le déroulement des tâches de modélisation à partir de la mise en évidence de leur impact sur les modèles qu'elles produisent. En effet, cette exploitation fournit des données pertinentes sur la façon dont les MA se déroulent et se dérouleraient de bout en bout. A partir de ces informations, il est possible de prendre des mesures préventives ou correctives. Nous illustrons cela à l'aide de deux cas d'étude (le fonctionnement d'un supermarché et la modélisation de la couverture fonctionnelle d'un système). D'un point de vue théorique, les sémantiques formelles des modèles des MA et le formalisme des attentes sont d'abord données. Ensuite, les algorithmes d'analyse et d'exploitation sont présentés. Cette approche est brièvement comparée avec des approches de vérification des modèles et de synthèse de systèmes. Enfin, deux facilitateurs de la mise en œuvre de MODEF sont présentés. Le premier est une implémentation modulaire des blocs de base de MODEF. Le second est une architecture fédérée (FA) des modèles visant à faciliter la réutilisation des modèles formels en pratique. La formalisation de FA est faite dans le cadre de la théorie des catégories. De ce fait, afin de construire un lien entre abstraction et implémentation, des structures de données et algorithmes de base sont proposés pour utiliser FA en pratique. Différentes perspectives sur les composantes de MODEF concluent ce travail.
  • The engineering of complex systems and systems of systems often leads to complex modelling activities (MA). Some challenges exhibited by MA are: understanding the context where they are carried out and their impacts on the lifecycles of models they produce, and ultimately providing a support for mastering them. How to address these challenges with a formal approach is the central challenge of this thesis. In this thesis, after discussing the related works from systems engineering in general and the co-engineering of the system to be made (product) and the system for make (project) systems specifically, we position and develop a methodology named MODEF, that aims to master the operation of MA. MODEF consists in: (1) characterizing MA as a system (and more globally as a federation of systems) in its own right; (2) iteratively architecting this system through: the modelling of the conceptual content of the models produced by MA and their life cycles, the tasks carried out within MA and their effects on these life cycles; (3) specifying the expectations over these life cycles and; (4) analysing models (of MA) against expectations (and possibly tasks constraints) - to check how far expectations are achievable - via the synthesis of the acceptable behaviours. On a practical perspective, the exploitation of the results of the analysis allows figuring out what could happen with the modelling tasks and their impacts on the whole state of models they handle. We show on two case studies (the operation of a supermarket and the modelling of the functional coverage of a system) how this exploitation provides insightful data on how the system is end-to-end operated and how it can behave. Based on this information, it is possible to take some preventive or corrective actions on how the MA are carried out. On the foundational perspective, the formal semantics of three kinds of involved models and the expectations formalism are first discussed. Then the analysis and exploitation algorithms are presented. Finally this approach is roughly compared with model checking and systems synthesis approaches. Last but not least, two enablers whose first objectives are to ease the implementation of MODEF are presented. The first one is a modular implementation of MODEF's buildings blocks. The second one is a federated architecture (FA) of models which aims to ease working with formal models in practice. Despite the fact that FA is formalised within the abstract framework of category theory, an attempt to bridge the gap between abstraction and implementation is sketched via some basic data structures and base algorithms. Several perspectives related to the different components of MODEF conclude this work.

Autre(s) titre(s):

  • Titre traduit : Fédération dirigée par les modèles des systèmes de modélisation


Suggestions

Du même auteur

Un système de recommandation contextuel et composite pour la visite personnalisée de sites culturels | Benouaret, Idir (19..-....). Auteur

Un système de recommandation contextuel et composite pour la visite personnalisée de sites culturels / Benouaret, Idir (19..-....). Auteur, 2017

Notre travail concerne les systèmes d aide à la visite de musée et l accès au patrimoine culturel. L objectif est de concevoir des systèmes de recommandation, implémentés sur dispositifs mobiles, pour améliorer l expérience du vis...

Source : Ressources électroniques

THES|THES

NF28 - Ingénierie des systèmes interactifs |

NF28 - Ingénierie des systèmes interactifs - UTC, 2007

Cette UV présente les méthodes et les outils utilisés pour la conception, le développement et l'évaluation des systèmes interactifs. Elle traite tout d'abord des systèmes à interfaces graphiques, puis aborde des formes plus évolué...

Source : Ressources électroniques

POLY|POLY

Proximités sémantiques et contextuelles pour l'apprentissage en mobilité | Gicquel, Pierre-Yves. Auteur

Proximités sémantiques et contextuelles pour l'apprentissage en mobilité : application à la visite de musée / Gicquel, Pierre-Yves. Auteur, 2013

L'essor des dispositifs mobiles a conduit à un nouveau paradigme d'Environnements Informatiques pour l'Apprentissage Humain (EIAH) : les environnements d'apprentissage ubiquitaires. Tout comme beaucoup d EIAH classiques, les envir...

Source : Ressources électroniques

THES|THES

Du même sujet

Design and integration of multi-disciplinary interfaces | Zheng, Chen (19..-....). Auteur

Design and integration of multi-disciplinary interfaces : method and modelling language for mechatronic systems engineering / Zheng, Chen (19..-....). Auteur, 2015

Les systèmes mécatroniques sont caractérisés par la combinaison synergique de la mécanique, de l'électronique et de l'informatique en temps réel. Ils possèdent leur propre cycle de vie et doivent associer des expertises métiers et...

Source : Ressources électroniques

THES|THES

Méthode agile pour la conception collaborative multidisciplinaire de systèmes intégrés | Bricogne-Cuignières, Matthieu (19-....). Auteur

Méthode agile pour la conception collaborative multidisciplinaire de systèmes intégrés : application à la mécatronique / Bricogne-Cuignières, Matthieu (19-....). Auteur, 2015

Ces travaux portent sur la conception multidisciplinaire de systèmes intégrés. Ces systèmes sont soumis à un nombre d exigences toujours croissant, entraînant des besoins en termes d intégration fonctionnelle et spatiale. Ces diff...

Source : Ressources électroniques

THES|THES

3D modeling of city building and lifecycle simulation | Zhu, Wenhua (19..-....). Auteur

3D modeling of city building and lifecycle simulation / Zhu, Wenhua (19..-....). Auteur, 2017

Avec la construction et le développement de la ville intelligente, la façon de construire le modèle 3D réaliste des grands bâtiments de la ville rapidement et efficacement devient le hotspot de recherche. Dans cette thèse, une mét...

Source : Ressources électroniques

THES|THES

Chargement des enrichissements...

Avis des lecteurs