The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Recent civil airborne platforms are produced using Integrated Modular Avionics (IMA). IMA promotes both sharing of execution and communication resources by the avionics applications. Designs following IMA decrease the weight of avionics equipment and improve the whole system scalability. However, the price to pay for these benefits is an increase of the system's complexity, triggering a challenging...
Function Blocks provides a means to model and program industrial control systems. The recently acclaimed IEC 61499 standard allows such system models to be partitioned and executed in a distributed fashion. At device level, such models are traditionally implemented onto programmable logic controllers that underneath have an operating system and a software run-time environment which implies high resource...
Sensors always played a significant role on the industrial domain, since monitoring the current machine's process state is notoriously an advantage for shop-floor analysis, and consequently, to rapidly take action according to the production system demands [3, 6, 7, 8]. The I-RAMP3 European Project explores exactly these demands, and proposes new approaches to efficiently address some of the nowadays...
This paper introduces an H∞ current controller that allows the shaping of power converters' input admittance in frequency domain, allowing to define not only its magnitude but also its phase. In addition to admittance shaping, some current tracking specification are also introduced to the algorithm demonstrating that both admittance shaping and tracking performance are possible, but not at the same...
This work is concerned with duality of controllability and observability of Timed continuous Petri nets (TCPNs). Based on the duality definition presented in [4] for (discrete) Petri nets, a procedure for computing a dual system of a given TCPN, in a particular configuration, is provided in this work. Furthermore, it is demonstrated that the rank of the controllability matrix of a TCPN and the rank...
Future manufacturing systems have to be more adaptable to be able to compete in fast changing markets and address specific customer demands. To increase adaptability of production systems, the software and communication infrastructures have to be adaptable as well. Current communication paradigms tightly couple manufacturing systems to communication infrastructures. Changes in the manufacturing system...
In component-based and model-driven development it is common to model embedded applications in a platform-independent manner. As an example, some approaches allow development of distributed applications while abstracting away from details of communication between platform nodes. Using such an approach requires to implement this communication before an executable system is deployed. Currently it is...
This paper introduces the application of off-the-shelf Android tablet computers as real-time capable control devices. We present an IDE to create and execute PLC programs written in Structured Text on a tablet running RTAndroid. This derivative of Android with support for real-time applications ensures the predictable execution of PLC programs. A USB-driven field device adapter enables interaction...
In this paper a safety-oriented model based software architecture for robotic solutions is proposed. The main focus herein is to consider aspects such as real-time, heterogeneity, deployment, modeling and analysis of emerging effects as well as functional safety and to combine all aspects into an overall development approach. The architecture shall capture the complexity caused by the autonomy and...
Bridging the two domains of building and industrial automation systems at their management levels is a topic hardly regarded so far. Nevertheless, cross-domain integration promises significant benefits in terms of resource consumption and costs optimisation where systems of both worlds encounter each other. To this aim, this work presents an OPC UA information modelling framework providing a holistic...
In this contribution we show enhancements of the safety of hazardous material stores by the usage of a condition monitoring system. Hazardous material stores function as a store for dangerous chemicals. We use fire simulations to simulate a fire and use the results of this simulation in our condition monitoring system in order to show the attainable gains. The used condition monitoring system utilises...
Within a manufacturing system, a smart human-machine interface reduces the chances of human error and helps users to make informed decisions, especially in critical situations. This paper presents a concept for a flexible context specific assistance system for industrial applications using camera based localization. As a central element, a modular and service oriented context aware system aggregates...
Dynamic program analysis is a technique which records a program execution for the purpose of analyzing its behavior and building high-level models and views. This paper presents an approach to build a high-level model of the behavior of a PLC program component as observed in a program execution. Based on a deterministic record and replay technique, a model is synthesized which represents the transition...
Static code analysis techniques are a well-established tool to improve the efficiency of software developers and for checking the correctness of safety-critical software components. However, their use is often limited to general purpose or “mainstream” programming languages. For these languages, static code analysis has found its way into many integrated development environments and is available to...
The Functional Mock-up Interface (FMI) is the result of a research program initiated by Daimler AG, further industrial companies, and several institutes, with the aim of enabling the exchange of dynamic simulation models between different simulation tools as well as their co-simulation. The upcoming release of the second version of this standard in 2014 is the motivation for the current investigation...
Virtualization has been used as the de facto technology to allow multiple operating systems (virtual machines) to run on top of the same hardware platform. In the embedded systems domain, virtualization research has focused on the coexistence of real-time requirements with non-real-time characteristics. However, existent standard software-based virtualization solutions have been shown to negatively...
Laser Beam Melting (LBM) is an additive manufacturing process, which enables the layer-based production of complex parts from metal powder, i.e. “3D printing” with metal. In previous publications, we presented a high-resolution imaging system for inspection of LBM processes, which uses a high-resolution camera to acquire images of each powder layer and laser exposure result. The external camera position...
In order to address the trade-off between certification and resource efficiency, researchers are recently trying to apply a criticality mode change mechanism to mixed-criticality systems. However, the actual implementation of the criticality mode change has not been studied rigorously. In this paper, we suggest a practical design to implement the criticality mode change framework for Real-Time Operating...
The communication subsystem of distributed embedded systems (DES) that must operate continuously and satisfy unpredictable requirement changes must be reliable and flexible. Recently the Flexible Time-Triggered Replicated Star for Ethernet (FTTRS) has been proposed as a communication subsystem that satisfies these two attributes. It is based on the master/multi-slave Flexible-Time Triggered (FTT)...
Within the emerging new technologies in Smart Grids, the concern about Non-Intrusive Load Monitoring (NILM) techniques has increased over the last five years. These techniques aim to disaggregate the energy consumption on a household or commercial building into individual appliances from the use of a single-point sensor. Most efforts attempt to disaggregate by using a low sampling frequency and by...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.