{"title":"Optimization of TTEthernet networks to support best-effort traffic","authors":"D. Tamas-Selicean, P. Pop","doi":"10.1109/ETFA.2014.7005256","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005256","url":null,"abstract":"This paper focuses on the optimization of the TTEthernet communication protocol, which offers three traffic classes: time-triggered (TT), sent according to static schedules, rate-constrained (RC) that has bounded end-to-end latency, and best-effort (BE), the classic Ethernet traffic, with no timing guarantees. In our earlier work we have proposed an optimization approach named DOTTS that performs the routing, scheduling and packing / fragmenting of TT and RC messages, such that the TT and RC traffic is schedulable. Although backwards compatibility with classic Ethernet networks is one of TTEthernet's strong points, there is little research on this topic. However, in this paper, we extend our DOTTS optimization approach to optimize TTEthernet networks, such that not only the TT and RC messages are schedulable, but we also maximize the available bandwidth for BE messages. The proposed optimization has been evaluated on a space application case study.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77494930","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. Ashjaei, P. Pedreiras, M. Behnam, L. Almeida, Thomas Nolte
{"title":"Evaluation of dynamic reconfiguration architecture in multi-hop switched ethernet networks","authors":"M. Ashjaei, P. Pedreiras, M. Behnam, L. Almeida, Thomas Nolte","doi":"10.1109/ETFA.2014.7005322","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005322","url":null,"abstract":"On-the-fly adaptability and reconfigurability are recently becoming an interest in real-time communications. To assure a continued real-time behavior, the admission control with a quality-of-service mechanism is required, that screen all adaptation and reconfiguration requests. In the context of switched Ethernet networks, the FTT-SE protocol provides adaptive real-time communication. Recently, we proposed two methods to perform the online reconfiguration in multi-hop FTT-SE architectures. However, the methods lack the experimental evaluation. In this paper, we evaluate both methods in terms of the reconfiguration time.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81261645","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":"Identifying unsecured building automation installations","authors":"F. Praus, W. Kastner","doi":"10.1109/ETFA.2014.7005301","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005301","url":null,"abstract":"Building automation systems rely more and more on IP-based communication, which allows easier management, maintenance and, in general, interaction with other domains. When the connection to the Internet comes into play, security mechanisms need to be deployed to prevent attacks on these systems. Based on a worldwide scan of IPv4 addresses, this paper illustrates that security awareness is unfortunately still neglected. Thousands of building automation systems are directly connected to the Internet, allowing unauthenticated and unauthorized access to their underlying datapoints.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79706877","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}
Orlando Ferrante, R. Passerone, A. Ferrari, L. Mangeruca, Christos Sofronis
{"title":"BCL: A compositional contract language for embedded systems","authors":"Orlando Ferrante, R. Passerone, A. Ferrari, L. Mangeruca, Christos Sofronis","doi":"10.1109/ETFA.2014.7005353","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005353","url":null,"abstract":"The design of large scale complex systems demands the ability to correctly specify and verify as early as possible in the design cycle the interaction of the different components that ensure that the global level requirements are satisfied. We address this issue using an approach based on the notion of contract. In particular, we propose a graphical and text-based language for requirement definition that allows designers to incrementally and hierarchically construct contract specifications for system components by composing a set of simple and intuitive patterns. The patterns have a formal semantics, and are implemented as monitor components in the Simulink framework for runtime verification. The contracts are simulated together with the components to verify both satisfaction and compatibility. A cruise control case study demonstrates the effectiveness of the approach.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82668468","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 linear-assisted DC/DC converter based on current-mode control","authors":"H. Martínez, A. Grau-Saldes","doi":"10.1109/ETFA.2014.7005203","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005203","url":null,"abstract":"This article shows the proposal of a current-mode one-cycle control for linear-assisted DC/DC converters. Linear-assisted DC/DC converters are structures that allow to take advantages of the two classic alternatives in the design of power supply systems: voltage linear regulators (classic NPN topology or LDO-low dropout-) and switching DC/DC converters. The current-mode one-cycle control technique is proposed in order to obtain the duty cycle of the linear-assisted converter switch. The proposed structure can provide an output with suitable load and line regulations. Thus, the paper shows the design and simulation results of the proposed current-mode one-cycle linear-assisted converter.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77365020","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}
Stefan Hauck-Stattelmann, S. Sehestedt, Thomas Gamer
{"title":"Optimized incremental state replication for automation controllers","authors":"Stefan Hauck-Stattelmann, S. Sehestedt, Thomas Gamer","doi":"10.1109/ETFA.2014.7005112","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005112","url":null,"abstract":"This paper presents optimization techniques for implementing software-based redundancy in industrial control devices. Initially, a brief survey of software-based state replication techniques with a special focus on their applicability in industrial control devices is conducted. The scalability, predictability and low latency of the technique are of particular interest in this case. Based on this survey, an analytic evaluation of different implementation alternatives is performed. As part of this analysis, a novel state replication algorithm is introduced. The approach uses support from the compiler or runtime environment to detect changes in the application state with very low overhead. This information is used to replicate the state of an automation controller in a redundant setup. Lastly, experimental results using a prototype implementation of the presented technique demonstrate that the proposed novel approach is able to perform state replication with constant overhead.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87090325","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":"Disruption-free software updates in automation systems","authors":"M. Wahler, M. Oriol","doi":"10.1109/ETFA.2014.7005075","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005075","url":null,"abstract":"Automation systems must primarily be deterministic and reliable, especially in safety-critical environments. With recent trends such as mass customization or Industry 4.0, there is an increasing need for automation systems to be dynamic. Changing parts of the software of today's automation systems, however, typically requires rebooting the controller, which makes software updates a complex and costly endeavor often despised by operators. This article presents an approach to updating the software of automation systems at runtime without disrupting the system's operation. This is achieved with a combination of a component-based architecture, cyclic application execution, and a state transfer mechanism between the original and the updated version of a component. We validate our solution with a case study in which we update the control algorithm of a magnetic levitation device running at cycles of 1 kHz without dropping the ball.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87540032","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":"Lagrangian relaxation combined with differential evolution algorithm for unit commitment problem","authors":"T. Sum-Im","doi":"10.1109/ETFA.2014.7005111","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005111","url":null,"abstract":"In this paper, a technique of combining Lagrangian relaxation (LR) with a differential evolution algorithm (DEA) method (LR-DEA) is proposed for solving unit commitment (UC) problem of thermal power plants. The merits of DEA method are parallel search and optimization capabilities. The unit commitment problem is formulated as the minimization of a performance index, which is sum of objectives (fuel cost, start-up cost) and several equality and inequality constraints (power balance, generator limits, spinning reserve, minimum up/down time). The efficiency and effectiveness of the proposed technique is initially demonstrated via the analysis of 10-unit test system. A detailed comparative study among the conventional LR, genetic algorithm (GA), evolutionary programming (EP), a hybrid of Lagrangian relaxation and genetic algorithm (LRGA), ant colony search algorithm (ACSA), and the proposed method is presented. From the experimental results, the proposed method has high accuracy of solution achievement, stable convergence characteristics, simple implementation and satisfactory computational time.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90542734","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. A. Souto, A. García-Díaz, F. Vidal, Andrés Fernández
{"title":"Monocular CAD-based 3D localization for processing large parts for shipbuilding","authors":"M. A. Souto, A. García-Díaz, F. Vidal, Andrés Fernández","doi":"10.1109/ETFA.2014.7005175","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005175","url":null,"abstract":"The growth of the manufacturing sector is closely linked to the development of new technologies, specifically automation and robotics. However, the lack of flexibility in industrial robotics and its design oriented to large series, results in that is economically unviable for small and medium sized business due to the need for complex positioning tools and highly skilled robotic operators. Robot work cells should adapt to variations in shape and size of the parts to process. Therefore, an industrial implementation in the shipbuilding sector of a monocular CAD-based 3D localization system is shown in this paper, which adds a new step and contributes to a new concept of hyper-flexible cell, enabling robotics introduce itself in this kind of demanding market.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86004737","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. Cencen, K. V. Deurzen, J. Verlinden, J. Geraedts
{"title":"Exploring human robot coproduction","authors":"A. Cencen, K. V. Deurzen, J. Verlinden, J. Geraedts","doi":"10.1109/ETFA.2014.7005329","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005329","url":null,"abstract":"Recently, robots are making their way towards the small and medium enterprises at a quick pace. This is due to market demand and enabled by reduction in costs of robot systems. If robots can be introduced strategically in existing production workflows, productivity could be increased. However, the task division and interaction between human and robot co-workers need to be optimized in order to achieve this. This work-in-progress paper presents a pilot setup to explore such scenarios. We discuss early findings and we present our vision for the future of human robot coproduction.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88792435","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}