首页 > 最新文献

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

英文 中文
Optimal static scheduling of real-time tasks on distributed time-triggered networked systems 分布式时间触发网络系统实时任务的最优静态调度
Pub Date : 2014-09-01 DOI: 10.1109/ETFA.2014.7005128
Silviu S. Craciunas, Ramon Serna Oliver, Valentin Ecker
Mixed-criticality and high availability distributed systems, like those on large industrial deployments, strongly rely on deterministic communication in order to guarantee the realtime behavior. The time-triggered paradigm-as in TTEthernet-guarantees the deterministic delivery of messages with fixed latency and limited jitter. We look closely at industrial deployments in which production as well as consumption of messages is carried out within software tasks running on distributed embedded nodes (i.e. end-systems). We present an approach to minimize the end-to-end latency of such tasks, respecting their precedence constraints as well as the scheduled communication in an underlying switched TTEthernet network. The approach is based on and validated by a large industrial use-case for which we analyze a test bed implementing our solution.
混合临界和高可用性分布式系统,就像那些大型工业部署一样,强烈依赖于确定性通信来保证实时行为。时间触发范式(如在以太网中)保证了具有固定延迟和有限抖动的消息的确定性传递。我们密切关注工业部署,其中消息的生产和消费是在分布式嵌入式节点(即终端系统)上运行的软件任务中执行的。我们提出了一种最小化此类任务的端到端延迟的方法,同时尊重其优先级约束以及底层交换以太网网络中的计划通信。该方法基于一个大型工业用例,并经过验证,我们为此分析了一个实现我们的解决方案的测试平台。
{"title":"Optimal static scheduling of real-time tasks on distributed time-triggered networked systems","authors":"Silviu S. Craciunas, Ramon Serna Oliver, Valentin Ecker","doi":"10.1109/ETFA.2014.7005128","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005128","url":null,"abstract":"Mixed-criticality and high availability distributed systems, like those on large industrial deployments, strongly rely on deterministic communication in order to guarantee the realtime behavior. The time-triggered paradigm-as in TTEthernet-guarantees the deterministic delivery of messages with fixed latency and limited jitter. We look closely at industrial deployments in which production as well as consumption of messages is carried out within software tasks running on distributed embedded nodes (i.e. end-systems). We present an approach to minimize the end-to-end latency of such tasks, respecting their precedence constraints as well as the scheduled communication in an underlying switched TTEthernet network. The approach is based on and validated by a large industrial use-case for which we analyze a test bed implementing our solution.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":"6 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":"81452265","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}
引用次数: 30
Opacity formulations and verification in discrete event systems 离散事件系统中的不透明度公式和验证
Pub Date : 2014-09-01 DOI: 10.1109/ETFA.2014.7005032
C. Hadjicostis, Christoforos Keroglou
In many emerging security applications, a property of a system, that may reveal important details about its behaviour, needs to be kept secret (opaque) to outside observers (intruders). Motivated by such applications, several authors have formalized, analyzed, and described methods to verify notions of opacity in discrete event systems of interest. This paper offers a review of various definitions of opacity, along with methodologies for their verification and complexity analysis. We review state-based notions of opacity (namely, current-state opacity and initial-state opacity) in non-deterministic finite automata, as well as their extensions to stochastic settings. Specifically, we discuss these notions of opacity and methods to verify them in discrete event systems modeled by non-deterministic finite automata (NFA's) or probabilistic finite automata (PFA's).
在许多新兴的安全应用程序中,系统的某个属性可能会揭示其行为的重要细节,需要对外部观察者(入侵者)保密(不透明)。受这些应用的启发,一些作者已经形式化、分析和描述了验证感兴趣的离散事件系统中不透明度概念的方法。本文回顾了各种不透明度的定义,以及验证和复杂性分析的方法。我们回顾了非确定性有限自动机中基于状态的不透明度概念(即当前状态不透明度和初始状态不透明度),以及它们对随机设置的扩展。具体来说,我们讨论了这些不透明度的概念,以及在由非确定性有限自动机(NFA)或概率有限自动机(PFA)建模的离散事件系统中验证它们的方法。
{"title":"Opacity formulations and verification in discrete event systems","authors":"C. Hadjicostis, Christoforos Keroglou","doi":"10.1109/ETFA.2014.7005032","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005032","url":null,"abstract":"In many emerging security applications, a property of a system, that may reveal important details about its behaviour, needs to be kept secret (opaque) to outside observers (intruders). Motivated by such applications, several authors have formalized, analyzed, and described methods to verify notions of opacity in discrete event systems of interest. This paper offers a review of various definitions of opacity, along with methodologies for their verification and complexity analysis. We review state-based notions of opacity (namely, current-state opacity and initial-state opacity) in non-deterministic finite automata, as well as their extensions to stochastic settings. Specifically, we discuss these notions of opacity and methods to verify them in discrete event systems modeled by non-deterministic finite automata (NFA's) or probabilistic finite automata (PFA's).","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":"51 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":"86155199","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
Efficient monitoring of multi-disciplinary engineering constraints with semantic data integration in the Multi-Model Dashboard process 多模型仪表板过程中基于语义数据集成的多学科工程约束的有效监控
Pub Date : 2014-09-01 DOI: 10.1109/ETFA.2014.7005211
S. Biffl, D. Winkler, Richard Mordinyi, Stefan Scheiber, G. Holl
In a multi-disciplinary engineering project, such as the parallel engineering of industrial production plants, domain experts want to efficiently monitor project-level constraints that depend on technical parameter values in local engineering models. However, the heterogeneous representations of constraint parameters in these engineering models make the automation of constraint monitoring difficult. In this paper, we introduce the Multi-Model Dashboard (MMD) process providing semantically integrated values of parameters and of constraints to domain experts, as parameter values in various local models change during the project. The tool-supported MMD process guides the definition and monitoring of MMD parameters and constraints. We evaluate the effectiveness and efficiency of the MMD process in a feasibility study with requirements and data from real-world use cases at industry partners. Major results are that the MMD process was effective and efficient in eliciting relevant project constraints and model dependencies and in providing data for change impact analysis.
在多学科工程项目中,例如工业生产工厂的并行工程,领域专家希望有效地监控依赖于局部工程模型中技术参数值的项目级约束。然而,这些工程模型中约束参数的异构表示给约束监控的自动化带来了困难。在本文中,我们介绍了多模型仪表盘(MMD)过程,该过程为领域专家提供了参数和约束的语义集成值,因为各种局部模型中的参数值在项目期间会发生变化。工具支持的MMD过程指导了MMD参数和约束的定义和监视。我们根据行业合作伙伴的实际用例的需求和数据,在可行性研究中评估MMD过程的有效性和效率。主要的结果是MMD过程在引出相关的项目约束和模型依赖以及为变更影响分析提供数据方面是有效和高效的。
{"title":"Efficient monitoring of multi-disciplinary engineering constraints with semantic data integration in the Multi-Model Dashboard process","authors":"S. Biffl, D. Winkler, Richard Mordinyi, Stefan Scheiber, G. Holl","doi":"10.1109/ETFA.2014.7005211","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005211","url":null,"abstract":"In a multi-disciplinary engineering project, such as the parallel engineering of industrial production plants, domain experts want to efficiently monitor project-level constraints that depend on technical parameter values in local engineering models. However, the heterogeneous representations of constraint parameters in these engineering models make the automation of constraint monitoring difficult. In this paper, we introduce the Multi-Model Dashboard (MMD) process providing semantically integrated values of parameters and of constraints to domain experts, as parameter values in various local models change during the project. The tool-supported MMD process guides the definition and monitoring of MMD parameters and constraints. We evaluate the effectiveness and efficiency of the MMD process in a feasibility study with requirements and data from real-world use cases at industry partners. Major results are that the MMD process was effective and efficient in eliciting relevant project constraints and model dependencies and in providing data for change impact analysis.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":"42 1","pages":"1-10"},"PeriodicalIF":0.0,"publicationDate":"2014-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86302759","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
Characterization and optimization of a thermal flow sensor on circuit board level 电路板级热流传感器的特性与优化
Pub Date : 2014-09-01 DOI: 10.1109/ETFA.2014.7005101
Thomas Glatzl, H. Steiner, F. Kohl, T. Sauter, F. Keplinger
The characterization and optimization of a low-cost thermal flow sensor optimized for the use in heating ventilating and air conditioning (HVAC) systems is presented. The fabrication of the transducer is exclusively based on printed circuit board technology to keep costs low and allow for easy handling and replacement. The measurement principle utilizes a calorimetric principle with thermoresistive heat transfer. The thermistors form a Wheatstone bridge while the heating element is supplied with a constant current. The AC bridge output voltage is a function of the flow offering adequate sensitivity and a suitable measurement range for HVAC systems. The main experiments focus on flow measurements with a Lock-In amplifier technique to evaluate the measurement range and sensitivity. Based on prior results for time constants, output voltage, sensitivity, etc., the sensor design has been optimized.
介绍了一种用于采暖通风和空调系统的低成本热流传感器的特性和优化。换能器的制造完全基于印刷电路板技术,以保持低成本,并允许易于处理和更换。测量原理采用热阻传热的量热原理。热敏电阻形成惠斯通电桥,而加热元件则提供恒定电流。交流电桥输出电压是流量的函数,为暖通空调系统提供足够的灵敏度和合适的测量范围。主要实验集中在用锁相放大器技术进行流量测量,以评估测量范围和灵敏度。基于之前的时间常数、输出电压、灵敏度等结果,对传感器设计进行了优化。
{"title":"Characterization and optimization of a thermal flow sensor on circuit board level","authors":"Thomas Glatzl, H. Steiner, F. Kohl, T. Sauter, F. Keplinger","doi":"10.1109/ETFA.2014.7005101","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005101","url":null,"abstract":"The characterization and optimization of a low-cost thermal flow sensor optimized for the use in heating ventilating and air conditioning (HVAC) systems is presented. The fabrication of the transducer is exclusively based on printed circuit board technology to keep costs low and allow for easy handling and replacement. The measurement principle utilizes a calorimetric principle with thermoresistive heat transfer. The thermistors form a Wheatstone bridge while the heating element is supplied with a constant current. The AC bridge output voltage is a function of the flow offering adequate sensitivity and a suitable measurement range for HVAC systems. The main experiments focus on flow measurements with a Lock-In amplifier technique to evaluate the measurement range and sensitivity. Based on prior results for time constants, output voltage, sensitivity, etc., the sensor design has been optimized.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":"77 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":"83902615","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
CAP: Color-aware task partitioning for multicore real-time applications CAP:多核实时应用程序的颜色感知任务划分
Pub Date : 2014-09-01 DOI: 10.1109/ETFA.2014.7005118
G. Gracioli, A. A. Fröhlich
Modern multicore platforms feature multiple levels of cache memory placed between the processor and main memory to hide the latency of ordinary memory systems. The primary goal of this cache hierarchy is to improve average execution time (at the cost of predictability). The uncontrolled use of the cache hierarchy by real-time tasks may impact the estimation of their worst-case execution times (WCET). Software cache partitioning through page coloring has been considered a promising approach to isolate task workloads and thus improve WCET estimation. However, when real-time tasks share cache partitions due to false or true sharing, the inter-core delay caused by the cache coherence protocol may cause deadline losses. In this paper, we propose a Color-Aware task Partitioning (CAP) algorithm that assigns tasks to cores respecting their usage of cache partitions (i.e., colors). Tasks that share one or more colors are grouped together and the whole group is assigned to the same processor. Thus, it is possible to avoid inter-core interference. We compared the deadline miss ratio of several generated task sets partitioned by the CAP algorithm and by the worst-fit decreasing heuristic. We executed the partitioned task sets in a modern 8-core processor with shared L3-cache using a real-time operating system. Our results indicate that a color-aware task partitioning algorithm can avoid deadline misses in a multicore processor with shared cache.
现代多核平台的特点是在处理器和主存之间放置了多层高速缓存,以隐藏普通存储系统的延迟。这个缓存层次结构的主要目标是提高平均执行时间(以可预测性为代价)。实时任务对缓存层次结构的不受控制的使用可能会影响对其最坏情况执行时间(WCET)的估计。通过页面着色进行软件缓存分区被认为是一种很有前途的方法,可以隔离任务工作负载,从而改进WCET估计。但是,当实时任务由于false或true共享而共享缓存分区时,由于缓存一致性协议导致的核间延迟可能会导致deadline丢失。在本文中,我们提出了一种颜色感知任务分区(CAP)算法,该算法根据内核对缓存分区(即颜色)的使用情况将任务分配给内核。共享一种或多种颜色的任务被分组在一起,整个组被分配给同一个处理器。因此,可以避免核间干扰。我们比较了用CAP算法和最差拟合递减启发式算法划分的几个生成任务集的最后期限缺失率。我们使用实时操作系统在具有共享l3缓存的现代8核处理器中执行分区任务集。结果表明,一种颜色感知任务划分算法可以避免在共享缓存的多核处理器中错过截止日期。
{"title":"CAP: Color-aware task partitioning for multicore real-time applications","authors":"G. Gracioli, A. A. Fröhlich","doi":"10.1109/ETFA.2014.7005118","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005118","url":null,"abstract":"Modern multicore platforms feature multiple levels of cache memory placed between the processor and main memory to hide the latency of ordinary memory systems. The primary goal of this cache hierarchy is to improve average execution time (at the cost of predictability). The uncontrolled use of the cache hierarchy by real-time tasks may impact the estimation of their worst-case execution times (WCET). Software cache partitioning through page coloring has been considered a promising approach to isolate task workloads and thus improve WCET estimation. However, when real-time tasks share cache partitions due to false or true sharing, the inter-core delay caused by the cache coherence protocol may cause deadline losses. In this paper, we propose a Color-Aware task Partitioning (CAP) algorithm that assigns tasks to cores respecting their usage of cache partitions (i.e., colors). Tasks that share one or more colors are grouped together and the whole group is assigned to the same processor. Thus, it is possible to avoid inter-core interference. We compared the deadline miss ratio of several generated task sets partitioned by the CAP algorithm and by the worst-fit decreasing heuristic. We executed the partitioned task sets in a modern 8-core processor with shared L3-cache using a real-time operating system. Our results indicate that a color-aware task partitioning algorithm can avoid deadline misses in a multicore processor with shared cache.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":"73 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":"82876432","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
Package unit integration for process industry — A new description approach 过程工业的封装单元集成——一种新的描述方法
Pub Date : 2014-09-01 DOI: 10.1109/ETFA.2014.7005159
M. Obst, Anna Hahn, L. Urbas
The integration of package units in a SCADA or DCS involves considerable manual effort. Various aspects of automation such as faceplates, states of sequences or interlocks have to be reproduced for the visualization and management of the package unit in the master control system. The integration effort can be reduced using existing technologies, which could also be extended to a modular plug-and-produce methodology. An essential precondition for this is a uniform formal quantitative description of various aspects of the package unit and tool chains based on the formal descriptions. This paper will present an approach using the description language EDDL, which is established in the field of field device integration.
在SCADA或DCS中集成包单元需要大量的手工工作。自动化的各个方面,如面板、序列状态或联锁必须在主控制系统中再现,以便对包装单元进行可视化和管理。使用现有技术可以减少集成工作,这些技术也可以扩展到模块化即插即用方法。这样做的一个基本前提是对包装单元和工具链的各个方面进行统一的形式化定量描述。本文将提出一种利用现场设备集成领域中建立的描述语言EDDL的方法。
{"title":"Package unit integration for process industry — A new description approach","authors":"M. Obst, Anna Hahn, L. Urbas","doi":"10.1109/ETFA.2014.7005159","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005159","url":null,"abstract":"The integration of package units in a SCADA or DCS involves considerable manual effort. Various aspects of automation such as faceplates, states of sequences or interlocks have to be reproduced for the visualization and management of the package unit in the master control system. The integration effort can be reduced using existing technologies, which could also be extended to a modular plug-and-produce methodology. An essential precondition for this is a uniform formal quantitative description of various aspects of the package unit and tool chains based on the formal descriptions. This paper will present an approach using the description language EDDL, which is established in the field of field device integration.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":"1 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":"82830906","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
Device status information service architecture for condition monitoring using OPC UA 基于OPC UA的设备状态信息服务体系结构
Pub Date : 2014-09-01 DOI: 10.1109/ETFA.2014.7005141
David Hästbacka, L. Barna, M. Karaila, Yiqing Liang, P. Tuominen, S. Kuikka
Condition monitoring and maintenance of devices and equipment is an important aspect of operating a production facility affecting the availability of production systems. Modern production environments can consist of thousands of devices that each need to be monitored so that maintenance can be performed when necessary to sustain a cost-effective state of production. Today operation and maintenance (O&M) is typically outsourced, and equipment and device manufacturers have also entered the service business. This brings challenges in managing a multitude of different devices using different protocols as well as in the varying needs for utilizing this information in enterprise functions and services. Based on OPC Unified Architecture (UA) a scalable architecture is developed for providing device status information of heterogeneous field devices and sensors to enterprise level applications and services. A proof of concept implementation of this architecture is presented and its envisioned adoption in a mine environment is discussed.
设备和设备的状态监测和维护是影响生产系统可用性的生产设施运行的一个重要方面。现代生产环境可以由成千上万的设备组成,每个设备都需要进行监控,以便在必要时进行维护,以维持具有成本效益的生产状态。如今,运营和维护(O&M)通常是外包的,设备和设备制造商也进入了服务业务。这给管理使用不同协议的大量不同设备以及在企业功能和服务中利用这些信息的不同需求带来了挑战。基于OPC统一架构(UA),提出了一种面向企业级应用和服务提供异构现场设备和传感器设备状态信息的可扩展架构。提出了该体系结构的概念验证,并对其在矿山环境中的应用进行了讨论。
{"title":"Device status information service architecture for condition monitoring using OPC UA","authors":"David Hästbacka, L. Barna, M. Karaila, Yiqing Liang, P. Tuominen, S. Kuikka","doi":"10.1109/ETFA.2014.7005141","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005141","url":null,"abstract":"Condition monitoring and maintenance of devices and equipment is an important aspect of operating a production facility affecting the availability of production systems. Modern production environments can consist of thousands of devices that each need to be monitored so that maintenance can be performed when necessary to sustain a cost-effective state of production. Today operation and maintenance (O&M) is typically outsourced, and equipment and device manufacturers have also entered the service business. This brings challenges in managing a multitude of different devices using different protocols as well as in the varying needs for utilizing this information in enterprise functions and services. Based on OPC Unified Architecture (UA) a scalable architecture is developed for providing device status information of heterogeneous field devices and sensors to enterprise level applications and services. A proof of concept implementation of this architecture is presented and its envisioned adoption in a mine environment is discussed.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":"73 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":"90341964","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}
引用次数: 24
Congestion control for CoAP cloud services CoAP云服务的拥塞控制
Pub Date : 2014-09-01 DOI: 10.1109/ETFA.2014.7005340
A. Betzler, Carles Gomez, I. Demirkol, Matthias Kovatsch
The Constrained Application Protocol (CoAP) is a new Web protocol for the Internet of Things that allows to connect IoT devices directly to services hosted in the cloud. CoAP is based on UDP to better fit the requirements of constrained environments with resource-constrained nodes and low-power communication links. Being an Internet protocol, CoAP must still adhere to congestion control, primarily to keep the backbone network stable. Thus, the base specification uses conservative parameter values for the number of open requests, the retransmission timers, and the overall message rate. More powerful CoAP nodes, however, can use metrics to optimize these parameters to achieve a better quality of service. For this, the IETF CoRE working group is designing an advanced congestion control mechanism for CoAP called CoCoA. This paper presents first evaluation results for a mechanism that improves the communication between cloud services and resource-constrained IoT devices. We implement CoCoA for the Californium (Cf) CoAP framework and evaluate its performance on a wireless sensor network testbed that runs IPv6. Our results show that CoCoA can better utilize the available network capacity and can increase throughput by 19-112%.
约束应用协议(CoAP)是一种新的物联网Web协议,允许将物联网设备直接连接到托管在云中的服务。CoAP基于UDP,可以更好地适应资源受限节点和低功耗通信链路约束环境的需求。作为一个互联网协议,CoAP仍然必须坚持拥塞控制,主要是为了保持骨干网的稳定。因此,基本规范对打开请求的数量、重传计时器和总体消息速率使用保守的参数值。但是,功能更强大的CoAP节点可以使用指标来优化这些参数,以实现更好的服务质量。为此,IETF CoRE工作组正在为CoAP设计一种称为CoCoA的高级拥塞控制机制。本文提出了一种改善云服务与资源受限物联网设备之间通信的机制的初步评估结果。我们为加州(Cf) CoAP框架实现了CoCoA,并在运行IPv6的无线传感器网络测试平台上评估了其性能。我们的研究结果表明,CoCoA可以更好地利用可用的网络容量,并且可以将吞吐量提高19-112%。
{"title":"Congestion control for CoAP cloud services","authors":"A. Betzler, Carles Gomez, I. Demirkol, Matthias Kovatsch","doi":"10.1109/ETFA.2014.7005340","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005340","url":null,"abstract":"The Constrained Application Protocol (CoAP) is a new Web protocol for the Internet of Things that allows to connect IoT devices directly to services hosted in the cloud. CoAP is based on UDP to better fit the requirements of constrained environments with resource-constrained nodes and low-power communication links. Being an Internet protocol, CoAP must still adhere to congestion control, primarily to keep the backbone network stable. Thus, the base specification uses conservative parameter values for the number of open requests, the retransmission timers, and the overall message rate. More powerful CoAP nodes, however, can use metrics to optimize these parameters to achieve a better quality of service. For this, the IETF CoRE working group is designing an advanced congestion control mechanism for CoAP called CoCoA. This paper presents first evaluation results for a mechanism that improves the communication between cloud services and resource-constrained IoT devices. We implement CoCoA for the Californium (Cf) CoAP framework and evaluate its performance on a wireless sensor network testbed that runs IPv6. Our results show that CoCoA can better utilize the available network capacity and can increase throughput by 19-112%.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":"11 2 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":"83661643","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}
引用次数: 34
On the applicability of model based software development to cyber physical production systems 基于模型的软件开发在网络物理生产系统中的适用性研究
Pub Date : 2014-09-01 DOI: 10.1109/ETFA.2014.7005187
O. Niggemann, Bjorn Kroll
The efficient handling of complex production systems and the implementation of more flexible and adaptable production lies at the heart of cyber-physical production systems and its german equivalent Industry 4.0. Such scenarios currently face one main difficulty: the creation, configuration and maintenance of the corresponding automation software is time-consuming and error-prone. Two main solutions exist for this problem: (i) model-based software development and (ii) intelligent automation, i.e. the usage of new knowledge-based solution approaches. This article compares these different solutions by applying them to three phases of the life-cycle: the planning phase, the operation phase and the plant modification phase.
高效处理复杂的生产系统,实现更灵活、适应性更强的生产,是信息物理生产系统及其德国工业4.0的核心。这样的场景目前面临一个主要困难:相应自动化软件的创建、配置和维护既耗时又容易出错。对于这个问题存在两种主要的解决方案:(i)基于模型的软件开发和(ii)智能自动化,即使用新的基于知识的解决方案方法。本文通过将这些不同的解决方案应用于生命周期的三个阶段:计划阶段、操作阶段和工厂改造阶段,对这些不同的解决方案进行了比较。
{"title":"On the applicability of model based software development to cyber physical production systems","authors":"O. Niggemann, Bjorn Kroll","doi":"10.1109/ETFA.2014.7005187","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005187","url":null,"abstract":"The efficient handling of complex production systems and the implementation of more flexible and adaptable production lies at the heart of cyber-physical production systems and its german equivalent Industry 4.0. Such scenarios currently face one main difficulty: the creation, configuration and maintenance of the corresponding automation software is time-consuming and error-prone. Two main solutions exist for this problem: (i) model-based software development and (ii) intelligent automation, i.e. the usage of new knowledge-based solution approaches. This article compares these different solutions by applying them to three phases of the life-cycle: the planning phase, the operation phase and the plant modification phase.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":"4 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":"83166687","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
Capacitorless DC-DC converter 无电容DC-DC变换器
Pub Date : 2014-09-01 DOI: 10.1109/ETFA.2014.7005314
H. Martínez, A. Grau-Saldes
Linear-assisted DC/DC converters (or linear-switching hybrid DC/DC converters) consist of a voltage linear regulator (classic NPN or nMOS topologies and LDO) connected in parallel with a switching DC/DC converter. In order to control these hybrid structures, different strategies exist, allowing to fix the switching frequency as a function of some parameters of the linear regulator. This article compares two control strategies that, although can be applied to the same circuital structure of linear-assisted converter, are sensibly different. The first one, reported in previous literature, cancels completely the average current through the linear regulator in steady state to achieve a reduction of the losses. Thus the efficiency of the whole system increases and almost equals the one of the standalone switching converter. The proposed approach, in spite of a slightly increment of linear regulator's losses, reduces the output ripple due to the crossover distortion of linear regulator output stage.
线性辅助DC/DC转换器(或线性开关混合DC/DC转换器)由电压线性稳压器(经典的NPN或nMOS拓扑和LDO)与开关DC/DC转换器并联组成。为了控制这些混合结构,存在不同的策略,允许将开关频率固定为线性调节器某些参数的函数。本文比较了两种控制策略,这两种策略虽然可以应用于线性辅助变换器的相同电路结构,但有明显的不同。在以前的文献中报道的第一种方法是在稳态下通过线性稳压器完全抵消平均电流,以达到减少损耗的目的。因此,整个系统的效率提高,几乎等于一个独立的开关变换器的效率。该方法虽然会使线性稳压器的损耗略微增加,但能减小由于线性稳压器输出级的交叉失真而产生的输出纹波。
{"title":"Capacitorless DC-DC converter","authors":"H. Martínez, A. Grau-Saldes","doi":"10.1109/ETFA.2014.7005314","DOIUrl":"https://doi.org/10.1109/ETFA.2014.7005314","url":null,"abstract":"Linear-assisted DC/DC converters (or linear-switching hybrid DC/DC converters) consist of a voltage linear regulator (classic NPN or nMOS topologies and LDO) connected in parallel with a switching DC/DC converter. In order to control these hybrid structures, different strategies exist, allowing to fix the switching frequency as a function of some parameters of the linear regulator. This article compares two control strategies that, although can be applied to the same circuital structure of linear-assisted converter, are sensibly different. The first one, reported in previous literature, cancels completely the average current through the linear regulator in steady state to achieve a reduction of the losses. Thus the efficiency of the whole system increases and almost equals the one of the standalone switching converter. The proposed approach, in spite of a slightly increment of linear regulator's losses, reduces the output ripple due to the crossover distortion of linear regulator output stage.","PeriodicalId":20477,"journal":{"name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","volume":"1 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":"90931802","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
期刊
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学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1