Skip to Main content Skip to Navigation

Contribution à la génération de séquences pour la conduite de systèmes complexes critiques

Abstract : The works presented in this manuscript deals with critical complex systems operation. They are part of the CONNEXION project (Investissements d'Avenir, BGLE2), which involves the main actors in the French nuclear industry around the design of control systems for power plants and their operation. In the operation field, the actions developed by the project concern the engineering phase with the aim of integrating the operator's point of view as soon as possible in the validation of control architectures, and the operation phase with the aim of providing assistance in the preparation and execution of operation procedures. In this context, the contribution presented in this manuscript deals with the generation and verification of action sequences that meet a given objective and that can be safely operated on the process. The proposed approach relies on verifying a reachability property on a network of timed automata modelling the behavior of architectures. The originality is in the definition of a formal modelling framework using patterns promoting the reusability of models, as well as in the proposition of abstraction and reachability iterative analysis algorithms exploiting the intrinsic hierarchization of architectures in order to scale-up of the proposed approach. The contribution was evaluated on the CISPI experimental platform of the CRAN, and on an industrial scale case study proposed within the framework of the CONNEXION project
Complete list of metadatas

Cited literature [88 references]  Display  Hide  Download
Contributor : Abes Star :  Contact
Submitted on : Friday, March 30, 2018 - 10:05:31 AM
Last modification on : Friday, May 17, 2019 - 11:37:24 AM


Version validated by the jury (STAR)


  • HAL Id : tel-01754706, version 1



Thomas Cochard. Contribution à la génération de séquences pour la conduite de systèmes complexes critiques. Automatique / Robotique. Université de Lorraine, 2017. Français. ⟨NNT : 2017LORR0355⟩. ⟨tel-01754706⟩



Record views


Files downloads