The work presented in this thesis concerns a framework applied to the modal approach for discrete-event system (DES). A mode is a particular configuration of a system where this one handles a set of components and has to respect a set of specifications. The problem of mode management is about the design of modes and on their switching. The aim of our work is to propose a, completely defined, designing framework, where the specifications are guaranteed, and only the admissible switching between modes may happen. It also verifies that every switching in a mode effectively leads to safely another one. To reach this goal, we firstly use the Supervisory Control Theory (SCT) which computes safe models in which the requirements are respected. The proposed framework is composed by several steps, splitting the different studies of design. The first step focuses on the formalization of requirements into mathematical models - Finite State Machine. The next one concerns the synthesis by SCT of the internal behavior of mode to ensure that the specifications are respected, independently of other modes. The third step studies the switching behavior such as the switching specifications in each mode are respected. In this step, the admissible switchings are specified and forbid the other ones. The next step is a function of process tracking which verifies that all switchings effectively lead into only one mode. In the opposite case, the function of process tracking identifies and characterizes the problematic switchings to help the designer to solve these possibilities. At the end, a step of merging states is computed to remove the non-significant states and obtaining one model per mode representing the behavior of this one. To show the applicability of the proposed framework, we apply it on an example used in the literature.
