首页 > 最新文献

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)最新文献

英文 中文
Power profiling of autonomous industrial instruments based on virtual prototyping 基于虚拟样机的自主工业仪器功率分析
Pub Date : 2014-09-01 DOI: 10.1109/ETFA.2014.7005138
Zhejun Tu, Francisco Mendoza, Rhea Valentina
Autonomous industrial instruments such as energy harvesting temperature transmitters are slowly being adopted in industrial automation systems. These are power-critical applications, since limited amount of energy is available for the operation of an industrial instrument. Meanwhile, an instrument should be able to regularly transmit process variables during long periods of time without any maintenance. The embedded platforms used by these devices must be highly optimised in terms of low power consumption. In process industry, instruments usually consist of complex hardware and software (HW/SW). It is critical that the instrument does not break down because of the limited power supply. However, in a traditional design flow, the power consumption is hard to estimate. Virtual prototyping provides the benefits of doing simulation in the early design stage. Yet, the conventional methodologies do not estimate the power consumption efficiently and correctly. In this work, a run-time power monitoring tool is created and integrated in a virtual prototype (VP). It is based on SystemC and Transaction-Level Modelling (TLM). When the virtual prototype executes the embedded software, the power monitoring tool parallelly gives out the power estimation. The whole estimation is achieved in the early design phase of HW/SW co-simulation. The estimation result improves the HW/SW design of the instruments with optimised energy consumption. This shortens the time-to-market of the instrument, and reduces its development budget.
自主工业仪器,如能量收集温度变送器,正在慢慢地应用于工业自动化系统。这些都是功率关键型应用,因为有限的能量可用于工业仪器的操作。同时,仪器应能够在不需要任何维护的情况下长时间定期传输过程变量。这些设备使用的嵌入式平台必须在低功耗方面进行高度优化。在过程工业中,仪器通常由复杂的硬件和软件(HW/SW)组成。至关重要的是,仪器不会因为电源有限而发生故障。然而,在传统的设计流程中,功耗很难估计。虚拟原型提供了在早期设计阶段进行模拟的好处。然而,传统的方法不能有效和正确地估计功耗。在这项工作中,创建了一个运行时电源监控工具并将其集成到虚拟样机(VP)中。它基于系统和事务级建模(TLM)。当虚拟样机执行嵌入式软件时,功率监测工具并行给出功率估计。整个估计是在软硬件联合仿真的早期设计阶段完成的。估算结果改进了仪器的硬件/软件设计,优化了能耗。这缩短了仪器的上市时间,并减少了其开发预算。
{"title":"Power profiling of autonomous industrial instruments based on virtual prototyping","authors":"Zhejun Tu, Francisco Mendoza, Rhea Valentina","doi":"10.1109/ETFA.2014.7005138","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005138","url":null,"abstract":"Autonomous industrial instruments such as energy harvesting temperature transmitters are slowly being adopted in industrial automation systems. These are power-critical applications, since limited amount of energy is available for the operation of an industrial instrument. Meanwhile, an instrument should be able to regularly transmit process variables during long periods of time without any maintenance. The embedded platforms used by these devices must be highly optimised in terms of low power consumption. In process industry, instruments usually consist of complex hardware and software (HW/SW). It is critical that the instrument does not break down because of the limited power supply. However, in a traditional design flow, the power consumption is hard to estimate. Virtual prototyping provides the benefits of doing simulation in the early design stage. Yet, the conventional methodologies do not estimate the power consumption efficiently and correctly. In this work, a run-time power monitoring tool is created and integrated in a virtual prototype (VP). It is based on SystemC and Transaction-Level Modelling (TLM). When the virtual prototype executes the embedded software, the power monitoring tool parallelly gives out the power estimation. The whole estimation is achieved in the early design phase of HW/SW co-simulation. The estimation result improves the HW/SW design of the instruments with optimised energy consumption. This shortens the time-to-market of the instrument, and reduces its development budget.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":"60 1","pages":"1-6"},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90396674","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}
引用次数: 0
A method for automatic generation of plant-wide inference engines 一种自动生成全厂范围推理引擎的方法
Pub Date : 2014-09-01 DOI: 10.1109/ETFA.2014.7005152
M. Friman
An automatic modeling method, which creates an inference engine out of raw data, is suggested. The inference engine is used by the automation system to assist operators in decision making. We aim at plant-wide modeling of industrial processes and we therefore prioritize fast and approximate solutions. The suggested method is capable of creating models with hundreds of variables. As a basic structure we utilize multi-dimensional histograms, which at a lower level model the relations of two or three variables. These sub-models are connected in a tree structure. Both the variable selection of sub-models and the tree structure connections are based on Shannon entropy.
提出了一种从原始数据中生成推理引擎的自动建模方法。自动化系统使用推理机辅助操作员进行决策。我们的目标是工厂范围内的工业过程建模,因此我们优先考虑快速和近似的解决方案。建议的方法能够创建包含数百个变量的模型。作为一种基本结构,我们利用多维直方图,它在较低的水平上对两个或三个变量的关系进行建模。这些子模型以树形结构连接。子模型的变量选择和树形结构连接都是基于香农熵的。
{"title":"A method for automatic generation of plant-wide inference engines","authors":"M. Friman","doi":"10.1109/ETFA.2014.7005152","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005152","url":null,"abstract":"An automatic modeling method, which creates an inference engine out of raw data, is suggested. The inference engine is used by the automation system to assist operators in decision making. We aim at plant-wide modeling of industrial processes and we therefore prioritize fast and approximate solutions. The suggested method is capable of creating models with hundreds of variables. As a basic structure we utilize multi-dimensional histograms, which at a lower level model the relations of two or three variables. These sub-models are connected in a tree structure. Both the variable selection of sub-models and the tree structure connections are based on Shannon entropy.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":"11 1","pages":"1-8"},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90398133","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}
引用次数: 0
Problems and solutions for refitting a sensor network with IEEE1588 clock synchronisation 用IEEE1588时钟同步改造传感器网络的问题和解决方案
Pub Date : 2014-09-01 DOI: 10.1109/ETFA.2014.7005142
A. Puhm, M. Kramer, P. Moosbrugger, M. Horauer
Nowadays, multiple sensor nodes are often incorporated into technical solutions forming distributed sensor systems. Herein, advanced detection mechanisms are often realised by using data from multiple sensors in such a network. However, sometimes active sensors - like Time-Of-Flight cameras - interfere with each other. To solve this problem and assist in data correlation, a clock synchronisation method, like IEEE1588, can be adapted. Although, if the sensor nodes have not been developed with this in mind they have to be refitted. An optimal refit of a system is the one that needs the least modifications necessary to achieve the desired goal. This paper lists the impact - in terms of jitter and asymmetry - that different components of a system have on IEEE1588 synchronisation precision and methods to eliminate or alleviate jitter and asymmetry sources in order to enable respective sensor fusion.
目前,多个传感器节点经常被纳入到分布式传感器系统的技术解决方案中。在这里,先进的检测机制通常是通过使用来自这样一个网络中的多个传感器的数据来实现的。然而,有时主动传感器——比如飞行时间照相机——会相互干扰。为了解决这个问题并协助数据关联,可以采用时钟同步方法,如IEEE1588。但是,如果传感器节点在开发时没有考虑到这一点,则必须对其进行改装。系统的最佳改装是指为达到预期目标所需要的修改最少。本文列出了系统的不同组件对IEEE1588同步精度的影响-就抖动和不对称而言-以及消除或减轻抖动和不对称源的方法,以便实现各自的传感器融合。
{"title":"Problems and solutions for refitting a sensor network with IEEE1588 clock synchronisation","authors":"A. Puhm, M. Kramer, P. Moosbrugger, M. Horauer","doi":"10.1109/ETFA.2014.7005142","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005142","url":null,"abstract":"Nowadays, multiple sensor nodes are often incorporated into technical solutions forming distributed sensor systems. Herein, advanced detection mechanisms are often realised by using data from multiple sensors in such a network. However, sometimes active sensors - like Time-Of-Flight cameras - interfere with each other. To solve this problem and assist in data correlation, a clock synchronisation method, like IEEE1588, can be adapted. Although, if the sensor nodes have not been developed with this in mind they have to be refitted. An optimal refit of a system is the one that needs the least modifications necessary to achieve the desired goal. This paper lists the impact - in terms of jitter and asymmetry - that different components of a system have on IEEE1588 synchronisation precision and methods to eliminate or alleviate jitter and asymmetry sources in order to enable respective sensor fusion.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":"1 1","pages":"1-7"},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89415350","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}
引用次数: 3
Efficient transient error recovery in FlexRay using the dynamic segment 使用动态段在FlexRay中有效的瞬态错误恢复
Pub Date : 2014-09-01 DOI: 10.1109/ETFA.2014.7005317
Luís Marques, V. Vasconcelos, P. Pedreiras, V. Silva, L. Almeida
In safety-critical systems a global high-reliability is sought, including in the communication network when a distributed control system is used. The FlexRay protocol was developed within the automotive industry with the necessary characteristics to respond to the demands of safety-critical applications, e.g. X-by-wire. Nevertheless, the FlexRay protocol does not define a mechanism to guarantee message delivery, nor defines global error signaling, leaving the resolution of these problems to the application. This paper presents a preliminary proposal for a mechanism that uses temporal redundancy to recover transient errors in time-triggered messages. An extra node is used to trigger message retransmissions whenever errors or omissions do effectively occur. This mechanism uses the FlexRay dynamic segment to implement message retransmissions, leading to a minimum recovery time, typically one cycle, together with a very small bandwidth usage.
在安全关键型系统中,包括在使用分布式控制系统时的通信网络中,需要寻求全局高可靠性。FlexRay协议是在汽车行业开发的,具有必要的特性,以响应安全关键应用的需求,例如X-by-wire。然而,FlexRay协议没有定义保证消息传递的机制,也没有定义全局错误信号,将这些问题的解决留给了应用程序。本文提出了一种利用时间冗余恢复时间触发消息中的瞬态错误的机制的初步建议。一个额外的节点用于在发生错误或遗漏时触发消息重传。该机制使用FlexRay动态段实现消息重传,导致最小的恢复时间,通常是一个周期,以及非常小的带宽使用。
{"title":"Efficient transient error recovery in FlexRay using the dynamic segment","authors":"Luís Marques, V. Vasconcelos, P. Pedreiras, V. Silva, L. Almeida","doi":"10.1109/ETFA.2014.7005317","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005317","url":null,"abstract":"In safety-critical systems a global high-reliability is sought, including in the communication network when a distributed control system is used. The FlexRay protocol was developed within the automotive industry with the necessary characteristics to respond to the demands of safety-critical applications, e.g. X-by-wire. Nevertheless, the FlexRay protocol does not define a mechanism to guarantee message delivery, nor defines global error signaling, leaving the resolution of these problems to the application. This paper presents a preliminary proposal for a mechanism that uses temporal redundancy to recover transient errors in time-triggered messages. An extra node is used to trigger message retransmissions whenever errors or omissions do effectively occur. This mechanism uses the FlexRay dynamic segment to implement message retransmissions, leading to a minimum recovery time, typically one cycle, together with a very small bandwidth usage.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":"68 1","pages":"1-4"},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87195661","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}
引用次数: 10
The deadlock problem in the control of Flexible Manufacturing Systems: An overview of the Petri net approach 柔性制造系统控制中的死锁问题:Petri网方法综述
Pub Date : 2014-09-01 DOI: 10.1109/ETFA.2014.7005030
Juan-Pablo López-Grao, J. Colom, Fernando Tricas García
The disparity of Petri net models in the literature for the study of resource allocation problems in Flexible Manufacturing Systems (FMSs) is overwhelming. Paradoxically, those models often strongly overlap in terms of their modeling capability. Such clustering seems to be impelled by a mature knowledge of results which capsize liveness at the topological level of the FMS for families of models which comply with some properties of good behaviour. Not rarely, such properties are embraced at the expense of severe or inconsistent syntax restrictions paying slight regard to actual modelling requirements in the application domain of FMSs. In this paper, we promote a distillation of the current amalgam of subclasses and tangent results, proposing taxonomic categories that allow capturing the different capabilities of each kind of model and establishing a reference framework for past and future advances.
研究柔性制造系统资源配置问题的文献中Petri网模型的差异是压倒性的。矛盾的是,这些模型在建模能力方面经常强烈重叠。这种聚类似乎是由一种成熟的结果知识所推动的,这些结果在FMS的拓扑水平上颠覆了具有良好行为特性的模型族的活力。通常情况下,这样的属性是以严重或不一致的语法限制为代价的,而忽略了fms应用领域中的实际建模需求。在本文中,我们促进了当前子类和切线结果混合的蒸馏,提出了允许捕获每种模型的不同功能的分类类别,并为过去和未来的进展建立了参考框架。
{"title":"The deadlock problem in the control of Flexible Manufacturing Systems: An overview of the Petri net approach","authors":"Juan-Pablo López-Grao, J. Colom, Fernando Tricas García","doi":"10.1109/ETFA.2014.7005030","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005030","url":null,"abstract":"The disparity of Petri net models in the literature for the study of resource allocation problems in Flexible Manufacturing Systems (FMSs) is overwhelming. Paradoxically, those models often strongly overlap in terms of their modeling capability. Such clustering seems to be impelled by a mature knowledge of results which capsize liveness at the topological level of the FMS for families of models which comply with some properties of good behaviour. Not rarely, such properties are embraced at the expense of severe or inconsistent syntax restrictions paying slight regard to actual modelling requirements in the application domain of FMSs. In this paper, we promote a distillation of the current amalgam of subclasses and tangent results, proposing taxonomic categories that allow capturing the different capabilities of each kind of model and establishing a reference framework for past and future advances.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":"86 1","pages":"1-12"},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77006416","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}
引用次数: 1
LSH for loop closing detection in underwater visual SLAM 基于LSH的水下视觉SLAM闭环检测
Pub Date : 2014-09-01 DOI: 10.1109/ETFA.2014.7005245
F. Bonin-Font, P. Negre, A. Burguera, G. Oliver
Effectiveness in loop closing detection is crucial to increase accuracy in SLAM (Simultaneous Localization and Mapping) for mobile robots. The most representative approaches to visual loop closing detection are based on feature matching or BOW (Bag of Words), being slow and needing a lot of memory resources or a previously defined vocabulary, which complicates and delays the whole process. This paper present a new visual LSH (Locality Sensitive Hashing)-based approach for loop closure detection, where images are hashed to accelerate considerably the whole comparison process. The algorithm is applied in AUV (Autonomous Underwater Vehicles), in several aquatic scenarios, showing promising results and the validity of this proposal to be applied online.
闭环检测的有效性是提高移动机器人同步定位与绘图精度的关键。最具代表性的视觉闭环检测方法是基于特征匹配或BOW (Bag of Words),这些方法速度慢,需要大量的内存资源或预先定义的词汇表,这使得整个过程变得复杂和延迟。本文提出了一种新的基于局部敏感哈希(Locality Sensitive hash)的闭环检测方法,该方法对图像进行了哈希处理,大大加快了整个比较过程。将该算法应用于AUV(自主水下航行器)的多个水上场景,结果表明该算法具有良好的在线应用效果。
{"title":"LSH for loop closing detection in underwater visual SLAM","authors":"F. Bonin-Font, P. Negre, A. Burguera, G. Oliver","doi":"10.1109/ETFA.2014.7005245","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005245","url":null,"abstract":"Effectiveness in loop closing detection is crucial to increase accuracy in SLAM (Simultaneous Localization and Mapping) for mobile robots. The most representative approaches to visual loop closing detection are based on feature matching or BOW (Bag of Words), being slow and needing a lot of memory resources or a previously defined vocabulary, which complicates and delays the whole process. This paper present a new visual LSH (Locality Sensitive Hashing)-based approach for loop closure detection, where images are hashed to accelerate considerably the whole comparison process. The algorithm is applied in AUV (Autonomous Underwater Vehicles), in several aquatic scenarios, showing promising results and the validity of this proposal to be applied online.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":"32 1","pages":"1-4"},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75044598","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}
引用次数: 7
Bayesian network model with dynamic structure identification for real time diagnosis 具有动态结构识别的贝叶斯网络模型用于实时诊断
Pub Date : 2014-09-01 DOI: 10.1109/ETFA.2014.7005171
D. Nguyen, Q. Duong, E. Zamaï, M. Shahzad
This paper proposes a method for real time diagnosis against product quality drifts in an automated manufacturing system. We use Logical Diagnosis model to reduce the search space of suspected equipment in the production flow, which is then formulated as a Bayesian network to compute risk priority for each equipment, using joint and conditional probabilities. The objective is to quickly and accurately localize the possible fault origins and support effective decisions on corrective maintenance. The key advantages offered by this method are (i) reduced unscheduled equipment breakdowns, and (ii) increased and stable production capacities, required for success in highly competitive and automated manufacturing systems. Moreover, this is a generic method and can be deployed on fully or semi automated manufacturing systems.
提出了一种针对自动化制造系统中产品质量漂移的实时诊断方法。我们使用逻辑诊断模型来减少生产流程中可疑设备的搜索空间,然后将其表示为贝叶斯网络,使用联合概率和条件概率计算每个设备的风险优先级。目标是快速准确地定位可能的故障来源,并支持对纠正性维护的有效决策。该方法提供的主要优势是:(1)减少计划外设备故障,(2)提高和稳定的生产能力,这是在高度竞争和自动化制造系统中取得成功所必需的。此外,这是一种通用方法,可以部署在全自动化或半自动化制造系统上。
{"title":"Bayesian network model with dynamic structure identification for real time diagnosis","authors":"D. Nguyen, Q. Duong, E. Zamaï, M. Shahzad","doi":"10.1109/ETFA.2014.7005171","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005171","url":null,"abstract":"This paper proposes a method for real time diagnosis against product quality drifts in an automated manufacturing system. We use Logical Diagnosis model to reduce the search space of suspected equipment in the production flow, which is then formulated as a Bayesian network to compute risk priority for each equipment, using joint and conditional probabilities. The objective is to quickly and accurately localize the possible fault origins and support effective decisions on corrective maintenance. The key advantages offered by this method are (i) reduced unscheduled equipment breakdowns, and (ii) increased and stable production capacities, required for success in highly competitive and automated manufacturing systems. Moreover, this is a generic method and can be deployed on fully or semi automated manufacturing systems.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":"53 1","pages":"1-8"},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78137116","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}
引用次数: 5
Applying static code analysis on industrial controller code 应用静态代码分析工业控制器代码
Pub Date : 2014-09-01 DOI: 10.1109/ETFA.2014.7005254
Stefan Hauck-Stattelmann, Sebastian Biallas, Bastian Schlich, S. Kowalewski
Static code analysis techniques are a well-established tool to improve the efficiency of software developers and for checking the correctness of safety-critical software components. However, their use is often limited to general purpose or “mainstream” programming languages. For these languages, static code analysis has found its way into many integrated development environments and is available to a large number of software developers. In other domains, e. g., for the programming languages used to develop many industrial control applications, tools supporting sophisticated static code analysis techniques are rarely used. This paper reports on the experience of the authors while adapting static code analysis to a software development environment for engineering the control software of industrial process automation systems. The applicability of static code analysis for industrial controller code is demonstrated by a case study using a real-world control system.
静态代码分析技术是一种完善的工具,可以提高软件开发人员的效率,并检查安全关键软件组件的正确性。然而,它们的使用通常仅限于通用或“主流”编程语言。对于这些语言,静态代码分析已经在许多集成开发环境中找到了自己的方式,并且可供大量软件开发人员使用。在其他领域,例如,对于用于开发许多工业控制应用程序的编程语言,很少使用支持复杂静态代码分析技术的工具。本文介绍了作者将静态代码分析应用于工业过程自动化系统工程控制软件开发环境的经验。静态代码分析对工业控制器代码的适用性通过一个实际控制系统的案例研究进行了论证。
{"title":"Applying static code analysis on industrial controller code","authors":"Stefan Hauck-Stattelmann, Sebastian Biallas, Bastian Schlich, S. Kowalewski","doi":"10.1109/ETFA.2014.7005254","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005254","url":null,"abstract":"Static code analysis techniques are a well-established tool to improve the efficiency of software developers and for checking the correctness of safety-critical software components. However, their use is often limited to general purpose or “mainstream” programming languages. For these languages, static code analysis has found its way into many integrated development environments and is available to a large number of software developers. In other domains, e. g., for the programming languages used to develop many industrial control applications, tools supporting sophisticated static code analysis techniques are rarely used. This paper reports on the experience of the authors while adapting static code analysis to a software development environment for engineering the control software of industrial process automation systems. The applicability of static code analysis for industrial controller code is demonstrated by a case study using a real-world control system.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":"25 1","pages":"1-4"},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78253969","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}
引用次数: 16
Enhancing distributed automation systems with efficiency and reliability by applying autonomic service management 应用自主服务管理,提高分布式自动化系统的效率和可靠性
Pub Date : 2014-09-01 DOI: 10.1109/ETFA.2014.7005123
W. Dai, V. Vyatkin, V. Dubinin, J. Christensen
Improvement of flexibility and interoperability is a usual concern of industrial automation systems developers. Service-oriented architecture is one approach promising improvement of flexibility and interoperability in existing distributed automation systems. However, the intelligent self-managing features cannot be fully achieved by just applying the service-oriented architecture. In order to improve efficiency and reliability of distributed automation systems, the service-oriented architecture is extended in this paper by autonomic service management. The design of the autonomic service manager is provided and some key features such as self-configuration, self-healing and self-optimization are demonstrated. The design of a flexible and interoperable execution environment is also illustrated. Some preliminary tests are completed with a case study.
提高灵活性和互操作性是工业自动化系统开发人员通常关心的问题。面向服务的体系结构是一种有望改善现有分布式自动化系统的灵活性和互操作性的方法。然而,仅仅应用面向服务的体系结构并不能完全实现智能自管理特性。为了提高分布式自动化系统的效率和可靠性,本文通过自主服务管理对面向服务的体系结构进行了扩展。给出了自主服务管理器的设计,并展示了其自配置、自修复和自优化等关键特性。本文还介绍了灵活的、可互操作的执行环境的设计。通过案例研究完成了一些初步测试。
{"title":"Enhancing distributed automation systems with efficiency and reliability by applying autonomic service management","authors":"W. Dai, V. Vyatkin, V. Dubinin, J. Christensen","doi":"10.1109/ETFA.2014.7005123","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005123","url":null,"abstract":"Improvement of flexibility and interoperability is a usual concern of industrial automation systems developers. Service-oriented architecture is one approach promising improvement of flexibility and interoperability in existing distributed automation systems. However, the intelligent self-managing features cannot be fully achieved by just applying the service-oriented architecture. In order to improve efficiency and reliability of distributed automation systems, the service-oriented architecture is extended in this paper by autonomic service management. The design of the autonomic service manager is provided and some key features such as self-configuration, self-healing and self-optimization are demonstrated. The design of a flexible and interoperable execution environment is also illustrated. Some preliminary tests are completed with a case study.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":"72 1","pages":"1-8"},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74892385","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}
引用次数: 6
The PLC UML State-chart design pattern PLC的UML状态图设计模式
Pub Date : 2014-09-01 DOI: 10.1109/ETFA.2014.7005309
Lorenzo Racchetti, C. Fantuzzi, L. Tacconi, M. Bonfè
We developed an UML-State-charts Object Oriented Design Pattern for PLCs IEC61131-3. This PLC UML-State-chart Design Pattern aims to explore the advantage of Object Oriented Programming by IEC61131-3 in PLCs, and to provide a direct map of UML State-chart to PLC code. We illustrates the design pattern and its use through UML Class diagrams and an application example. This Design Pattern can be used to reduce the development time of State-charts in automation software. It can also lead towards further investigations in PLC Design Patterns that may improve the whole development of automation software.
我们开发了plc IEC61131-3的uml状态图面向对象设计模式。此PLC UML状态图设计模式旨在探索IEC61131-3在PLC中面向对象编程的优势,并提供UML状态图到PLC代码的直接映射。我们通过UML类图和一个应用程序示例说明了设计模式及其使用。该设计模式可用于减少自动化软件中状态图的开发时间。它还可以引导对PLC设计模式的进一步研究,从而改进整个自动化软件的开发。
{"title":"The PLC UML State-chart design pattern","authors":"Lorenzo Racchetti, C. Fantuzzi, L. Tacconi, M. Bonfè","doi":"10.1109/ETFA.2014.7005309","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005309","url":null,"abstract":"We developed an UML-State-charts Object Oriented Design Pattern for PLCs IEC61131-3. This PLC UML-State-chart Design Pattern aims to explore the advantage of Object Oriented Programming by IEC61131-3 in PLCs, and to provide a direct map of UML State-chart to PLC code. We illustrates the design pattern and its use through UML Class diagrams and an application example. This Design Pattern can be used to reduce the development time of State-charts in automation software. It can also lead towards further investigations in PLC Design Patterns that may improve the whole development of automation software.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":"31 1","pages":"1-4"},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74771107","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}
引用次数: 1
期刊
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1