Muhammad Adnan, Jean-Luc Scharbarg, Jérôme Ermont, C. Fraboul
{"title":"Model for worst case delay analysis of an AFDX network using timed automata","authors":"Muhammad Adnan, Jean-Luc Scharbarg, Jérôme Ermont, C. Fraboul","doi":"10.1109/ETFA.2010.5641124","DOIUrl":"https://doi.org/10.1109/ETFA.2010.5641124","url":null,"abstract":"AFDX (Avionics Full Duplex Switched Ethernet) standardized as ARINC 664 is a major upgrade for avionics systems. But guarantees on upper bounds of end-to-end communication delays are required for certification purposes. The objective of this paper is to present an improved modeling approach using timed automata for calculation of exact worst case delays. This approach takes advantage of local scheduling of flows. Moreover, it can cope with larger network configurations than existing approaches based on timed automata, thanks to a port by port analysis which reduces the search space.","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":"114009486","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":"Anti-windup schemes comparison for digital repetitive control","authors":"G. Ramos, R. Costa-Castelló, J. M. Olm","doi":"10.1109/ETFA.2010.5641241","DOIUrl":"https://doi.org/10.1109/ETFA.2010.5641241","url":null,"abstract":"As other Internal Model Principle based strategies, digital repetitive control uses an internal model which provides infinite gain at specific frequencies. In systems subject to actuator saturation, a controller with this characteristics is highly prone to windup effect. Since linear design does not consider the actuator saturation this non linear behaviour may compromise the performance and even the stability of the system. One way to deal with this problem is to avoid saturation by selecting an actuator with larger capacity but it increases the implementation cost. In other cases, an anti-windup scheme is necessary. The main goal of the anti-windup strategy is threefold: to obtain a faster recovery of the system after saturation, to achieve less performance degradation and to preserve stability. In this paper three different anti-windup schemes have been selected from the available literature to address the windup problem in digital repetitive control. The design and implementation issues are discussed. A simulation example compares the results when saturation is reached either during the transient response or in steady state.","PeriodicalId":201440,"journal":{"name":"2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)","volume":"98 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":"114213733","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}
J. Bouza-Fernandez, G. Gonzalez-Filgueira, S. Jimenez, D. Vazquez-Gonzalez
{"title":"Expert system of a sewage treatment plant for wood industry","authors":"J. Bouza-Fernandez, G. Gonzalez-Filgueira, S. Jimenez, D. Vazquez-Gonzalez","doi":"10.1109/ETFA.2010.5641307","DOIUrl":"https://doi.org/10.1109/ETFA.2010.5641307","url":null,"abstract":"This paper describes the methodology and solution to automate and monitor a sewage treatment plant from an industry dedicated to the manufacture of wood panels. The control system designed, not only governs all elements of performance of the plant, but also oversees its proper functioning. It also has a human-machine interface with a daily working and emergency program, accompanied by an information system supported by records and alarms to facilitate human decisions making if were necessary. The proposed solution, not only increases the reliability and safety of the process with respect to plants or other type semi-automatic operation, but also reduces costs by improving process efficiency and minimizes costs in maintenance and monitoring.","PeriodicalId":201440,"journal":{"name":"2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)","volume":"39 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":"114340421","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}
Elisabet Estévez-Estévez, M. Marcos, A. Lüder, L. Hundt
{"title":"PLCopen for achieving interoperability between development phases","authors":"Elisabet Estévez-Estévez, M. Marcos, A. Lüder, L. Hundt","doi":"10.1109/ETFA.2010.5641359","DOIUrl":"https://doi.org/10.1109/ETFA.2010.5641359","url":null,"abstract":"As fast as industry reaches a greater maturity level and applications become more complex, a consolidation of the modeling methodologies becomes necessary. They are composed by a lot of heterogeneous systems that need working together to perform automation and control tasks. AutomationML framework's goal is to interconnect the heterogeneous tools used in the different engineering disciplines. In concrete it manages three well accepted standards: CAEX for topology, COLLADA for kinematics and geometry, and PLCopen for logic data. This paper is focused in the logic data. A logic CPF framework is defined in order to integrate tools into AutomationML framework that fulfill the logic data present in different development phases of the applications.","PeriodicalId":201440,"journal":{"name":"2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)","volume":"9 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":"114922311","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":"Usability evaluation of modeling notations for software engineering in machine and plant automation","authors":"Steven Braun, Martin Obermeier, B. Vogel‐Heuser","doi":"10.1109/ETFA.2010.5641365","DOIUrl":"https://doi.org/10.1109/ETFA.2010.5641365","url":null,"abstract":"During the last eight years we investigated the benefit of modeling notations, e.g. UML and domain specific UML profiles as well as specialized modeling languages (Idiomatic Control Language - ICL) in software engineering (IEC 61131-3) in machine and plant automation with three different experiments and approximately more than 120 participants. The results of the conducted experiments revealed the benefits and the shortcomings of UML in the field of supporting control programming. Furthermore we can show the impact of different modeling notations on software quality (IEC 61131-3) and time consumption for the software development process as well as some results on how to evaluate model driven engineering under usability aspects.","PeriodicalId":201440,"journal":{"name":"2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)","volume":"271 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":"116625118","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}
A. Zubizarreta, I. Cabanes, M. Marcos, Charles Pinto, E. Portillo
{"title":"Extended CTC control for parallel robots","authors":"A. Zubizarreta, I. Cabanes, M. Marcos, Charles Pinto, E. Portillo","doi":"10.1109/ETFA.2010.5641194","DOIUrl":"https://doi.org/10.1109/ETFA.2010.5641194","url":null,"abstract":"Parallel robots have recently arisen as an interesting robotic architecture capable of performing task at high speed and precision. In order to exploit all the potential of these mechanism, model based control approaches are required. However, due to their complex structure, kinematic and dynamic modelling is a complex task, which usually leads to models with parameter uncertainties. In order to reduce the effect of parameter uncertainties, in this paper a redundant dynamic model based Extended CTC approach is proposed, and its stability and sensitivity analyzed for the 3RRR parallel robot. Results show that this approach provides more robustness than classical CTC approach to model parameter uncertainties.","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":"116669756","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":"Real-time modeling for industrial control systems","authors":"Elisabet Estévez-Estévez, M. Marcos, E. Irisarri","doi":"10.1109/ETFA.2010.5641249","DOIUrl":"https://doi.org/10.1109/ETFA.2010.5641249","url":null,"abstract":"This paper presents a temporal characterization of the IEC 61131-3 standard for automation software. The final goal is to apply schedulability analysis to industrial distributed control systems to assure they meet timing non functional requirements. This characterization has been performed in the context of a Model Driven Design approach previously proposed by the authors. The approach defines three Domain Specific Models: control specification and hardware and software architectures. The software model uses the PLCopen XML interface for expressing IEC 61131–3 automation projects. The information contained in the whole application model is processed to generate the temporal model of the application. Schedulability analysis is achieved by generating the temporal model of the well-known Modeling and Analysis Suite for Real-Time Applications, MAST.","PeriodicalId":201440,"journal":{"name":"2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)","volume":"34 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":"123815549","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":"Design patterns for Failure Management in IEC 61499 Function Blocks.","authors":"F. Serna, C. Catalán, A. Blesa, J. M. Rams","doi":"10.1109/ETFA.2010.5641250","DOIUrl":"https://doi.org/10.1109/ETFA.2010.5641250","url":null,"abstract":"IEC 61499 standard has promised to help handling the high level of complexity of modern control systems, but it hasn't still been adopted by the industry. Several authors claim for design methodologies to guide control engineers using this standard.","PeriodicalId":201440,"journal":{"name":"2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)","volume":"1 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":"122265846","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 novel approach to PLC programming for distributed automation systems control","authors":"F. Basile, P. Chiacchio, D. Gerbasio","doi":"10.1109/ETFA.2010.5641344","DOIUrl":"https://doi.org/10.1109/ETFA.2010.5641344","url":null,"abstract":"Industrial automation is largely based on PLC-based control systems. PLCs are today mostly programmed in the languages of the IEC 61131 standard which are not ready to meet the new challenges of widely distributed automation systems. Currently, different solutions are available from industry and research: an extension of IEC 61131 which includes object oriented programming, the adoption of the new standard IEC 61499 or the implementation of supervisory control. All these solutions present different problems which are briefly recalled in the paper. To overcome some of these problems in this paper it is shown that a novel approach based on supervisory control and IEC 61131 can be immediately used to meet the new requirements.","PeriodicalId":201440,"journal":{"name":"2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)","volume":"81 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":"126003863","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":"Comparative evaluation of limited preemptive methods","authors":"Gang Yao, G. Buttazzo, M. Bertogna","doi":"10.1109/ETFA.2010.5641199","DOIUrl":"https://doi.org/10.1109/ETFA.2010.5641199","url":null,"abstract":"Schedulability analysis of real-time systems requires the knowledge of the worst-case execution time (WCET) of each computational activity. A precise estimation of such a task parameter is quite difficult to achieve, because execution times depend on many factors, including the task structure, the system architecture details, operating system features and so on. While some of these features are not under our control, selecting a proper scheduling algorithm can reduce the runtime overhead and make the WCETs smaller and more predictable. In particular, since task execution times can be significantly affected by preemptions, a number of scheduling methods have been proposed in the real-time literature to limit preemption during task execution. In this paper, we provide a comprehensive overview of the possible scheduling approaches that can be used to contain preemptions and present a comparative study aimed at evaluating their impact on task execution times.","PeriodicalId":201440,"journal":{"name":"2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)","volume":"26 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":"123955721","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}