Distributed Implementation of Hierarchical Grafcets through IEC 61499

Wiesmayr, Bianca; Zoitl, Alois; Miguel-Escrig, Oscar; Romero-Pérez, Julio-Ariel

doi:10.1109/etfa45728.2021.9613251

Cited by 3 publications

(4 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Investigating the implementation of application behavior models resulted in a structured translation approach from the specification language GRAFCET (used by system engineers) to the executable language IEC 61499 (used by software engineers) [18,47]. The identified translation patterns retain hierarchical structures and cover operation mode switching, which is also used for error handling (Best Paper Award for Factory Automation at the IEEE ETFA 2020 for [18]).…”

Section: Initial Results and Timelinementioning

confidence: 99%

“…They can then specify expected behavior graphically and run the interpreter, even without access to a runtime. Applying structured implementation guidelines (e.g., [47]) furthermore requires less knowledge about software architectures.…”

Section: Initial Results and Timelinementioning

confidence: 99%

“…Paper Title/Topic Venue Case Study RQ [46] Model-Execution Framework for IEC 61499 components IEEE ETFA'21 -1 [44] Using behavior models to guide the application structure IEEE ICPS'20 -1, 2 [28] Implementing interactions based on Activity Diagrams IEEE ETFA'21 1 1, 2 [18,47] RQ4 is evaluated by extending the implemented approach with the chosen new models. To successfully answer this question, the suggested approach has to facilitate the software engineering process.…”

Section: Table 1: Published Papers (Upper Part) and Papers That Are I...mentioning

confidence: 99%

See 2 more Smart Citations

Towards facilitating software engineering for production systems in Industry 4.0 with behavior models

Wiesmayr

2022

2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)

Self Cite

View full text Add to dashboard Cite

With the growing adoption of Industry 4.0 concepts in production systems, new challenges arise in engineering control software. Highly distributed control with tight real-time constraints and safety regulations results in increasingly complex software. Current research focuses on increasing the abstraction with new architectures and modularization of software. The presented PhD research addresses modeling of the interactions between control software components, and of the emergent behavior of these compositions. Such behavior models can support the initial implementation, and facilitate (semi-)automated testing and monitoring of control software. Finally, visualizing behavior in a model can enhance understandability of existing control software, when software developers need not access abstracted hierarchy levels to deduct their functionality. This work aims at optimizing the benefit of behavior models in developing control software: Modeling the expected behavior directly for new software will allow using them throughout the software life-cycle. For legacy software, the initial development effort of behavior models will be minimized by automatically capturing behavior models from the implementation. The approach is evaluated in case studies and user studies to integrate experiences from the industrial domain into this software engineering research. CCS CONCEPTS• Software and its engineering → Domain specific languages;• Computer systems organization → Embedded and cyberphysical systems.

show abstract

Section: Initial Results and Timelinementioning

confidence: 99%

Section: Initial Results and Timelinementioning

confidence: 99%

Section: Table 1: Published Papers (Upper Part) and Papers That Are I...mentioning

confidence: 99%

See 1 more Smart Citation

Towards facilitating software engineering for production systems in Industry 4.0 with behavior models

Wiesmayr

2022

2022 IEEE/ACM 44th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)

Self Cite

View full text Add to dashboard Cite

show abstract

“…Las características antes mencionadas hacen que el IEC 61499 esté siendo actualmente el centro de atención de numerosos trabajos para su uso en diferentes problemas de automatización y control industrial. En los últimos años numerosos trabajo de investigación abordan la implementación de algoritmos de control usando dicho estándar, ver por ejemplo [8,10,9,6,2].…”

Section: Introducci óNunclassified

Integración de FACTORY IO y 4DIAC-FORTE para la validación de software de control en la norma IEC 61499

Tendero-Vegas¹,

Miguel-Escrig²,

Romero-Pérez³

et al. 2022

XLIII Jornadas De Automática: Libro De Actas: 7, 8 Y 9 De Septiembre De 2022, Logroño (La Rioja)

View full text Add to dashboard Cite

En este trabajo se presenta la integración de 4diac-FORTE y Factory IO mediante OPC-UA. Dicha integración permite verificar software de control desarrollado según la norma IEC 61499 y de esta forma validar de metodologías para el desarrollo de dicho software. Se presenta un ejemplo sencillo que ilustra detalles importantes a tener en cuenta en la configuración adecuada del servidor OPCUA que permite esta integración.

show abstract