Motivated by a purpose of closing the gap between theory and practice, this paper demonstrates how a well-known formal method is used to design a suitable control strategy for a large system. The formal method must deal with issues of complexity which usually prevent analysis of the large plant. The proposed strategies are based on modular principles and decomposition techniques and are proven to be able to cope with the complexity of the analysis of the investigated plant.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
During the last couple of years a lot of component- or object-oriented approaches have been presented to ease the implementation and reconfiguration of distributed control systems. Using these frameworks, the structure of the control objects follows the configuration of the mechanical components, and each object is instantiated as often as the corresponding device occurs in a plant. Having an object library, a control engineer will glue objects together, which means, in the context of the IEC 61499, connecting function blocks by event and data connections. This rapid way of implementation and reconfiguration makes also high demands on the verification process, which has to be done after each change. This means that the model of the plant has to be updated and the model of the distributed controllers have to be automatically generated to connect both in a closed loop. Both formal models should be modular to manage even large systems. Furthermore, the controller must be able to interact with the plant not only via Boolean data but via integer-valued data as well. Thus, the existing verification approaches have to be extended and an execution and a data processing model defined. The execution model includes the function block interface and the Execution Control Chart as well as their interconnections. For the arithmetical operations of adding and subtracting as well as the comparison of Boolean and integer-valued data it is shown how the data processing inside the function blocks has to be transformed to the formal model. Consequently, rules are defined for the transformation of the execution and data processing of function blocks with Boolean and integer-valued data. Due to the proposed separation, the resulting data processing model is not limited to IEC 61499 Basic Function Blocks. As formal model, Net Condition/Event modules (NCEM) and structures are used. Modelling of the plant and the analysis of the resulting closed-loop behaviour are presented using a small, but realistic manufacturing system.
Suggests a way of modelling of discrete measurement and control applications following the new international standard IEC 61499. The applications which are distributed and event driven, require an adequate formalism, clear enough to be adopted by engineers. The presented formalism of signal/net systems proved to be suitable for modelling of distributed applications alone, as well as for the interconnected systems combined with the model of the plant. Based on the modelling, numerous problems of verification can be effectively solved. The model checking is performed by a bunch of developed analysing tools, including VEDA (verification environment for distributed applications) and SESA (signal/event systems analyser). It includes: test for reachability of dangerous states, search of the never executable code, and validation or invalidation of arbitrary input/output specifications.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.