G. Karmakar, Ashutosh Kabra, R. K. Patil, K. Ramamritham
{"title":"Partitioned environment for Programmable Controller in safety applications","authors":"G. Karmakar, Ashutosh Kabra, R. K. Patil, K. Ramamritham","doi":"10.1109/ETFA.2012.6489728","DOIUrl":"https://doi.org/10.1109/ETFA.2012.6489728","url":null,"abstract":"Use of Programmable Controllers (PLC) in safety-critical applications is gaining importance as a pre-qualified development platform to reduce Verification and Validation (V &V) effort. It has been observed, in practice, that most of the safety-critical functions are fairly simple and is achieved by only a small fraction of a large safety-critical software. This motivates the development of a partitioned operating environment for PLC, so that less critical components of the large safety-critical software can be partitioned from those, which are actually performing safety-critical functions. It will facilitate less rigorous V &V for less critical modules to get necessary approval for safety-critical system from regulatory authorities. This work addresses some issues in a Partitioned-PLC development towards improved schedulability bound, yet offering simplicity in implementation.","PeriodicalId":222799,"journal":{"name":"Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)","volume":"20 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":"132166236","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}
Michael Spieker, Arne Noyer, Padma Iyenghar, G. Bikker, Juergen Wuebbelmann, C. Westerkamp
{"title":"Model based debugging and testing of embedded systems without affecting the runtime behaviour","authors":"Michael Spieker, Arne Noyer, Padma Iyenghar, G. Bikker, Juergen Wuebbelmann, C. Westerkamp","doi":"10.1109/ETFA.2012.6489656","DOIUrl":"https://doi.org/10.1109/ETFA.2012.6489656","url":null,"abstract":"Model-based approaches to develop software for embedded systems are becoming increasingly important in the last ten years. In this context, it is desirable to carry out debugging at the model level in conjunction with the model-based development of embedded software. This paper presents such a model-based debugging approach which can be used to visualize the behaviour of embedded software on a host PC. The various constraints in embedded software development and execution pose a big challenge to monitor the embedded system without affecting its runtime behaviour. The focus of this work is to describe the underlying monitoring mechanism and the methodology to visualize the embedded system behaviour in real time. This includes different approaches to get the trace data from the target without or with minimal influence on the runtime behaviour of the monitored embedded system.","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":"115335968","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. Erdem, Kadir Haspalamutgil, V. Patoglu, T. Uras
{"title":"Causality-based planning and diagnostic reasoning for cognitive factories","authors":"E. Erdem, Kadir Haspalamutgil, V. Patoglu, T. Uras","doi":"10.1109/ETFA.2012.6489636","DOIUrl":"https://doi.org/10.1109/ETFA.2012.6489636","url":null,"abstract":"We propose the use of causality-based formal representation and automated reasoning methods from artificial intelligence to endow multiple teams of robots in a factory, with high-level cognitive capabilities, such as, optimal planning and diagnostic reasoning. In particular, we introduce algorithms for finding optimal decoupled plans and diagnosing the cause of a failure/discrepancy (e.g., robots may get broken or tasks may get reassigned to teams). We discuss how these algorithms can be embedded in an execution and monitoring framework effectively by allowing reusability of computed plans in case of failures, and show the applicability of these algorithms on an intelligent factory scenario.","PeriodicalId":222799,"journal":{"name":"Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)","volume":"103 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":"115782053","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":"Integrated control of centralized and renewable heat sources with peak demand compensation","authors":"W. Grega","doi":"10.1109/ETFA.2012.6489676","DOIUrl":"https://doi.org/10.1109/ETFA.2012.6489676","url":null,"abstract":"The system under investigation was heat distribution network servicing a number of buildings from the central source, while some buildings are supplied from biomass boiler. The key objectives of this research were to develop an integrated system allowing control and monitoring of the operations of the sources of heating energy (including renewable energy sources) and to identify ways to optimise energy consumption. An important problem of this strategy consists in keeping peek demand of energy below the maximum power of the external energy sources. The proposed algorithm is model-based and compensates peak power energy deficiency of a building.","PeriodicalId":222799,"journal":{"name":"Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)","volume":"113 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":"124171377","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":"Improved virtual build to order","authors":"Marcos Calle Suarez, P. L. Gonzalez-R","doi":"10.1109/ETFA.2012.6489738","DOIUrl":"https://doi.org/10.1109/ETFA.2012.6489738","url":null,"abstract":"The evolution of the markets in recent years caused the evolution of production systems to adapt to a new kind of demand. This demand is characterized by requiring products more varied, available within a short time and at a reasonable price. We observed an evolution of productive systems from mass production to mass customization strategies. The adaptation of order fulfilment and production strategies to this new paradigm of mass customization offers new opportunities for companies improving their competitive advantages. This work is devoted to perform a simulation study of a new order fulfilment procedure (i-VBTO) to be used in mass customized environments. The results are promising, although additional studies are needed to bring this system into practice.","PeriodicalId":222799,"journal":{"name":"Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)","volume":"08 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":"114628481","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-tolerant Audio and Video Bridging (AVB) Ethernet: A novel method for redundant stream registration configuration","authors":"Oliver Kleineberg, Peter Fröhlich, D. Heffernan","doi":"10.1109/ETFA.2012.6489645","DOIUrl":"https://doi.org/10.1109/ETFA.2012.6489645","url":null,"abstract":"The Audio and Video Bridging (AVB) technology equips Ethernet with Real-Time characteristics, based on standards developed by IEEE 802.1. In 2011, the IEEE 802.1 AVB Task group completed the first generation of AVB Standards, and is currently starting standardization work on AVB Generation 2, aimed at Industrial Automation & Control networks, as well as Automotive networks. One aspect of this standardization effort is to adapt AVB stream reservation mechanisms to operate with industrial-standard fault tolerance technologies. This paper proposes a method to allow AVB to be used flexibly with different use-cases and different stream configuration mechanisms to achieve fault-tolerance. The method has been verified through simulation and has been proposed to the AVB task group for inclusion into the 2nd Generation AVB standards.","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":"117105796","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":"Hardware-based object layout in an embedded real-time Java environments","authors":"M. T. Higuera-Toledano","doi":"10.1109/ETFA.2012.6489727","DOIUrl":"https://doi.org/10.1109/ETFA.2012.6489727","url":null,"abstract":"Conventional cache memories act to bridge the gap in speeds between the processor and main memory. However, typical cache hardware takes no account of the specific characteristics of object-oriented programs, as a consequence it may incur a performance penalty. In this paper, we discuss how such a device can be designed to support Java objects. This feature is especially useful in the field of real-time programming, where cache determinism is a limiting factor in performance. In order to do that, we propose an object layout which splits objects into the same sized blocks to avoid external fragmentation while minimizing internal fragmentation.","PeriodicalId":222799,"journal":{"name":"Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)","volume":"43 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":"117173878","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}
Georg Frey, R. Drath, Bastian Schlich, R. Eschbach
{"title":"“Safety automata” — A new specification language for the development of PLC safety applications","authors":"Georg Frey, R. Drath, Bastian Schlich, R. Eschbach","doi":"10.1109/ETFA.2012.6489536","DOIUrl":"https://doi.org/10.1109/ETFA.2012.6489536","url":null,"abstract":"This contribution defines for the first time “safety automata”, a specification language for safety control functions. This fills an important gap in the method tool box of the automation engineer. The definition has a profound potential to broaden the use of automata and their well-known advantages in industrial applications. The advantages and application of safety automata are explained by example via the function block SF_Equivalent of the PLCopen specification. Stepwise, the authors illustrate the specification of this function block by means of safety automata, the transformation rules to implement the automata in fully functional PLC code, and finally the generation of test cases that allow checking both the automata and the PLC code.","PeriodicalId":222799,"journal":{"name":"Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)","volume":"4 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":"122020142","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}
N. Uchiyama, Hirofumi Yamanaka, S. Sano, P. Ho, Son Doan Tran
{"title":"Force control approach for the automation of cashew-shelling operation","authors":"N. Uchiyama, Hirofumi Yamanaka, S. Sano, P. Ho, Son Doan Tran","doi":"10.1109/ETFA.2012.6489763","DOIUrl":"https://doi.org/10.1109/ETFA.2012.6489763","url":null,"abstract":"Vietnam is one of the world's largest countries in terms of exportingers of cashews nuts in kernel (edible portion) form. Currently, more than 200,000 labors are engaged in the cashew processing industry. Although most cashew processing operations have been automated, the shelling operation is still conducted manually. Consequently, the shelling rate is very low compared to other operations, and the labor conditions are strenuous and unsafe. This paper introduces a cashew-shelling machine design to improve the production efficiency and working conditions. The proposed design includes shell milling operation and wedge splitting process designs. In addition, a conveyor system design to transport cashews is included to increase the production efficiency. Because cashews come in different sizes, we propose a force controller for the milling system that cuts the cashew shell without deteriorating the cashew kernel. Experimental results demonstrate the effectiveness of the proposed force controller.","PeriodicalId":222799,"journal":{"name":"Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)","volume":"13 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":"116999390","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":"Artificial neural network approach for detection and diagnosis of valve stiction","authors":"Allan Venceslau, L. A. Guedes, D. Silva","doi":"10.1109/ETFA.2012.6489768","DOIUrl":"https://doi.org/10.1109/ETFA.2012.6489768","url":null,"abstract":"Valve stiction or static friction in control loops is a common problem in modern industrial processes. Several recent studies have tried to understand, reproduce, and detect such issue; however, the actual quantification is still a challenge. Since the valve position (mv) is normally unknown in industrial process, the main challenge is to diagnose stiction knowing only the output signals of the process (pv) and the control signal (op). This paper presents an artificial neural network approach in order to detect and quantify the amount of static friction using only the pv and op information. This study was validated by a simulation process. The results show satisfactory measurements of stiction.","PeriodicalId":222799,"journal":{"name":"Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)","volume":"15 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":"124081984","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}