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.
Composing distributed automation systems from components is challenging due to large variety and number of available components on the market. Multiple criteria need to be considered such as functional coverage, price, interoperability, vendor homogeneity, and energy. The paper introduces a novel heuristic approach for selecting devices considering such criteria. The performance of the approach is...
We propose a model-driven approach for designing Wireless Sensor Network (WSN) applications, specifically for systems where hard real-time requirements must be satisfied. Traditionally, developing such systems presents difficulties in ensuring time and timing accuracy due to unpredictable computation time, ambiguities in program concurrency, and behavioural inconsistency between model and implementation...
Production systems are typically long-living, interdisciplinary systems which undergo continuous evolution. However, especially in the industry of the production automation, any formalized documentation of evolutionary changes is often neither created nor adapted to the application. Accordingly, no knowledge artefacts exist that can be automatically processed in order to support the evolution process...
We face a glut of languages for programming distributed software today. However, only a few languages have proven their potential with wider practical use in different domains of computing. We picked two such languages, meant for different domains, to see if they could cross-pollinate and enrich one another. Specifically, we chose SystemJ, a language to program distributed embedded systems, and IEC61499,...
The paradigm of Petri nets offers a rich modeling power that has been successfully exploited in many different application domains as manufacturing, logistic, traffic, computer and biological domains. In order to develop and analyze Petri models in an efficient and systematic way, appropriate software tools are required. Among the existing software platforms for scientific software development, MATLAB...
The design of large scale complex systems demands the ability to correctly specify and verify as early as possible in the design cycle the interaction of the different components that ensure that the global level requirements are satisfied. We address this issue using an approach based on the notion of contract. In particular, we propose a graphical and text-based language for requirement definition...
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...
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...
Condition-based maintenance (CBM) has been implemented in industry to arrange the maintenance work as efficiently as possible. Case-based reasoning (CBR) can be used to automate part of the CBM decision process. However, in complex situations the final decisions have to be made by domain maintenance experts based on information gathered from several sources. This paper presents an approach for utilizing...
Being distributed in nature, IEC 61499 industrial control applications are subject to partial failures. Building applications that are tolerant of these failures (i.e. a fault-tolerant application) may be achieved through the use of replication. In this paper we present a framework to support replicated IEC 61499 applications, and study how replica determinism may be achieved in this framework.
Fast evolving requirements for the manufacturing sectors, which must now take much more into account problems such as product customization, markets volatility and shortening life cycles, imposes to focus the attention of innovation towards a new generation of automation systems based on the CPS paradigm. The work here presented therefore suggest a new extension of the Cyber-Physical Systems functionalities...
Large systems engineering projects involve the cooperation of various stakeholders from different engineering disciplines. Individual stakeholders apply various tools and related data storage approaches that (a) might hinder seamless interoperability and (b) include limited capability to support data versioning. Project-level concepts enable the mapping of engineering data coming from different disciplines...
In production system engineering, the machine-understandable definition of relations between engineering information views is important to enable automating dependency checking between these views. Unfortunately, in automation engineering there is no standardized representation of relations and dependencies, which makes it difficult to automate consistency checking. In this paper we derive requirements...
We present a novel approach for design of manufacturing automation systems with formal verification of selected properties based on the use of Globally Asynchronous Locally Synchronous programming language SystemJ and industrial-proof verification tools. By being able to prove properties of the automation control logic that consists of multiple concurrent controllers, represented by FSMs that correspond...
As of today, building automation systems are present in almost any commercial building. They perform climate control, lightning control, access control, surveillance, and quite a few other tasks. As a result of their evolutionary development, building automation systems are divided into separate silos of disciplines that are not well integrated with each other. As of today, a variety of communication...
Networked systems consisting of many different components are gaining more and more importance in human's living environment (e.g. communication, entertainment, building automation). The design process for such systems is also harder because of the growing complexity and the inhomogeneity of sub-systems realizing different functions. This results in a multi-criteria high-complex combinatorial device...
We present work towards using ontological information to facilitate collaborative tasks during operation, maintenance and service of industrial automation facilities. We use semantic models as an additional layer for a collaboration framework to enable automatic reasoning, decision support and knowledge sharing among multiple parties. Documents such as texts, workflows, images, social media profiles...
Current solutions to the interoperability problem in Home Automation systems are based on a priori agreements where protocols are standardized and later integrated through specific gateways. In this regards, spontaneous interoperability, or the ability to integrate new devices into the system with minimum planning in advance, is still considered a major challenge that requires new models of connectivity...
In a multi-disciplinary engineering project, such as the parallel engineering of industrial production plants, domain experts want to efficiently monitor project-level constraints that depend on technical parameter values in local engineering models. However, the heterogeneous representations of constraint parameters in these engineering models make the automation of constraint monitoring difficult...
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.