Les travaux présentés dans ce manuscrit portent sur la conduite de systèmes complexes critiques. Ils s'inscrivent dans le cadre du projet CONNEXION (Investissements d'Avenir, BGLE2) qui réunit les principaux acteurs de la filière nucléaire française autour de la conception des systèmes de contrôle-commande des centrales et de leur exploitation. Dans le domaine de la conduite, les actions développées par le projet concernent la phase d'ingénierie avec pour objectif d'intégrer le point de vue de l'exploitant au plus tôt dans la validation des architectures de contrôle de commande, et la phase d'exploitation avec pour objectif de fournir une aide à la préparation et à l'exécution des procédures de conduite. Dans ce contexte, la contribution présentée dans ce mémoire porte sur la génération et la vérification de séquences d'actions de conduite répondant à un objectif donné et pouvant être opérées en toute sécurité sur le procédé. L'approche proposée repose la vérification d'une propriété d'atteignabilité sur un réseau d'automates temporisés modélisant le comportement des architectures. L'originalité réside dans la définition d’un cadre formel de modélisation sous la forme de patrons favorisant la réutilisabilité des modèles ainsi que dans la proposition d'algorithmes d'abstraction et de recherche d'atteignabilité itératifs exploitant la hiérarchisation intrinsèque des architectures afin de permettre le passage à l'échelle de l'approche proposée. La contribution a été éprouvée sur la plate-forme d'expérimentation CISPI du CRAN puis sur un cas d'étude à échelle industrielle proposé dans le cadre du projet CONNEXION / 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

Jamais nos modes de vie et les produits qui nous entourent n'ont évolué aussi rapidement. Cette évolution est un facteur nouveau à prendre en compte dans le développement de produits pour s'assurer de leur appropriation par les utilisateurs. C'est ainsi que les approches de conception s'orientent petit à petit vers l'intégration des usages. L'approche Living Lab est axée autour de quatre principes : le réalisme de la situation d'usage étudiée ; la continuité de la collaboration avec les utilisateurs ; la collecte de données d'usage spontanées ; l'augmentation de la capacité des utilisateurs à influencer le développement du produit. Ces principes facilitent le passage de la conception centrée-utilisateurs vers la conception centrée-usages, mais sont difficiles à réaliser concrètement. Pour accompagner et inspirer les concepteurs, nous proposons une méthode de pilotage de projet Living Lab composée de dix-huit opérations visant chacune l'atteinte d'un de ces principes. La méthode proposée est représentée sous forme de diagrammes NIAM-ORM, facilement compréhensibles car proche du langage naturel binaire. Deux projets urbains et deux projets industriels ont permis de tester notre méthode. La pertinence des opérations sur l'atteinte des principes est évaluée par le biais des réseaux bayésiens : selon les résultats obtenus, les opérations sont validées, ajustées ou reformulées puis ré-implémentées dans le modèle NIAM-ORM / Our way of life and the products that surround us have never evolved so quickly. This evolution is a new factor to take into account in the product development to ensure the product appropriation by the users. For that reason the design approaches try to integrate usages. The Living Lab approach is organised around four principles: the realism of the studied situation; the continuity in the collaboration with the users; the collection of spontaneous usage data; the empowerment of users in the design process. These principles facilitate the path from "user-centred design" to "usage-centred design" but are difficult to realise practically. To guide and inspire the designers we propose a Living Lab project method made of eighteen operations; each operation is supposed to reach one of the four principles. The proposed method is represented with NIAM-ORM diagrams which are easily understandable because of its similarity with natural language. We tested our method on two urban projects and two industrial projects. The relevance of the tested operations on the principle realisation is evaluated according to bayesian networks: depending on the results the operations are validated, adjusted or rephrased and implemented again in the NIAM-ORM model