Model-based federation of systems of modelling
Fédération dirigée par les modèles des systèmes de modélisation
Résumé
The engineering of complex systems and systems of systems often leads to complex concurrent modelling activities (MA). Some problems exhibited by these 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 problems with a formal approach is the central challenge of this thesis. In this thesis, we start by discussing the related works from systems engineering in general and the co-engineering of the product (system to be made) and the project (system for make) systems. The main challenges that emerge from this discussion for the mastering of MA are: the explicit and adequate abstractions of MA (and generally the product-and-process) – henceforth considered as the System-Of-Interest; the modelling framework to study this system; explicit algorithms for models (of the SOI) analysis against some formal requirements; the tooling of approaches. Following this discussion, we position a devised and developed methodology named MODEF, which addresses the aforementioned challenges and 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 of 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 how this exploitation provides insightful data on how the system (i.e. MA) 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 presented. Then the analysis and exploitation algorithms are presented. The latter are 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 building blocks. The second one is a federated architecture (FA) of models which aims to ease reuse models in practice and independently of a specific modelling tool. Despite the fact that FA is formalized 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. Finally, several perspectives (on resources allocation, analysis algorithms, model architecture, and expectations) related to the different components of MODEF conclude this work.
Keywords: systems engineering, product (system to be engineered) /project (system for engineering), model-based system engineering, architecture, assumption/preference formalism, model semantics, modelling-analysis, co-exploration, tooling issues, model reuse, multicategories, algorithmics
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 oeuvre 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.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...
