Analysis and validation of IEC 61131-3 applications using a MDE approach

Marcos, Marga; Estévez, Elisabet; Iriondo, Nagore; Orive, D.

doi:10.1109/etfa.2010.5641238

Cited by 12 publications

(4 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…UML modeling utilizing OO features of the latest edition of IEC 61131-3, is discussed in [9]. The UML language is also used by the authors of [10] and [11]. The latter proposes a methodology supported by custom development and testing tools.…”

Section: Introductionmentioning

confidence: 99%

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

Jamro

Trybus

2013

2013 18th International Conference on Methods &Amp; Models in Automation &Amp; Robotics (MMAR)

View full text Add to dashboard Cite

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.

show abstract

Section: Introductionmentioning

confidence: 99%

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

Jamro

Trybus

2013

2013 18th International Conference on Methods &Amp; Models in Automation &Amp; Robotics (MMAR)

View full text Add to dashboard Cite

show abstract

“…Model-Based Design (MBD) [10,11] is considered to be a promising solution for the design and verification of the TTRE systems because any modification to the system may be rapidly addressed and verified in a higher level of abstraction. Moreover, hardware/software may be quickly and automatically generated from the model using Electronic Design Automation (EDA) tools.…”

Section: Introductionmentioning

confidence: 99%

Model-based design of time-triggered real-time embedded systems for digital manufacturing

Canedo

Faruque

2015

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control

View full text Add to dashboard Cite

This work presents a novel Model-Based Design (MBD) approach and associated tool-chain for the IEC 61131-3 specific Programmable Logical Controllers (PLC) [2]. Our toolchain automatically synthesizes software for manufacturing Time-Triggered Real-time Embedded (TTRE) systems. A Software-In-the-Loop Simulation (SILS) framework integrated into our tool-chain helps to reduce the design iterations. Using a manufacturing robot-arm use-case, we validate our tool-chain and demonstrate a 39× improvement in the Qualityof-Control (QoC) when compared to the state-of-the-art approach [1]. Our auto-generated scheduler meets all the hard real-time constraints (zero deadline misses) for a given TTRE system when compared to the scheduler (e.g., 145 deadline misses for a CPU utilization of 95%) presented in [13].

show abstract

“…The models must be well-defined and executable, and therefore they are more expensive to develop and to maintain. However, since the phase of programming is replaced by the modeling stage, and the latter is better understandable, more efficient and less error prone, an increase of the efficiency of the development process can be expected [3].…”

Section: Introductionmentioning

confidence: 99%

Towards industrial application of model-driven platform-independent PLC programming using UML

Tikhonov

Schütz

Ulewicz

et al. 2014

IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society

View full text Add to dashboard Cite

To manage the increasing complexity of automation software, new development methods are needed. The model-driven development (MDD) approaches are very promising here. However, switching to the MDD in industrial software development practice is complicated, and required efforts are often very high. Therefore, the MDD approaches are still far from the widespread industrial usage. With the presented approach the next steps towards the industrial application of MDD technologies are performed. The approach is not intended to replace existing development practices in industry, but it aims at the step-by-step introduction of MDD technologies into industrial software development.

show abstract

Analysis and validation of IEC 61131-3 applications using a MDE approach

Cited by 12 publications

References 22 publications

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

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

Model-based design of time-triggered real-time embedded systems for digital manufacturing

Towards industrial application of model-driven platform-independent PLC programming using UML

Contact Info

Product

Resources

About