Model-driven engineering of process control software – beyond device-centric abstractions-Reference-Cited by-同舟云学术

Model-driven engineering of process control software – beyond device-centric abstractions

Published:2013-08 Issue:8 Volume:21 Page:1078-1096
ISSN:0967-0661
Container-title:Control Engineering Practice
language:en
Short-container-title:Control Engineering Practice

Author:

Lukman Tomaž,Godena Giovanni,Gray Jeff,Heričko Marjan,Strmčnik Stanko

Publisher

Elsevier BV

Subject

Applied Mathematics,Electrical and Electronic Engineering,Computer Science Applications,Control and Systems Engineering

Reference55 articles.

1. 3S-Smart Software Solutions. CoDeSys. (2012). Available from 〈http://www.3s-software.com/〉 Retrieved 11.04.12.

2. Avila-Garcia, O., & Garcia, A. E. (2008). Providing MOF-based domain-specific languages with UML notation. In: Proceedings of the 4th workshop on development of model-driven software, San Sebastian, Spain.

3. Challenges and directions in formalizing the semantics of modeling languages;Bryant;Journal of Computer Science and Information Systems,2011

4. Eclipse modeling framework;Budinsky,2003

5. Colla, M., Leidi, T., & Semo, M. (2009). Design and implementation of industrial automation control systems: a survey. In: Proceedings of the IEEE international conference on industrial informatics (INDIN'09), Cardiff, UK.

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. LLM-based and Retrieval-Augmented Control Code Generation;Proceedings of the 1st International Workshop on Large Language Models for Code;2024-04-20

2. DSML ProcGraph: Overview and a Mid-Size Industrial Application Example;Journal of Software Engineering and Applications;2023

3. A GEMMA-GRAFCET Generator for the Automation Software of Smart Manufacturing Systems;Machines;2021-10-12

4. Microcontroller-based control system design using step counter method in drilling fixture;IOP Conference Series: Materials Science and Engineering;2021-02-01

5. A methodology for automatic generation, formal verification and implementation of safe PLC programs for power supply equipment of the electric lines of railway control systems;Computers in Industry;2020-12