{"title":"Application of the virtual reference feedback tuning on wastewater treatment plants: A simulation study","authors":"J. D. Rojas, R. Vilanova, V. Alfaro","doi":"10.1109/ETFA.2010.5641351","DOIUrl":"https://doi.org/10.1109/ETFA.2010.5641351","url":null,"abstract":"This work presents a Data-Driven control applied to a wastewater treatment plant in a simulation study. The Benchmark Simulation Model 1 (BSM1) is used as a benchmark to compare the obtained results. It was found that similar results from the default controllers are achieved, without the need of any simplification of the model, and using only data from the direct simulation of the process. The Virtual Reference Feedback Tuning method is applied in a Two Degrees of Freedom Proportional-Integral (PI) control for the Dissolved Oxygen and Nitrate Nitrogen control loops, adding a constraint in the optimization problem to guarantee that the discrete version of the PI preserves the characteristics of the analog counterpart.","PeriodicalId":201440,"journal":{"name":"2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127201899","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
G. Cena, M. Cereia, I. Bertolotti, S. Scanzio, A. Valenzano, C. Zunino
{"title":"A software implementation of IEEE 1588 on RTAI/RTnet platforms","authors":"G. Cena, M. Cereia, I. Bertolotti, S. Scanzio, A. Valenzano, C. Zunino","doi":"10.1109/ETFA.2010.5640955","DOIUrl":"https://doi.org/10.1109/ETFA.2010.5640955","url":null,"abstract":"At present, an increasing number of distributed control systems are based on platforms made up of conventional PCs running open-source real-time operating systems. Often, the need arises in these systems to have networked devices supporting synchronized operations. In this paper, an inexpensive solution is introduced, described, implemented and evaluated that relies on standard software and protocols such as RTAI, RTnet and IEEE 1588. The main goals of this architecture are reducing design and development costs, ensuring adequate synchronization accuracy, and easing the porting of control applications to different H/W and S/W configurations.","PeriodicalId":201440,"journal":{"name":"2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)","volume":"203 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126078516","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Towards hierarchical scheduling in Linux/multi-core platform","authors":"M. Åsberg, Thomas Nolte, S. Kato","doi":"10.1109/ETFA.2010.5640999","DOIUrl":"https://doi.org/10.1109/ETFA.2010.5640999","url":null,"abstract":"This paper proposes the implementation of 4 different scheduling strategies for combining multi-core scheduling with hierarchical scheduling. Three of the scheduling schemes are analyzable with state-of-the-art schedulability analysis theory, available in the real-time systems community. Our idea is to implement these hierarchical multi-core scheduling strategies in a Linux based operating system, without modifying the kernel, and evaluate them. As of now, we have developed/implemented a prototype two-level hierarchical scheduling framework (HSF) in Linux (uni-core), which supports fixed priority preemptive scheduling (FPPS) of periodic servers at the top level, and FPPS of periodic tasks at the second level. The HSF is based on the REal-time SCHeduler (RESCH) framework.1","PeriodicalId":201440,"journal":{"name":"2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)","volume":"C-22 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132722462","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On validation of simulation models in timing analysis of complex real-time embedded systems","authors":"Yue Lu, J. Kraft, Thomas Nolte, C. Norström","doi":"10.1109/ETFA.2010.5641168","DOIUrl":"https://doi.org/10.1109/ETFA.2010.5641168","url":null,"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 suficiently accurate approximation of the target system.","PeriodicalId":201440,"journal":{"name":"2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134336238","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"FTOS: Model-driven development of fault-tolerant automation systems","authors":"C. Buckl, D. Sojer, A. Knoll","doi":"10.1109/ETFA.2010.5641211","DOIUrl":"https://doi.org/10.1109/ETFA.2010.5641211","url":null,"abstract":"The design of fault-tolerant automation systems is a complex task. These systems must not only satisfy real-time requirements but they must also deliver the specified functionality in the presence of both software and hardware faults. To achieve fault-tolerance, systems have to use redundancy. This redundancy is usually achieved by replicating hardware units and executing the application within a distributed system. Model-based design tools promise to reduce the complexity of the design process by raising the abstraction level. However, most of the existing tools focus only on functional aspects. Code realizing extra-functional requirements such as fault-tolerance mechanisms, communication, and scheduling is not targeted. However, this type of code makes up the majority of the code of a fault-tolerant real-time system. This paper presents FTOS, a model-based development tool for the design of fault-tolerant automation systems that focuses on code generation of extra-functional requirements and therefore complements existing tools.","PeriodicalId":201440,"journal":{"name":"2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132111087","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A concept for conformance testing of AutomationML models by means of formal proof using OCL","authors":"M. Schleipen","doi":"10.1109/ETFA.2010.5641270","DOIUrl":"https://doi.org/10.1109/ETFA.2010.5641270","url":null,"abstract":"The wide-spread use of a standard data exchange format depends on its content, but also on its tractability and usability. In this context, one aspect is the proof of standard conformity. If the rules and definitions of a standard are violated, the created results will not conform to this standard and cannot be used by others. An easy to use verification would be the proof that the results correspond to the desired standard. This article presents a concept for formal conformance testing of AutomationML® data, an exchange format which is applied in plant engineering. The paper proposes a method for verifying conformance of an AutomationML ® instance to the AutomationML® meta model and specification.","PeriodicalId":201440,"journal":{"name":"2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123893174","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Lorenzo Fernández, L. Payá, Ó. Reinoso, J. M. Marín, A. Gil
{"title":"Comparison of mapping techniques in appearance-based topological maps creation","authors":"Lorenzo Fernández, L. Payá, Ó. Reinoso, J. M. Marín, A. Gil","doi":"10.1109/ETFA.2010.5641203","DOIUrl":"https://doi.org/10.1109/ETFA.2010.5641203","url":null,"abstract":"In this paper we compare two methods to carry out topological mapping using only visual information captured by a robot. This map should contain enough information so that the robot can estimate its position and orientation and redundant information should be removed to get an acceptable computational cost during the localization process. Apart from this, it is also important to know the topology of the map created since it will make possible a high-level planification of the path to move to the target points. We propose to build this topological map only using the panoramic images taken by an omnidirectional vision system and using appearance-based methods. We have carried out an exhaustive experimentation to study the validity of the proposed methods and to perform an objective comparison between them. Also, we have tested the processing time to create the topological map.","PeriodicalId":201440,"journal":{"name":"2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128664214","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"The CAEX tool suite - User assistance for the use of standardized plant engineering data exchange","authors":"M. Schleipen, M. Okon","doi":"10.1109/ETFA.2010.5641284","DOIUrl":"https://doi.org/10.1109/ETFA.2010.5641284","url":null,"abstract":"Improving efficiency in Manufacturing Execution Systems (MES) engineering and ensuring interoperability requires a tool or a tool suite, which handles the desired (heterogeneous) data representations or better an integrated (homogeneous) data representation - a data format aiming at interoperability. CAEX (Computer Aided Engineering Exchange, [1]) is one possible example of such a format. Its objective is a tool-independent description of plant planning data. CAEX is also used as a top-level format for AutomationML [2], [3]. To simplify the usage of this complex data exchange format, the authors developed various useful assistance tools which help users to work with it. These tools for transformation of arbitrary plant engineering data, their background and methodology will be presented in this contribution.","PeriodicalId":201440,"journal":{"name":"2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128736921","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
E. Zeeb, Guido Moritz, D. Timmermann, F. Golatowski
{"title":"Towards component orientation in embedded Web Service environments","authors":"E. Zeeb, Guido Moritz, D. Timmermann, F. Golatowski","doi":"10.1109/ETFA.2010.5641333","DOIUrl":"https://doi.org/10.1109/ETFA.2010.5641333","url":null,"abstract":"Service-oriented architectures and systems designs are powerful concerning reusability of functional blocks and hiding implementation details from functional interfaces. But to compose a complete application, often central entities and engines are required for processing a specific sequence of service. In component-based designs the component itself is capable of describing both not only their offered services and interfaces but also dependencies on other services and interfaces to fulfill a complete task or application logic. This paper investigates on how to transfer and enhance exiting component-based approaches, already known from business applications, into the domain of embedded web services environments. Special focus is on the Devices Profile for Web Services (DPWS) technology which features service orientation also in device centric applications. This paper introduces a new approach to create applications, based on services provided by devices deployed with DPWS, in an abstract and dynamic way.","PeriodicalId":201440,"journal":{"name":"2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128827271","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
M. Barranco, David Gessner, J. Proenza, L. Almeida
{"title":"First prototype and experimental assessment of media management in ReCANcentrate","authors":"M. Barranco, David Gessner, J. Proenza, L. Almeida","doi":"10.1109/ETFA.2010.5641321","DOIUrl":"https://doi.org/10.1109/ETFA.2010.5641321","url":null,"abstract":"Although the use of star topologies to improve dependability in field-buses is gaining in importance, as in TTP/C and FlexRay, a mature technology such as the Controller Area Network (CAN) remained essentially a bus-only network. Thus, we proposed a CAN-compliant replicated star topology called ReCANcentrate, which has advanced error-containment and fault-tolerance mechanisms. Its two hubs are coupled with each other and create a single logical broadcast domain that allowed us to propose, in a previous work, a strategy for each node to easily manage the replicated star by means of a software driver that abstracts away the details of the replication. This paper describes the main functionalities of this driver, as well as the first tests we have conducted, on a real ReCANcentrate prototype, to verify the correctness and the performance of the driver in the absence and in the presence of faults.","PeriodicalId":201440,"journal":{"name":"2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125807469","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}