An approach to SysML modeling of IEC 61131-3 control software

Abstract

Designing, developing, and maintaining control software is often a complex and difficult task, especially in larger projects. The paper presents a concept of applying the ModelDriven Development approach with SysML modeling to the IEC 61131-3 development process. Four types of diagrams are used to model different aspects of the system: Requirements Diagram, Package Diagram, Block Definition Diagram, and State Machine Diagram. The models represent POUs and their requirements, resources, and tasks. Some POUs can be modeled as state machines as well. The SysML diagrams can be used to generate code templates for the implementation in IEC 61131-3 languages, such as ST or FBD. The paper also describes an extension to the CPDev engineering environment, which integrates the proposed SysML modeling with programming and execution of IEC 61131-3 software. The example of an engine and pump control system is presented to show various stages of the proposed approach.

A cyber–physical system-based approach for industrial automation systems

“…Even though two different levels of abstraction in software specification are compared, the finding are quite interesting and can be utilized to facilitate the shift to the OO programming paradigm in IASs development. Both, UML and SysML, are utilized in the development process of IASs, e.g., [14][15][16][23] [37]. However, most of the approaches do not use UML and SysML to increase the abstraction level in modeling so as to facilitate the development process in this domain.…”

Impact of Communication Timeouts on Meeting Functional Requirements for IEC 61131–3 Distributed Control Systems

“…The concept uses the SysML language [16], which is an extension to Unified Modeling Language (UML) [22], and provides engineers with nine diagram types for presentation of structure, behavior, and requirements. The modeling approach is based on the preliminary version described in [23].…”