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.
Intelligent software agent technology has wide ranging applications in automating processes that require learning and decision making. It has been demonstrated that multi- agent systems can serve the needs of a real-time distributed manufacturing environment [6]. It would be most rewarding if an integrated manufacturing and service system (IMSS) could be easily and efficiently modeled by a multi-agent...
The aim of this paper is to allow for hybrid task sets in the context of stochastic real-time analysis. The paper goes beyond previous work by allowing for the presence of aperiodic tasks in the system. Instead of representing a task with a fixed activation period and a worst-case execution time (WCET), here a task is characterized by an arrival profile (AP) and an execution time profile (ETP), both...
We address the problem of test case selection and path sensitization in the process of testing real-time preemptive systems, following a formal methodology based on the theory of preemptive Time Petri Nets (pTPN) implemented in the Oris tool. We discuss practical factors that limit feasible behaviors in the implementation of a nondeterministic specification and we motivate the assumption of test cases...
The aim of this work is to study how the temporal behavior of time-triggered distributed systems is influenced by a drift of their underlying quartz. More especially, we focus on convergence-average clock synchronization used e.g. for TTP/C and FlexRay. We show that, for a fault free system in a stable environment, the global time converges to an interval spanned by the accuracies of the physical...
In this paper we present an approach based on the use of embedded network devices for the deployment of small network services suitable for IT management in industrial and manufacturing environments. The novelty of the proposal resides in the fact that allows to unfold IT services that can be deployed without the need for specialized IT staff since the services in question have a zero maintenance...
Mechatronic products integrate electrical, software and mechanical engineering, allowing new possibilities in product development. This paper proposes a unified process to guide the development of mechatronic products which includes the rational unified process with some established methods and techniques from electrical and mechanical engineering. The approach focuses on the extensive exploration...
Building automation and control systems (BACS) are an important part of modern automated buildings. More and more they are also responsible for functions affecting people??s safety, security and health. Thus the respective technology is supposed to work reliably, securely, safely and efficiently. The two important features of such a BACS are functional safety and system security (short safety and...
Wireless metropolitan area networks constitute one of the most rapidly evolving research areas. Indicative of the interest this area presents is the newly standardized IEEE 802.16. One of the most interesting, as well as, challenging extensions is to provide relaying capabilities to such networks. In this paper we present such a relaying concept which we believe combines simplicity and efficiency...
This paper presents a set of under development tools associated with the FORDESIGN project, in particular an extension to the Petri nets graphical editor Snoopy. The project main purpose is to provide an adequate set of tools to be integrated within engineering development frameworks. The Snoopy graphical editor goal is to support editing capabilities to the input-output place-transition (IOPT) Petri...
Biomedical knowledge of proteomics domain is represented in the protein ontology, whose instantiations, which are undergoing evolution, need a good management and maintenance system. Protein ontology instantiations signify information about proteins that is shared and has evolved to reflect development in protein ontology project and proteomics domain itself. In this paper we explore the development...
In this paper, we propose to extend real-time feasibility conditions taking into account kernel overheads for mixed preemptive periodic tasks with shared resources when tasks are scheduled with fixed priority FP/FIFO scheduling, where FIFO is used to arbitrate tasks having the same fixed priority. The kernel considered in this paper is an event driven OSEK kernel which uses the priority ceiling protocol...
The argument of the paper is the Embedded Model Control that was developed and tested in the course of past years. The first aim of the method is to equalize implementation and design, which is obtained by explicitly including the design model as the core of the Control Unit: hence the name of Embedded Model. After four basic modelling axioms, the paper concentrates on the model error properties,...
The evolution of industrial communication inexorably moves to Industrial Ethernet networks. One important reason for using Ethernet at the shop floor is to participate on the continuous advancements of standard Ethernet. Thus it seems to be the logical next step to change the bit rate from Fast Ethernet to Gigabit Ethernet to achieve better performance. The question is, how the cycle time as a relevant...
To determine the operational situation of a monitored industrial process, an operator needs efficient access to a wide range of information. Measurement data alone does not encapsulate the overall situation, but pieces of information have to be searched from different plant IT systems that unfortunately often have varying interfaces and data formats. Information agent and Semantic Web techniques address...
Enterprise integration (EI) is critical to the success of a supply chain by enabling the exchange, sharing and retrieval of information across enterprises. To adapt to changes quickly especially in the trend towards adaptive supply chains, efficient and effective B2B interactions and communication capabilities are important for companies, where short and dynamic connections for seamless information...
Information coordination among business planning, MES (Manufacturing Execution System), and equipment controllers is significant for manufacturers. Because production information systems are often constructed in a multi-vendor environment, a large amount of manhours has been required to develop connection functions corresponding to various combinations of vendors. In order to solve this problem, we...
The new requirements of modern real-time distributed supervision and control systems such as more flexibility, interoperability, and cost savings, have motivated the use of software-intensive solutions both in academia and in dustry. Following this trend we have presented, in a pre vious publication, the design rationale and implementa tion issues of a flexible and reusable software platform (ARCOS)...
This paper deals with the problem of preemptive scheduling in a two-stage flowshop with parallel unrelated machines and renewable resources at each stage. The resource requirements are of 0??1 type. The objective is the minimization of makespan. The problem is NP-hard. Heuristic algorithms using linear programming are proposed for solving this problem. Performance of the heuristic algorithms is analyzed...
Capacity planning is a pivotal activity that is in compliance with company's long-term business goals, meanwhile also guides the short-term production scheduling, material and resource preparation, in-bound and out-bound logistics. Because of current strong globalization trend, manufacturers are more willing to go to regional or globalism by setting-up plants closer to customers in order to reduce...
The importance of modelling and simulation for the design of high quality industrial systems in a limited amount of time is generally acknowledged. Studying industrial systems by simulation enables the designer to study their dynamic behaviour and determine characteristics of the system. Due to the increasing complexity of industrial production systems, there exists a need for the development of formal...
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.