{"title":"Let's talk AutomationML what is the effort of AutomationML programming?","authors":"R. Drath","doi":"10.1109/ETFA.2012.6489783","DOIUrl":"https://doi.org/10.1109/ETFA.2012.6489783","url":null,"abstract":"Data exchange between engineering tools has been identified as a major bottleneck in the engineering workflow. AutomationML aims to close this gap by supporting the exchange of a variety of aspects of automation engineering and its ability to manage multiple semantics in a heterogeneous engineering tool landscape. But beside all AutomationML-concepts, the introduction in the industry is bound to its ease of use. This paper gives an overview about the results of an activity of the AutomationML society which investigated concepts to reduce the AutomationML programming effort. After an introduction into basic requirements, this paper proposes a generic design for im-and exporter software and explains how to technically manage semantic variety. In addition, the author gives an overview about typical errors in AutomationML object modeling and how to avoid them. Finally, this paper wraps up with a major prejudice about XML based file exchange, the lack of performance, and presents encouraging results of a CAEX performance investigation.","PeriodicalId":222799,"journal":{"name":"Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131215499","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":"Modeling change and structural dependencies of automation systems","authors":"M. Göring, A. Fay","doi":"10.1109/ETFA.2012.6489540","DOIUrl":"https://doi.org/10.1109/ETFA.2012.6489540","url":null,"abstract":"Automation systems can be structured according to physical and functional aspects, supplemented by the consideration of the dependencies between the elements of both structures. This information is required for analyses of effects due to temporal changes of the physical system structures, e.g. to analyze the effect of a component fault onto the automation system functions. This contribution proposes a metamodel for the system level design of automation systems, which makes use of hierarchical structures offered by the description language AutomationML, structured on the basis of the IEC 81346 aspects: product, function, and location, and supplemented by inter and intra structure relationships for modeling the dependencies. Modeling temporal changes is considered by means of the integration of an event structure into the metamodel.","PeriodicalId":222799,"journal":{"name":"Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128023676","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}
L. L. Bello, A. Raucea, Gaetano Patti, O. Mirabella
{"title":"L-PTP: A novel clock synchronization protocol for Powerline networks","authors":"L. L. Bello, A. Raucea, Gaetano Patti, O. Mirabella","doi":"10.1109/ETFA.2012.6489774","DOIUrl":"https://doi.org/10.1109/ETFA.2012.6489774","url":null,"abstract":"This paper proposes a Lightweight version of the Precision Time Protocol, called L-PTP, for implementation on Powerline communication systems. The aim of this novel protocol is to reduce the number of messages exchanged to achieve synchronization, without penalizing its quality. L-PTP introduces several modifications to the original PTP and can be implemented on COTS devices. The paper focuses on the protocol and on the benefits of its combination with a virtual clock computation performed by a dynamic clock synchronization algorithm.","PeriodicalId":222799,"journal":{"name":"Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133683851","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":"Fault-centric system modeling using SysML for reliability testing","authors":"A. Thoma, Benjamin Kormann, B. Vogel‐Heuser","doi":"10.1109/ETFA.2012.6489543","DOIUrl":"https://doi.org/10.1109/ETFA.2012.6489543","url":null,"abstract":"Current production plants are highly customizable and flexible in their processes. This flexibility is mainly realized by software. Standards like IEC 61508 for functional safety demand intensive testing efforts to ensure a certain level of integrity. The uncertainty about system behavior, especially in fault situations, complicates reliability testing. We propose a concept that integrates fault models into SysML system models for model based development. The introduced fault models can be designed in two granularity levels, starting with coarse information at early development phases up to precise mathematical relations. The concept is applied to a component (rotary switch) of a laboratory plant, which connects three conveyor bands where friction deviation can occur during rotary movement. Such models can build the foundation for test generation in reliability testing.","PeriodicalId":222799,"journal":{"name":"Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133738789","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. Dimitrios, G. Vasileios, G. Dimitrios, C. Ioannis
{"title":"Employing Internet of Things technologies for building automation","authors":"A. Dimitrios, G. Vasileios, G. Dimitrios, C. Ioannis","doi":"10.1109/ETFA.2012.6489650","DOIUrl":"https://doi.org/10.1109/ETFA.2012.6489650","url":null,"abstract":"Modern Wireless Sensor Networks offer an easy, low-cost and reliable alternative to the back-end for monitoring and controlling large geographical areas like Buildings and Industries. We present the design and implementation details of an open and efficient Prototype System as a solution for low-cost BMS that comprises of heterogeneous, small-factor wireless devices. Placing that in the context of Internet of Things we come up with a solution that can cooperate with other systems installed on the same site to lower power consumption and costs as well as benefit humans that use its services in an transparent way. We evaluate and assess key aspects of the performance of our prototype. Our findings indicate specific approaches to reduce the operation costs and allow the development of open applications.","PeriodicalId":222799,"journal":{"name":"Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)","volume":"57 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114185040","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":"PI+CI tuning for integrating plus deadtime systems","authors":"M. A. Davó, A. Baños","doi":"10.1109/ETFA.2012.6489761","DOIUrl":"https://doi.org/10.1109/ETFA.2012.6489761","url":null,"abstract":"The PI+CI is a reset compensator that has been shown to be effective in a number of practical applications. In this work, a simple PI+CI tuning method for integrating systems with time delay is proposed. It is a direct method, with only a tuning parameter to balance between closed-loop robustness and performance. A tuning rule for the reset ratio parameter of the PI+CI compensator is proposed in order to improve the disturbance rejection. Finally, the proposed compensator is compared with some well-tuned PI compensators.","PeriodicalId":222799,"journal":{"name":"Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114763614","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. Carpanzano, M. Mazzolini, Andrea Orlandini, A. Valente, A. Cesta, F. Marino, R. Rasconi
{"title":"Closed-loop production and automation schedule execution in RMSs under uncertain environmental conditions","authors":"E. Carpanzano, M. Mazzolini, Andrea Orlandini, A. Valente, A. Cesta, F. Marino, R. Rasconi","doi":"10.1109/ETFA.2012.6489597","DOIUrl":"https://doi.org/10.1109/ETFA.2012.6489597","url":null,"abstract":"Highly automated production systems are conceived to efficiently handle evolving production requirements. This concerns any level of the system from the configuration and control to the management of production. The proposed work deals with the development of an innovative platform jointly managing the production scheduling level and the automation level. The major advantage coming from the platform is the capacity of generating scheduling plans which are executed at automation level and concurrently monitored over time so that any production anomaly or system misbehavior can be dynamically interpreted and adapted by regenerating online a new schedule. The paper describes the current release of our closed loop architecture that integrated both control and automation parts.","PeriodicalId":222799,"journal":{"name":"Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115251687","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. N. Shehzad, A. Déplanche, Y. Trinquet, R. Urunuela
{"title":"Efficiency evaluation of overhead control heuristics in DP-Fair multiprocessor scheduling","authors":"M. N. Shehzad, A. Déplanche, Y. Trinquet, R. Urunuela","doi":"10.1109/ETFA.2012.6489568","DOIUrl":"https://doi.org/10.1109/ETFA.2012.6489568","url":null,"abstract":"A number of optimal algorithms exist for scheduling of periodic taskset with implicit deadlines in real-time multiprocessor systems. However, the practical facts reveal that the optimality is achieved at the cost of excessive scheduling points, migrations and preemptions. In [19], we proposed two heuristics to control the overhead for a class of non-work conserving global scheduling algorithms that combine fluid scheduling and deadline partitioning, while guaranteeing optimality. This paper gives some detailed simulation results along with description of the system to generate the data for the simulation. The given results show the basic strength of the heuristics and validate their efficiency.","PeriodicalId":222799,"journal":{"name":"Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124718905","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":"Assisted engineering for mechatronic manufacturing systems based on a modularization concept","authors":"M. Weyrich, Philipp Klein","doi":"10.1109/ETFA.2012.6489660","DOIUrl":"https://doi.org/10.1109/ETFA.2012.6489660","url":null,"abstract":"The concept of the manufacturing system is defined in the basic engineering phase. Thus, the productivity and cost of the system are also determined. The approach of the Assisted Engineering aims to integrate experience and knowledge of existing manufacturing systems in the engineering process. For this purpose, these systems are modularized and systematically integrated into a knowledge base. This knowledge base allows a more efficient engineering process by reusing mechatronic modules. Thereby, the performance of a manufacturing system can be substantiated at an early stage of engineering. The approach described in this paper aims at increasing the reusability of such modules. For this, the modularization of existing systems is optimized so that the modules are not too specific for reuse in the development of a new manufacturing system.","PeriodicalId":222799,"journal":{"name":"Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)","volume":"50 5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123698631","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":"Coupling timed plant and controller models with urgent transitions without introducing deadlocks","authors":"M. Perin, J. Faure","doi":"10.1109/ETFA.2012.6489682","DOIUrl":"https://doi.org/10.1109/ETFA.2012.6489682","url":null,"abstract":"This paper focuses on timed models which represent closed-loop systems composed of a plant and a logic controller. Both the plant and controller models are described in a formalism where urgent transitions are possible, to avoid non-realistic evolutions, and without deadlock when they are separated. It is first shown that deadlocks may occur in the plant model as soon as both models are coupled. To solve this issue, shared variables which model the changes of the inputs of the controller are defined and introduced in some actions of the plant model as well as in some guards of the controller model; the aim of these variables is to authorize evolutions of the controller only when at least one input has changed. This solution removes the previously pinpointed deadlocks and guarantees the reactivity of the controller.","PeriodicalId":222799,"journal":{"name":"Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)","volume":"124 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122896066","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}