- Flexible and Reconfigurable Manufacturing Systems
- Advanced Software Engineering Methodologies
- Model-Driven Software Engineering Techniques
- Business Process Modeling and Analysis
- Petri Nets in System Modeling
- Digital Transformation in Industry
- Service-Oriented Architecture and Web Services
- Safety Systems Engineering in Autonomy
- Manufacturing Process and Optimization
- Formal Methods in Verification
- Software Engineering Research
- Scheduling and Optimization Algorithms
- Product Development and Customization
- Semantic Web and Ontologies
- Real-Time Systems Scheduling
- Fluid Dynamics and Vibration Analysis
- Software Engineering Techniques and Practices
- Fluid Dynamics and Turbulent Flows
- Software Reliability and Analysis Research
- Icing and De-icing Technologies
- Chronic Obstructive Pulmonary Disease (COPD) Research
- Respiratory Support and Mechanisms
- Underwater Vehicles and Communication Systems
- Plasma and Flow Control in Aerodynamics
- Aerodynamics and Fluid Dynamics Research
Johannes Kepler University of Linz
2016-2024
Universitat Jaume I
2022
IEC 61499 emerged as a language for modeling distributed control systems. An Application is platform-independent model that comprised of modular components. High reusability these components and high reconfigurability the underlying system configuration can only be achieved with advanced design patterns. We show two example implementations such designs extended pattern to foster reuse. All are compared based on set evaluation criteria. our proposed provides improved understandability...
In modern industrial applications, the complexity of control software is increasing while its execution may be distributed to numerous small devices. The standard IEC 61499 fosters designing applications by defining a platform-independent application model that can mapped hardware components. Applications though need designed for distribution, as comparing three implementation designs running example indicated. We propose usage architectural pattern with parallel paths. Metrics confirm...
Industrial control applications are usually designed by domain experts instead of software engineers. These frequently use visual programming languages based on standards such as IEC 61131-3 and 61499. The apply model-based engineering concepts to abstract from hardware low-level communication. Developing industrial is challenging due the fact that systems one-of-a-kind have be maintained for many years. challenges, together with growing complexity software, require very usable development...
A Grafcet is a standardized model for describing the behavior of systems which popular among automation engineers. As standard excludes implementation details, models are typically translated to software. Such software was traditionally programmed in one languages specified IEC 61131-3. Nowadays, increasingly modelled 61499 facilitates designing distributed control systems. In this paper, we define translation methodology, so that engineers can benefit from advantages while continuing use...
Component-based software engineering has emerged as a principle of design to facilitate reuse and improve the quality. This is supported by domain-specific language IEC 61499, where Function Blocks are fully encapsulated components. For Block definition, static interface description an internal implementation required. Service sequences describe event flow at component optional dynamic model in 61499. In general, models powerful tool for various use cases, yet service rarely used practice...
Refactoring is a key technology for improving the quality of software system. A higher will lead to clearer structure, which facilitates sharing work across multiple teams. This important especially in domain cyber-physical production systems, where different engineering disciplines meet at their cutting point. IEC 61499 tries abstract increasing complexity such systems. gives an overview existing refactoring techniques from and provides first insight on how apply
The IEC 61499 standard defines a model for distributed control systems based on function blocks (FBs) and event-driven execution. Although interoperability portability between tools are core goals of the standard, behavior an executable varies significantly run-time environments (RTEs). This presents challenges comparing execution traces, e.g., when validating that simulation conforms to specific RTE. In this paper, we propose methodology analyzing custom RTEs example models cover language...
Accurate flow measurement is a ubiquitous task in fields such as industry, medical technology, or chemistry; it remains however challenging due to small ranges erosive flows. Inspiration for possible methods can come from nature, example the lateral line organ of fish, which comprised hair cells embedded gelatinous cupula. When cupula deflected by water movement, generate neural signals fish gains an accurate representation its environment. We built sensor mimicking cell, but coupled with...
Industrial standards define domain-specific languages that are frequently used for developing control software. For instance, IEC 61499 standardizes a graphical modeling language includes platform-independent application model. The is composed of Function Blocks. A runtime can execute the model by implementing semantics described in standard natural language. By defining an interpreter models, we directly them without prior code generation. This enables providing feedback on level. We...
Modern production systems are constantly getting more complex and moving towards smaller lot sizes customizable products. This poses new challenges on the control software, which is growing in size complexity. To deal with this increasingly large design guidelines needed. We working such for IEC 61499, a modeling language distributed systems. In our previous work, we proposed highly reusable application based skills. will present concepts extending beyond normal operation handling.
Established development processes for industrial control systems are static and struggle to adopt changing requirements. The interdisciplinary nature of such necessitates carefully designed interfaces between modules components, as well unambiguously defined domain-specific modeling language IEC 61499 offers potentials accelerate design introduce a model-driven approach, in which interface behavior models continuously refined reused. We investigate these outline how apply an extended process...
Errors of textual programming languages are usually detected by the compiler.These errors then visualized IDE and made available to developer.This paper is intended show a novel approach also propagate in visual developer.We analyzed block-based language IEC 61499 implemented an error visualization mechanism Eclipse-based 4diac.As Domain-Specific Modeling Language (DSML) that includes type system, we for detecting inconsistencies.With this approach, it possible work on broken applications,...
Designing the software for distributed control systems introduces new challenges regarding handling communication between devices. The domain-specific modeling language defined in IEC 61499 provides mechanisms to distribute across devices, but does not provide elements describing details about these We an extensible proof-of-concept implementation specifying of 61499-based system that extends current model. Our approach requires only minimal adaptations standard and proposes concept various...
Model-based software engineering is a promising approach for controlling complex automation systems. Automation engineers, unfortunately, do not routinely model the expected behavior, especially if they are trained in engineering. They rather focus only on implementation. In this paper, we analyze potential causes low adoption of service sequences within IEC 61499, which define behavioral constraints building blocks control applications. We propose methodology mining components, then...
Consumer electronics are getting both smaller and more powerful. Hence, there is a need for small, scalable, silent, reliable low-cost cooling systems. In order to meet these requirements, we designed simple synthetic jet (SynJet) actuators using silicone elastomer membranes together with either soft composite or rigid neodymium magnets. The SynJet were electromechanically driven near their mechanical resonance frequency in the low-frequency range between 5 Hz 120 Hz. compare configurations,...
The control software of manufacturing systems has to interact with the mechanical and electrical machine parts, hence, their engineering is closely interrelated. A high-level model this system can provide an abstract view on system's behavior therefore beneficial for any discipline. language GRAFCET was developed as a domain-specific tool specifying operation production system. models be structured hierarchically regulate subsystem forcing orders enclosing steps. Based Grafcet, implemented...
Modern production plants are complex Cyber-Physical Production Systems with an ever-increasing share of software controlling and automating their operation. The customization these systems to the needs customers frequent evolution over a typically long life-cycle result in plethora variants be managed. However, reuse still is mainly done opportunistic way, relying on copy-paste-modify strategies. More systematic, strategic would help reduce costs time market, but requires approaches that can...
Zusammenfassung An Steuerungsprogramme werden hohe Anforderungen hinsichtlich Korrektheit und Robustheit gestellt. Moderne Werkzeuge können Entwickler*innen bei der Erstellung von Programmen unterstützen. Der Schwerpunkt dieses Artikels liegt auf expliziten Modellierung implizitem Wissen Entwickler*innen, da diese Informationen für die automatische Überprüfung nötig sind. In diesem Artikel stellen wir ein Konzept zur Definition Einschränkungen an Schnittstelle Funktionsbausteinen dar. Diese...
In a correct control system, events are never late, nor they early. They delivered precisely when the engineer means to. IEC 61499 defines modeling language for software of distributed systems. However, timing requirements cannot be specified as part an application model. As result, deriving specifications components is separate and additional manual, i. e., non-automatized, step designing system. Contract-based design widely known approach correct-by-construction system design. This work...
The IEC 61499-based distributed control model is gradually gaining popularity among the stakeholders involved in field of cyber-physical production systems. Integration 61499 with Open Platform Communication Unified Architecture (OPC UA) will ease effort required for horizontal as well vertical integration applications. In our previous work, we mapped function block and application standard to OPC UA. This work-in-progress paper intended be an extension work that demonstrates mapping...