Skip to Main content Skip to Navigation

Co-spécification système exécutable basée sur des modèles - Application à la conduite interactive d'un procédé industriel critique

Abstract : Insofar as a system is a set of interacting elements whose complexity must be managed, the difficulty for a system architect is to guide the whole model architecture of a control system-situation studied as a set of interdisciplinary engineering part models interacting. The work presented in this thesis are specifically interested in the heuristic, specifying and executable nature of this whole relationship coupling descriptive models of problems (RH) and prescriptive models of solutions (Mh) to design a virtual model (MH) of system-of-interest. The holonic perspectives allows us to consider this coupling relationship as descriptive of a WHOLE (H) and prescriptive of each parts (h) as well in regards to system situation to perceive, as system-elements to architect. In this sense, our collaborative environment of system co-specification aims to support an iterative process based on the quest of knowledge elements (Kh) with each specialist engineering delivering constitutive models (Mh) satisfying basic requirements (Rh). This system co-modelling environment is itself composed of a set of system-components modelling environment, with the stated objective to preserve tools, methods and works of each stakeholders in order to facilitate the expression of their skills. The model (MH) aims to reflect the mission satisfaction of the required system (RH) in system-situation of interest (KH) limited for our case-study to the scale factor of the experimental platform CISPI (Safe and Interactive Control of Industrial Process) of CRAN SAFETECH project. Implementation of modelling and simulation technology is based on the system modelling language (SysML) for knowledge sharing. Moreover, it allows the WHOLE system verification and validation by co-execution of models around a co-simulation bus, including CISPI platform.
Complete list of metadata
Contributor : Fabien Bouffaron Connect in order to contact the contributor
Submitted on : Wednesday, January 27, 2016 - 10:22:11 PM
Last modification on : Wednesday, November 3, 2021 - 4:48:27 AM
Long-term archiving on: : Thursday, April 28, 2016 - 11:30:12 AM


Distributed under a Creative Commons Attribution 4.0 International License


  • HAL Id : tel-01754485, version 2


Fabien Bouffaron. Co-spécification système exécutable basée sur des modèles - Application à la conduite interactive d'un procédé industriel critique. Sciences de l'ingénieur [physics]. Université de Lorraine, 2016. Français. ⟨NNT : 2016LORR0001⟩. ⟨tel-01754485v2⟩



Les métriques sont temporairement indisponibles