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.
Product lifecycles are getting increasingly shorter, but the lifecycles of industrial automation systems remain stable. Since future requirements for the industrial automation systems made by the market are often unknown at the beginning of the planning process, industrial automation systems have to be adaptable at later times. In addition, the efforts of planning should be reduced continuously without...
In this paper, we consider a similarity control problem for plants and specifications modeled as nondeterministic automata. This problem requires us to synthesize a nondeterministic supervisor such that the supervised plant is simulated by a given specification. We synthesize a similarity enforcing supervisor based on the observer of the plant and the specification when a certain condition is satisfied.
High value manufacturing (HVM) is a key sector; however, its products have a long development time. Adaptation in factories according to production requirements has been proposed to increase HVM's efficiency. In self-reconfigurable factories there is rapid relocation of production resources to perform different tasks. Due to this flexibility, the allocation and scheduling of jobs to resources is a...
In this paper an innovative concept for a fault prevention in industrial automation systems is presented. The goal of this concept is the avoidance of downtimes, by means of the early identification of fault developments during runtime. Additionally, in comparison to common fault prevention solutions, today's complexity of prevention processes and the increasing amount of data is aimed to be reduced...
Real-time networks have tight communication latency and minimal jitter requirements. One way to ensure these requirements is the implementation of a static schedule, which defines the transmission points in time of time-triggered frames. Synthesizing such static schedules is known to be an NP-complete problem where the complexity is driven by the large number of constraints imposed by the network...
Due to high time pressure and rising complexity in industrial automation, “new programming methodologies are necessary in order to increase software quality and reuse” [1]. The object-oriented extension of the International Electrotechnical Commission (IEC) 61131-3 standard is one of those new methodologies and one benefit of object-oriented programming in general, is more efficient reuse of code...
Handling cache related preemption delay (CRPD) in preemptive scheduling context for real-time embedded systems still stays an open issue despite of its practical importance. Indeed, classical priority assignment algorithms are only optimal when preemption costs are neglected. For example, with Audsley's Optimal Priority Assignment (OPA), as the original algorithm does not take CRPD into account, it...
The quality of the software has an increasing impact on the performance, operation and ultimately the cost of industrial automation systems. Software metrics are necessary to assess the quality and to identify modules that impact cost of testing and maintenance. There is a number of software metrics available within a software engineering domain. However, there is a gap when it comes to evaluating...
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.