| 1. |
- Ciccozzi, Federico, et al.
(författare)
-
Integrating wireless system into process industry and business management
- 2010
-
Ingår i: IEEE Conference on Emerging Technologies and Factory Automation (ETFA). - Piscataway, NJ : IEEE Communications Society. - 9781424468485 - 9781424468508
-
Konferensbidrag (refereegranskat)abstract
- We analyze here the topic of integration, in the area of process automation, from sensor/actuator levels to plant management levels. The communication at fieldbus level is based on wireless technology while management applications run in wired control systems, but can also be distributed, communicating via the Internet. This work aims at building a real-life demonstrator at Boliden, a mining and smelting plant located in Boliden, Sweden. A small process control environment is to be deployed at the plant to supervise a tank level control system. Targeted results are an interface between wireless and wired systems, the deployment of a wireless process control environment at Boliden, and the development of the enterprise business management facilities.
|
|
| 2. |
- Behnam, Moris, et al.
(författare)
-
On Optimal Real-time Subsystem-Interface Generation in the Presence of Shared Resources
- 2010
-
Ingår i: Proceedings of the 15th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2010. - Bilbao, Spain. - 9781424468508
-
Konferensbidrag (refereegranskat)abstract
- The Hierarchical Scheduling Framework (HSF) has been introduced as a design-time framework enabling compositional schedulability analysis of embedded software systems with real-time properties. However, supporting resource sharing in HSF is a major challenge, since it increases the amount of CPU resources required to guarantee schedulability of the hard real time tasks, and it decreases the composability at the system level. In this paper, we focus on a compositional framework called the bounded-delay resource open environment (BROE) server, and we identify key parameters of this framework that have a great effect on how the framework will utilize CPU resources. In addition, we show how to select optimal values for these parameters in order to reduce the required CPU resource
|
|
| 3. |
- Dai, Wenbin, et al.
(författare)
-
Redesign distributed IEC 61131-3 PLC system in IEC 61499 function blocks
- 2010
-
Ingår i: ETFA 2010. - Piscataway, NJ : IEEE Communications Society. - 9781424468485
-
Konferensbidrag (refereegranskat)abstract
- In this paper we discuss the problem of migration from the PLC control to the event-driven and component based architecture of IEC 61499 function blocks. We are using a conveyor system to illustrate three different migration methods: object-oriented in basic function block, object-oriented in composite function block and class-oriented in basic function block. The advantages and limitations are summarized and guideline for migration is provided.
|
|
| 4. |
- Holenderski, Mike J., et al.
(författare)
-
Memory Management for Multimedia Quality of Service in Resource Constrained Embedded Systems
- 2010
-
Ingår i: Proceedings of the 15th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2010. - 9781424468508
-
Konferensbidrag (refereegranskat)abstract
- In this paper, we consider multimedia Quality-of-Service (QoS) in resource constrained embedded systems, where scalable applications are structured as directed acyclic graphs of tasks, which communicate via shared buffers. Scalable multimedia applications allow to trade quality for resource usage during run-time. We present two QoS problems: (i) temporal dependencies between subchains of tasks due to a common predecessor, and (ii) mode change latency in applications. These problems are addressed through advanced memory management techniques. For the first problem, it is shown how additional access to the buffer, in particular the support for dropping selected frames, allows to guarantee the Quality of Service of the application during overload conditions, preventing congestion in one buffer to propagate across the whole application. For the latter problem, the approach of in-buffer scaling is applied to reduce the mode change latency in scalable multimedia processing applications, which can adapt their memory requirements during runtime according to a set of predefined modes. The latter approach is validated with simulation results.
|
|
| 5. |
- Isovic, Damir, et al.
(författare)
-
Mapping Complex Timing Constraints to Simple Real-Time Scheduling Parameters
- 2010
-
Ingår i: 15th International Conference on Emerging Technologies and Factory Automation, WiP. - Bilbao, Spain. - 9781424468508
-
Konferensbidrag (refereegranskat)abstract
- In this paper, we propose a novel approach for flexible representation of complex timing constraints for scheduling real-time tasks under different scheduling paradigms. It allows different instantiations of the task attributes, depending on which underlying scheduling policy is used. Scheduling parameters are flexibly derived from original timing constrains, rather than using the same set of task attributes for all schedulers. For each real-time task in the system, temporal feasibility windows are identified, such that if the task executes and completes within its feasibility window, the original timing constraints will be met. Then, scheduler dependent parameters are derived to guarantee the tasks' execution and completion within their feasibility windows.
|
|
| 6. |
- Kunert, Kristina, et al.
(författare)
-
Exploiting time and frequency diversity in IEEE 802.15.4 industrial networks for enhanced reliability and throughput
- 2010
-
Ingår i: 2010 IEEE Conference on Emerging Technologies and Factory Automation (ETFA). - Piscataway, NJ. - 9781424468485
-
Konferensbidrag (refereegranskat)abstract
- Industrial networks based on IEEE 802.15.4 are spreading, even though the joint requirement on predictability and reliability from industrial applications is hard to fulfil in wireless networks, and the data rate of IEEE 802.15.4 is rather low. With the goal of providing real-time guarantees, with increased reliability and throughput, we propose two multichannel network architectures based on IEEE 802.15.4 with predictable medium access, real-time analysis admission control and transport layer retransmissions. We evaluate the architectures in terms of reliability, utilization, delay, complexity, scalability and energy efficiency. The evaluations show that throughput and reliability can be enhanced through redundancy and concurrency in the frequency domain.
|
|
| 7. |
- Li, Shuhao, et al.
(författare)
-
Verification and Controller Synthesis for Resource-Constrained Real-Time Systems: Case Study of an Autonomous Truck
- 2010
-
Ingår i: Proceedings of the 15th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2010. - 9781424468508
-
Konferensbidrag (refereegranskat)abstract
- An embedded system is often subject to timing constraints, resource constraints, and it should operate properly no matter how its environment behaves. This paper proposes to use timed game automata to characterize the timed behaviors and the environment uncertainties, and use piecewise constant integer functions to approximate the continuous resources in real-time embedded systems. Based on these formal models and techniques, we employ the realtime model checker UPPAAL to verify a given functional and/or timing requirement. In addition, we employ the timed game solver UPPAAL-TIGA to check whether a given control objective can be enforced, and if so, we synthesize a controller for the system. We carry out a case study of this approach on a battery-powered autonomous truck. Experimental results indicate that the method is effective and computationally feasible.
|
|
| 8. |
- Lu, Yue, et al.
(författare)
-
On Validation of Simulation Models in Timing Analysis of Complex Real-Time Embedded Systems
- 2010. - 5
-
Ingår i: The 15th IEEE International Conference on Emerging Technologies and Factory Automation (EFTA'10), Work-In-Progress (WIP) session.. - Bilbao : IEEE. - 9781424468508
-
Konferensbidrag (refereegranskat)abstract
- In this paper, we present work toward validating simulation models extracted from complex real-time embedded systems, from the perspective of response time and execution time of adhering tasks, by using the non-parametric two-sample Kolmogorov-Smirnov test. Moreover, we introduce a method of reducing the number of samples used in the analysis, while keeping the accuracy of results. The evaluation using a fictive but representative system model inspired by a real robotic control system with a set of change scenarios, shows a promising result: the proposed algorithm has the potential of assessing whether the extracted simulation model is a sufficiently accurate approximation of the target system.
|
|
| 9. |
- Nemati, Farhang, et al.
(författare)
-
A Flexible Tool for Evaluating Scheduling, Synchronization and Partitioning Algorithms on Multiprocessors
- 2010
-
Ingår i: 2010 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA). - 9781424468508 ; , s. 1-4
-
Konferensbidrag (refereegranskat)abstract
- Multi-core platforms seem to be the way towards increasing performance of processors. Single-chip multiprocessors (multi-cores) are today the dominating technology for desktop computing. As the multi-cores are becoming the defacto processors, the need for new scheduling and resource sharing protocols has arisen.There are two major types of scheduling under multiprocessor/multi-core platforms. Global scheduling, under which migration of tasks among processors is allowed, and partitioned scheduling under which tasks are allocated onto processors and task migration is not allowed. The partitioned scheduling protocols suffer from the problem of partitioning tasks among processors/cores, which is a bin-packing problem. Heuristic algorithms have been developed for partitioning a task set on multiprocessor platforms.However, taking such technology to an industrial setting, it needs to be evaluated such that appropriate scheduling, synchronization and partitioning algorithms are selected.In this paper we present our work on a tool for investigation and evaluation of different approaches to scheduling, synchronization and partitioning on multi-core platforms. Our tool allows for comparison of different approaches with respect to a number of parameters such as number of schedulable systems and number of processors required for scheduling.The output of the tool includes a set of information and graphs to facilitate evaluation and comparison of different approaches.
|
|
| 10. |
- Ribeiro, Luis, et al.
(författare)
-
Exploring the network dimension of diagnosis in Evolvable Production Systems
- 2010
-
Ingår i: Emerging Technologies and Factory Automation (ETFA), 2010 IEEE Conference on Date 13-16 Sept. 2010. - : IEEE. - 9781424468485 ; , s. 1-6
-
Konferensbidrag (refereegranskat)abstract
- Modern Production Paradigms, supported by state-of-art developments in IT, present major opportunities for the effective implementation of sustainable shop floors. With an increased focus in seamless system reconfiguration most proposals advocate the use of modular and distributed architectures that are dynamic compositions (adaptable and evolvable structures) of cooperating self-contained entities that interact using complex communication patterns with enhanced semantics. These design principles introduce significant diagnostic challenges. The distributed and contained nature of the information renders collective fault events harder to track. Furthermore, current approaches that are adjusted to a more conservative logic-based control, do not provide an adequate response to this problem. This paper proposes an approach to capture the network dynamics of faults in the emergent domain of Evolvable Production Systems (EPS) which implements and extends the before-mentioned characteristics.
|
|
