Commutations sûres de mode pour les systèmes à évènements discrets
Institution:
Lyon, INSADisciplines:
Directors:
Abstract EN:
The work presented in this thesis concerns a framework applied to modal approach for DES. A mode is a particular configuration of system where it handles a set of components and has to respect a set of specifications. The problematic of mode management is about the design of modes and on their switching. The aim of our works ls to propose a framework completely defined where the specifications are guaranteed, and where only the admissible switching between modes may happen. Il also verifies that each switching ln a mode effectively leads to another one by safety manner. To reach this objective, we use the SCT which computes safe models in which the requirements are respected. The proposed framework is composed of several steps, splitting the different studies. The first study focuses on the formalization of requirements into mathematical models (automata). The two next concern the synthesis (by SCT} of the internal and switching behaviors of mode to firstly ensure the specifications are respected, independently of others, and secondly such as only th admissible switching may occur. The next step is a function of process tracking which verifies that all switching effectively lead into only one mode. In the opposite case, the function identifies and characterizes the problematic switching to help the designer to forbid them. At the end, a step for merging states is carry out to remove the non-significant states and to obtain one model per mode representing its behavior. To show the applicability of the proposed framework, we apply it on an example used in literature.
Abstract FR:
Le travail présenté dans ce mémoire concerne une démarche de conception appliquée à une gestion modale pour les systèmes à événements discrets (SED). Un mode est une configuration particulière du système où celui-ci exploite un ensemble de composants et doit respecter un ensemble de spécifications. La problématique de la gestion de mode porte principalement sur la conception des modes et sur leurs commutations. Notre objectif est de proposer une démarche de conception complètement définie où les spécifications sont assurément respectées, et où seules les commutations désirées entre modes peuvent se produire. Il est également vérifié que toute commutation dans un mode mène de manière sûre dans un autre mode. Pour réaliser cet objectif, nous utilisons la théorie de contrôle par supervision qui permet de concevoir des modèles sûrs par construction tel que les spécifications utilisées pour la construction soient respectées. La démarche proposée possède plusieurs étapes séparant ainsi les différentes études de conception. La première concerne la formalisation du cahier des charges en modèles automate à états. L’étude suivante concerne le comportement interne où celui-ci doit respecter les spécifications propres aux modes, indépendamment des autres modes. Cette étape valide le comportement de chaque mode, avant d’étudier leurs commutations. La troisième étape étudie le comportement commutatif tel que les spécifications de commutations soient respectées. Cette étape spécifie les commutations désirées, et inversement celles non voulues. L’étape suivante est l’exécution d’une fonction de suivi de trajectoire qui vérifie que toutes les commutations mènent bien dans un autre mode. Dans le cas contraire, la fonction de suivi identifie et caractérise les commutations problématiques afin d’aider le concepteur dans la résolution de ces situations. Enfin, une étape de fusion d’états finalise la démarche afin de fournir un modèle par mode qui représente le comportement de celui-ci. Pour montrer l’applicabilité de la démarche proposée, et sa faculté à être utilisée en milieu industriel, nous l’utilisons sur un exemple de taille importante utilisée dans la littérature.