No abstract

Abstract:Within the framework of Supervisory Control Theory, synthesis algorithms enable automatic generation of control rules from behavioural models of the process to be controlled and of goals to be achieved. This paper talks about a pragmatic use of these algorithms within an automation engineering context and focuses on two key issues: process and goals modelling and supervisory controller implementation. In this way, the approach presented in this paper combines the synthesis techniques and algorithms with an object-oriented automation method that supplies guidelines for the analysis, the design and the implementation of a modular control system. This pragmatic approach is applied to the synthesis and implementation of the control of an assembly station. It highlights the difficulties of the modelling step and its great influence on the synthesis result itself but also demonstrates the feasibility of our synthesis approach through a successful implementation in conformance with the IEC 61131-3 standard.

The increasing complexity of systems being developed requires engineers to review their practices to improve engineering efficiency and meet the needs of a competitive market.To answer these challenges, engineers have always reused their know-how. However, facing today's rising complexity, reuse has to be much more performant. That is why models supported by formal or semiformal languages are preferred to avoid the variability of natural languages interpretation. In this context, Model-Based Systems Engineering (MBSE) made it possible to change the engineering paradigm by proposing a unique, shared system model. To promote and ease MBSE adoption, reuse should be fostered to respect the engineer's working method. A promising method for reusing models is based on the pattern concept. Thus, this paper aims to review and evaluate the pattern concept as a means of transferring know-how and fostering reuse in an MBSE approach.

International audienceSystems Engineering (SE) best practices are currently guided by standardized processes which must be adapted by skill rules in order to specialize domain-dependent SE workflows as well as domain independent standardized languages. This paper aims to revisit first the interdisciplinary relationships within a SE process as specification relationships between Problem Space (PS) and Solution Space (SS) across collaborative domains. This SE rationale is then applied on a Requirement Specification (RS) workflow formalized with high-level Petri nets and verified on a human-robot protection case-study

This article focuses on operation sequences engineering and preparation for complex and critical systems. The main objective is to safely operate some action sequences on the process devices (mainly actuators), according to safety requirements specifications. Based on a process formal model using communicating automata, this article shows both feasibility and limits of an automatic approach for the generation of safe operation sequences based on reachability analysis.

No abstract

No abstract

No abstract