{"title":"Safety oriented software engineering process for autonomous robots","authors":"V. Gribov, H. Voos","doi":"10.1109/ETFA.2013.6647969","DOIUrl":"https://doi.org/10.1109/ETFA.2013.6647969","url":null,"abstract":"In this paper, a safety oriented model based software engineering process for autonomous robots is proposed. Herein, the main focus is on the modeling of the safety case based on the standard ISO/DIS 13482. Combined with a safe multilayer robot software architecture it allows to trace the safety requirements and to model safety relevant properties on the early design stages in order to build a reliable chain of evidence. The introduced engineering processes consist of the Domain Engineering, which is dealing with the development of a set of interlinked formalized safety cases and software components. Finally, the proposed engineering process is demonstrated on the example of the assembly assistant robot and ROS (Robot Operating System).","PeriodicalId":106678,"journal":{"name":"2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)","volume":"78 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124467228","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}
André Schimschar, D. Hasler, M. Wollschlaeger, R. Lehmann
{"title":"Device-related modeling of wireless components for industrial automation systems","authors":"André Schimschar, D. Hasler, M. Wollschlaeger, R. Lehmann","doi":"10.1109/ETFA.2013.6648031","DOIUrl":"https://doi.org/10.1109/ETFA.2013.6648031","url":null,"abstract":"For several years many applications are using wireless communication in industrial automation, although wireless solutions (WS) are not yet fully integrated into the life cycle (LC) process of automation systems. Since several wireless technologies are candidates to fulfill given automation communication requirements, it is almost impossible for automation engineers to select the appropriate solution, to plan wireless solutions, or to perform diagnosis or fault analysis of a wireless network. Wireless specialists and specific tools are necessary for each potential WS. To overcome this problem, an information model for handling wireless systems throughout the life cycle (LC) has been developed in order to support automation engineers accessing the appropriate information when required. This paper presents the results of the project.","PeriodicalId":106678,"journal":{"name":"2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124834743","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":"Supervisory movement coordination in pipeless chemical plants","authors":"J. Markovski, M. Reniers","doi":"10.1109/ETFA.2013.6648105","DOIUrl":"https://doi.org/10.1109/ETFA.2013.6648105","url":null,"abstract":"Pipeless chemical plants provide an alternative way for flexible, scalable, and reconfigurable production of high valued chemical products on demand. The main feature of these pipeless plants is that the raw materials needed for production are transferred in the system by means of automated guided vehicles. Given recipes that describe the production of the desired products, the supervisory control problem is to coordinate the movement of the vehicles such that all recipes are successfully completed on time. To safely coordinate the movement of the vehicles, we propose to employ supervisory coordination. To validate timeliness and reliable completion of the recipes, we propose multiple alternatives relying on formal verification using timed and stochastic model checking.","PeriodicalId":106678,"journal":{"name":"2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125087614","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":"Flexible and reliable software architecture for industrial user interfaces","authors":"W. Beer, B. Dorninger, M. Winterer","doi":"10.1109/ETFA.2013.6648064","DOIUrl":"https://doi.org/10.1109/ETFA.2013.6648064","url":null,"abstract":"Visualization software plays a major role in controlling and monitoring production machines and facilities. In recent years these software systems have undergone major changes in terms of flexibility, user interaction and large scale enterprise integration capabilities. While traditional machine control systems tend to operate in isolation, modern industrial software systems are integrated in complex production processes that demand for flexibility and openness, also in terms of dynamic change of functionality at runtime. Despite this increased demand for flexibility, the most important requirement for industrial software systems remains reliability and stable operation. Within this work we present an architectural approach for abstracting industrial application models on top of a dynamic and modular runtime framework (OSGi) and a flexible application platform (Eclipse). This approach allows to add functionality at runtime as well as to adapt the rendering of the UI to various technologies.","PeriodicalId":106678,"journal":{"name":"2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)","volume":"896 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123253425","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":"General observation structures for Petri nets","authors":"Yin Tong, Zhiwu Li, A. Giua","doi":"10.1109/ETFA.2013.6648161","DOIUrl":"https://doi.org/10.1109/ETFA.2013.6648161","url":null,"abstract":"Observation structures usually considered for Petri nets assume that the firing of transitions may be observed through static labels and that the marking of some places may be measurable. These observation structures are rather limited and we consider in this paper more general ones, correspondingly defining two new classes of nets: labeled Petri nets with outputs and adaptive labeled Petri nets. Several examples of nets in these classes are considered. Furthermore we also show the possibility to convert a labeled Petri net into an adaptive Petri net or a labeled Petri net.","PeriodicalId":106678,"journal":{"name":"2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)","volume":"136 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122771865","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":"Order/remanufacturing policy of spare part with recovery option for stochastic deteriorating system","authors":"H. Boudhar, M. Dahane, N. Rezg","doi":"10.1109/ETFA.2013.6647988","DOIUrl":"https://doi.org/10.1109/ETFA.2013.6647988","url":null,"abstract":"This article discusses the issue of spare part return in a production system with a single machine subject to a monotone and stochastic deterioration. It investigates the problem of the spare parts returns and the reusing problem of recovered part, with or without remanufacturing actions. Each recovered spare part is stocked, before being inspected and probably reused. We propose an order/remanufacturing replacement policy with an inventory management of the recovered spare parts. A condition-based maintenance policy is adopted with three decision thresholds for order management, preventive maintenance management and corrective maintenance. A genetic algorithm based approach is proposed and an illustrative example is presented to reveal the application of the proposed policy.","PeriodicalId":106678,"journal":{"name":"2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126908849","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":"Control software development in Industrial Automation","authors":"C. Insaurralde, Alois Zoitl","doi":"10.1109/ETFA.2013.6648078","DOIUrl":"https://doi.org/10.1109/ETFA.2013.6648078","url":null,"abstract":"Classical programming approaches are no longer enough to implement and integrate evolved control software for Industrial Automation Systems (IASs). The multidisciplinary implementation of increasingly-sophisticated IAS capabilities makes developers look for more effective methodologies to efficiently design, build, and evaluate such software. This paper identifies gaps in the development process of IASs. Filling these gaps can help improving the coding of IAS control applications by overcoming current development limitations. This paper argues for a requirements-driven development process and an interactive integration framework to mitigate drawbacks set by engineering tools. It shows gaps given by what current tools can provide and what is needed.","PeriodicalId":106678,"journal":{"name":"2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126996486","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":"Robust tuning of 2DoF PID controllers with filter for unstable first-order plus dead-time processes","authors":"V. Alfaro, R. Vilanova","doi":"10.1109/ETFA.2013.6648035","DOIUrl":"https://doi.org/10.1109/ETFA.2013.6648035","url":null,"abstract":"The aim of this paper is to present the application of a model reference design procedure to the robust tuning of two-degree-of-freedom proportional integral derivative controllers with filter for control of unstable controlled processes. The design is based on the use of an optimization procedure with servo and regulatory closed-loop transfer functions targets. Due to the constrains imposed by the unstable processes the robust design is based in the maximum obtainable robustness with the selected control system response target. Controller tuning equations are provided for unstable first-order plus dead-time models. The design procedure considers at the same time the five parameters of the controller including the filter time constant. Equivalent parameters and a tuning rule for Standard PID controllers are also presented.","PeriodicalId":106678,"journal":{"name":"2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)","volume":"459 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127033316","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}
Ferry Pramudianto, J. Simon, M. Eisenhauer, Hussein Khaleel, C. Pastrone, M. Spirito
{"title":"Prototyping the Internet of Things for the future factory using a SOA-based middleware and reliable WSNs","authors":"Ferry Pramudianto, J. Simon, M. Eisenhauer, Hussein Khaleel, C. Pastrone, M. Spirito","doi":"10.1109/ETFA.2013.6648066","DOIUrl":"https://doi.org/10.1109/ETFA.2013.6648066","url":null,"abstract":"In this paper, we describe a SOA-based middleware to integrate Internet-of-Things technologies in industrial setups. The middleware allows a seamless horizontal integration among heterogeneous technologies and vertical integration with applications and business systems. Using the middleware, we evaluated an approach to improve the reliability of 6LoWPAN-based sensor networks with self-configuration and self-healing capabilities to support an innovative monitoring and control framework in a manufacturing line. The sensor networks were evaluated in a test bed consisting of various physical devices that emulates a welding station.","PeriodicalId":106678,"journal":{"name":"2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127036696","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":"EtherCAT-based platform for distributed control in high-performance industrial applications","authors":"D. Orfanus, R. Indergaard, G. Prytz, Tormod Wien","doi":"10.1109/ETFA.2013.6647972","DOIUrl":"https://doi.org/10.1109/ETFA.2013.6647972","url":null,"abstract":"Industrial Ethernet is gradually becoming pervasive in the automation field. EtherCAT is one such technology, combining high real-time performance with a rich functionality set. Besides that, EtherCAT offers short cycle times, accurate time synchronization, redundancy and high data throughput. Most EtherCAT applications are in the 500-1000μs domain. There are only few EtherCAT master implementations in the sub-100 or sub-50μs range for high-performance applications. This paper presents EtherCAT based distributed controller which is capable of less than 30μs cycle times and was implemented on P2020 processor. Total HW and SW overhead per cycle is 9.6μs including jitter of 5μs. Achieved preciseness of the distributed time is below 20ns. The stack was designed to be modular and also reused on different platforms.","PeriodicalId":106678,"journal":{"name":"2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125124838","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}