Guidelines and patterns for building hierarchical automation solutions in the IEC 61499 modeling language

A Zoitl, H Prähofer - IEEE Transactions on Industrial Informatics, 2012 - ieeexplore.ieee.org
The IEC 61499 modeling language pursues a component-based approach with modular
building blocks coupled by ports and arranged in a hierarchical manner. Like similar …

On inter-realm authentication in large distributed systems

VD Gligor, SW Luan, JN Pato - Journal of Computer Security, 1993 - journals.sagepub.com
We define and rationalize a policy for propagation of authentication trust across realm
boundaries. This policy helps limit global security exposures that ensue whenever an …

Towards user-oriented programming of skill-based automation systems using a domain-specific meta-modeling approach

R Lindorfer, R Froschauer - 2019 IEEE 17th International …, 2019 - ieeexplore.ieee.org
Upcoming trends in manufacturing focus on flexible configuration of products up to lot-size
one. This mass customization raises a need of flexible manufacturing and production …

Design patterns for separating fault handling from control code in discrete manufacturing systems

M Steinegger, A Zoitl, M Fein… - IECON 2013-39th Annual …, 2013 - ieeexplore.ieee.org
The objective of this paper is to propose a methodology for strictly separating fault detection
and fault handling methods from control code in discrete manufacturing systems. In order to …

Monaco—A domain-specific language solution for reactive process control programming with hierarchical components

H Prähofer, R Schatz, C Wirth, D Hurnaus… - … Languages, Systems & …, 2013 - Elsevier
In this paper, we present Monaco–a domain-specific language for develo** event-based,
reactive process control programs–and its visual interactive programming environment. The …

Building hierarchical automation solutions in the IEC 61499 modeling language

A Zoitl, H Prähofer - 2011 9th IEEE International Conference on …, 2011 - ieeexplore.ieee.org
The IEC 61499 modeling language pursues a component-based approach with modular
building blocks coupled by ports and arranged in a hierarchical manner. However, as in …

[ΒΙΒΛΙΟ][B] Software engineering–processes and tools

G Weiß, G Pomberger, W Beer, G Buchgeher… - 2009 - Springer
Software engineering traditionally plays an important role among the different research
directions located in the Software Park Hagenberg, as it provides the fundamental concepts …

MONACO—A domain-specific language supporting hierarchical abstraction and verification of reactive control programs

H Prähofer, D Hurnaus - 2010 8th IEEE International …, 2010 - ieeexplore.ieee.org
Domain-specific languages aim to present software in the notations of domain experts and
allow a straightforward map** of application concepts to software solutions. In this paper …

Software support for building end-user programming environments in the automation domain

H Prähofer, D Hurnaus, R Schatz, C Wirth… - Proceedings of the 4th …, 2008 - dl.acm.org
Projects in the automation domain often require that end users, who are the machine
operators, have means to change control software to make adaptations and optimizations for …

Programming assistance based on contracts and modular verification in the automation domain

D Hurnaus, H Prähofer - Proceedings of the 2010 ACM Symposium on …, 2010 - dl.acm.org
In industrial automation, control software often has to get changed and adapted by domain
experts and end users who have no or only limited software development expertise. This …