首页 > 最新文献

2013 11th IEEE International Conference on Industrial Informatics (INDIN)最新文献

英文 中文
Reusability assessment of financial card readers' security mechanisms in process control devices 过程控制设备中金融卡读卡器安全机制的可重用性评估
Pub Date : 2013-07-29 DOI: 10.1109/INDIN.2013.6622934
Apala Ray, J. Åkerberg, M. Gidlund, M. Björkman, Christophe Tremlet
The security of industrial plants has gained a lot of importance since the last decade. The reason is that the different components from different network layers of automation systems have become inter-connected to support fast and cost-effective decisions at the management level. This inter-connectivity has posed many security challenges in this industrial segment. To achieve effective security mechanisms in industrial plants, there is a need to learn from other existing domains, matured in terms of security, whether existing matured security solutions can be reused in the industrial automation domain. The financial sector is a segment where security has been carefully managed since a long time, as security is very important for that sector. Therefore it would be beneficial to evaluate the security mechanisms present in financial card readers which are involved in financial transactions because these card readers have many similar characteristics with industrial process control devices. In this paper, the security requirements for both the field devices of industrial plants and card reader terminals of the financial sector have been evaluated to understand the security gap so that we can identify the areas where the security needs of industrial plants must be improved and where some of the existing security features of card reader terminals can be reused in field devices of industrial plants.
近十年来,工业厂房的安全问题变得越来越重要。原因是来自自动化系统的不同网络层的不同组件已经相互连接,以支持管理层的快速和具有成本效益的决策。这种互联性给这一工业领域带来了许多安全挑战。为了在工业厂房中实现有效的安全机制,需要学习其他现有领域,在安全方面成熟,现有成熟的安全解决方案是否可以在工业自动化领域中重用。长期以来,金融部门的安全一直受到精心管理,因为安全对该部门非常重要。因此,对涉及金融交易的金融读卡器的安全机制进行评估是有益的,因为这些读卡器与工业过程控制设备具有许多相似的特征。本文对工业厂房现场设备和金融部门读卡器终端的安全需求进行了评估,了解安全缺口,从而确定工业厂房安全需求必须改进的领域,以及现有的一些读卡器终端的安全功能可以在工业厂房现场设备中重复使用。
{"title":"Reusability assessment of financial card readers' security mechanisms in process control devices","authors":"Apala Ray, J. Åkerberg, M. Gidlund, M. Björkman, Christophe Tremlet","doi":"10.1109/INDIN.2013.6622934","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622934","url":null,"abstract":"The security of industrial plants has gained a lot of importance since the last decade. The reason is that the different components from different network layers of automation systems have become inter-connected to support fast and cost-effective decisions at the management level. This inter-connectivity has posed many security challenges in this industrial segment. To achieve effective security mechanisms in industrial plants, there is a need to learn from other existing domains, matured in terms of security, whether existing matured security solutions can be reused in the industrial automation domain. The financial sector is a segment where security has been carefully managed since a long time, as security is very important for that sector. Therefore it would be beneficial to evaluate the security mechanisms present in financial card readers which are involved in financial transactions because these card readers have many similar characteristics with industrial process control devices. In this paper, the security requirements for both the field devices of industrial plants and card reader terminals of the financial sector have been evaluated to understand the security gap so that we can identify the areas where the security needs of industrial plants must be improved and where some of the existing security features of card reader terminals can be reused in field devices of industrial plants.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":"13 1","pages":"494-499"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82806615","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
The MATISSE MATLAB compiler MATISSE MATLAB编译器
Pub Date : 2013-07-29 DOI: 10.1109/INDIN.2013.6622952
João Bispo, Pedro Pinto, Ricardo Nobre, Tiago Carvalho, João MP Cardoso, P. Diniz
This paper describes MATISSE, a MATLAB to C compiler targeting embedded systems that is based on Strategic and Aspect-Oriented Programming concepts. MATISSE takes as input: (1) MATLAB code and (2) LARA aspects related to types and shapes, code insertion/removal, and specialization based directives defining default variable values. In this paper we also illustrate the use of MATISSE in leveraging data types and shapes to generate customized C code suitable for high-level hardware synthesis tools. The preliminary experimental results presented here reveal the described approach to yield performance results for the resulting hardware and software references implementations that are comparable in terms of performance with hand-crafted solutions but derived automatically at a fraction of the cost.
本文介绍了MATISSE,一个针对嵌入式系统的MATLAB到C编译器,它基于战略和面向方面的编程概念。MATISSE将其作为输入:(1)MATLAB代码和(2)与类型和形状相关的LARA方面,代码插入/删除,以及定义默认变量值的基于专门化的指令。在本文中,我们还说明了MATISSE在利用数据类型和形状来生成适合高级硬件合成工具的定制C代码中的使用。本文给出的初步实验结果表明,所描述的方法可以为最终的硬件和软件参考实现带来性能结果,这些实现在性能方面与手工制作的解决方案相当,但成本只是手工制作解决方案的一小部分。
{"title":"The MATISSE MATLAB compiler","authors":"João Bispo, Pedro Pinto, Ricardo Nobre, Tiago Carvalho, João MP Cardoso, P. Diniz","doi":"10.1109/INDIN.2013.6622952","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622952","url":null,"abstract":"This paper describes MATISSE, a MATLAB to C compiler targeting embedded systems that is based on Strategic and Aspect-Oriented Programming concepts. MATISSE takes as input: (1) MATLAB code and (2) LARA aspects related to types and shapes, code insertion/removal, and specialization based directives defining default variable values. In this paper we also illustrate the use of MATISSE in leveraging data types and shapes to generate customized C code suitable for high-level hardware synthesis tools. The preliminary experimental results presented here reveal the described approach to yield performance results for the resulting hardware and software references implementations that are comparable in terms of performance with hand-crafted solutions but derived automatically at a fraction of the cost.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":"6 1","pages":"602-608"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87641096","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}
引用次数: 12
Dynamic skill allocation methodology for evolvable assembly systems 可演化装配系统的动态技能分配方法
Pub Date : 2013-07-29 DOI: 10.1109/INDIN.2013.6622885
Shirley Cavin, P. Ferreira, N. Lohse
In the last years, assembly systems have been challenged by the new market and economic trends, which require more flexible, evolvable, reconfigurable and adaptable manufacturing systems. This scenario has led to the development of new paradigms in the assembly domain. The “Plug & Produce” and modularity concepts along with the use of agent technologies have emerged to support the development of feasible solutions. Among these paradigms is highlighted the concept of Evolvable Assembly Systems (EAS). EAS proposes an agile solution while establishing a “Plug-&-Produce” environment. The introduction of this new approach presents new opportunities for modular assembly configuration methods but also brings new challenges. The work presented in this paper aims to address one of these challenges, the allocation of assembly system capabilities to processes requirements. This challenge emerges from the concept of separating product driven process requirements from the assembly system implementation, in specific functional capabilities to enable the concept of “Plug & Produce” in assembly systems. However, these assembly capabilities should be adequately allocated to fulfil specific product requirements. This paper describes the work carried out to solve the allocation problem of capabilities to the requirements of a particular assembly processes configuration, by proposing a methodology based on a set of rules that are domain specific.
在过去的几年里,装配系统受到了新的市场和经济趋势的挑战,这需要更灵活、可进化、可重构和适应性强的制造系统。这种情况导致了组装领域中新范式的发展。“即插即用”和模块化概念以及代理技术的使用已经出现,以支持可行解决方案的开发。在这些范例中,突出了可演化装配系统(EAS)的概念。EAS在建立“即插即用”环境的同时提出了一个敏捷的解决方案。这种新方法的引入为模块化装配配置方法提供了新的机遇,但也带来了新的挑战。本文提出的工作旨在解决这些挑战之一,即装配系统能力对工艺要求的分配。这一挑战来自于将产品驱动的过程需求与装配系统实现分离的概念,在特定的功能能力中,以实现装配系统中的“插入和生产”概念。但是,这些装配能力应适当分配,以满足具体的产品要求。本文通过提出一种基于一组特定于领域的规则的方法,描述了为解决特定装配过程配置需求的能力分配问题所进行的工作。
{"title":"Dynamic skill allocation methodology for evolvable assembly systems","authors":"Shirley Cavin, P. Ferreira, N. Lohse","doi":"10.1109/INDIN.2013.6622885","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622885","url":null,"abstract":"In the last years, assembly systems have been challenged by the new market and economic trends, which require more flexible, evolvable, reconfigurable and adaptable manufacturing systems. This scenario has led to the development of new paradigms in the assembly domain. The “Plug & Produce” and modularity concepts along with the use of agent technologies have emerged to support the development of feasible solutions. Among these paradigms is highlighted the concept of Evolvable Assembly Systems (EAS). EAS proposes an agile solution while establishing a “Plug-&-Produce” environment. The introduction of this new approach presents new opportunities for modular assembly configuration methods but also brings new challenges. The work presented in this paper aims to address one of these challenges, the allocation of assembly system capabilities to processes requirements. This challenge emerges from the concept of separating product driven process requirements from the assembly system implementation, in specific functional capabilities to enable the concept of “Plug & Produce” in assembly systems. However, these assembly capabilities should be adequately allocated to fulfil specific product requirements. This paper describes the work carried out to solve the allocation problem of capabilities to the requirements of a particular assembly processes configuration, by proposing a methodology based on a set of rules that are domain specific.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":"30 1","pages":"218-223"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90821493","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}
引用次数: 14
Comparison on technological opportunities for in-vehicle Ethernet networks 车载以太网技术机遇比较
Pub Date : 2013-07-29 DOI: 10.1109/INDIN.2013.6622867
G. Malaguti, M. Dian, C. Ferraresi, M. Ruggeri
Ethernet is by now the most adopted bus for fast digital communications in many environments, from household entertainment to PLC robotics in industrial assembly lines. Even in automotive industry, the interest in this technology is increasingly growing, pushed forward by much research and basically by the need of high throughput that high dynamics distributed control demands. This paper deals with architectural and technological aspects of advanced Ethernet networks in order to provide a high-throughput deterministic network for in-vehicle distribution control.
以太网是目前在许多环境中采用最多的快速数字通信总线,从家庭娱乐到工业装配线中的PLC机器人。即使在汽车行业,对这项技术的兴趣也在不断增长,这是由大量的研究推动的,基本上是由高动态分布式控制要求的高吞吐量需求推动的。为了给车载分配控制提供一个高吞吐量的确定性网络,本文研究了先进以太网的结构和技术方面的问题。
{"title":"Comparison on technological opportunities for in-vehicle Ethernet networks","authors":"G. Malaguti, M. Dian, C. Ferraresi, M. Ruggeri","doi":"10.1109/INDIN.2013.6622867","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622867","url":null,"abstract":"Ethernet is by now the most adopted bus for fast digital communications in many environments, from household entertainment to PLC robotics in industrial assembly lines. Even in automotive industry, the interest in this technology is increasingly growing, pushed forward by much research and basically by the need of high throughput that high dynamics distributed control demands. This paper deals with architectural and technological aspects of advanced Ethernet networks in order to provide a high-throughput deterministic network for in-vehicle distribution control.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":"54 1","pages":"108-115"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91100240","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}
引用次数: 4
Performance analysis of Mechatrolink-III mechatrolink的性能分析iii
Pub Date : 2013-07-29 DOI: 10.1109/INDIN.2013.6622874
T. Dang, Jinho Kim, J. Jeon
Mechatrolink-III is a real-time Ethernet protocol designed to achieve high performance with short cycle time. The Mechatrolink-III protocol includes five communication phases: synchronization, cyclic communication, retry communication, C1 master message communication, and C2 master message communication. These communication phases directly affect the cycle time of Mechatrolink-III. This paper analyzes the real-time performance of the Mechatrolink-III protocol according to cycle time on line and tree topologies. Moreover, we measure parameters that influence these communication phases in our system, and construct a formula to calculate the cycle time based on those parameters.
Mechatrolink-III是一种实时以太网协议,旨在以短周期时间实现高性能。Mechatrolink-III协议包括5个通信阶段:同步、循环通信、重试通信、C1主消息通信和C2主消息通信。这些通信阶段直接影响Mechatrolink-III的周期时间。本文根据在线循环时间和树形拓扑结构分析了Mechatrolink-III协议的实时性。此外,我们测量了系统中影响这些通信相位的参数,并根据这些参数构造了计算周期时间的公式。
{"title":"Performance analysis of Mechatrolink-III","authors":"T. Dang, Jinho Kim, J. Jeon","doi":"10.1109/INDIN.2013.6622874","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622874","url":null,"abstract":"Mechatrolink-III is a real-time Ethernet protocol designed to achieve high performance with short cycle time. The Mechatrolink-III protocol includes five communication phases: synchronization, cyclic communication, retry communication, C1 master message communication, and C2 master message communication. These communication phases directly affect the cycle time of Mechatrolink-III. This paper analyzes the real-time performance of the Mechatrolink-III protocol according to cycle time on line and tree topologies. Moreover, we measure parameters that influence these communication phases in our system, and construct a formula to calculate the cycle time based on those parameters.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":"10 1","pages":"152-157"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81989459","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
An evaluation method of reduced procurement risks by decentralized ordering in supply chain 供应链分散订货降低采购风险的评价方法
Pub Date : 2013-07-29 DOI: 10.1109/INDIN.2013.6622862
M. Mori, Ryoji Kobayashi, M. Samejima, N. Komoda
In supply chain, catastrophic disasters such as earthquakes may prevent procurements from suppliers, which causes losses in retailers. Decentralizing orders and urgent stocks can reduce the losses, but cost the retailer. And, the losses by the catastrophic disasters are uncertain. In order to support planning of decentralizing orders and urgent stocks, we propose the evaluation method of procurement risks that are Conditional Value at Risk (CVaR) of the losses, which are often applied for a rare event causing a heavy loss. Because the uncertain procurement risk is reduced in return for the cost, the proposed method evaluates the decentralizing orders with the urgent stock based on real option approach.
在供应链中,地震等灾难性的灾难可能会阻止供应商的采购,从而给零售商带来损失。分散订单和紧急库存可以减少损失,但会让零售商付出代价。而且,灾难性灾难造成的损失是不确定的。为了支持分散订单和紧急库存的规划,我们提出了采购风险的评估方法,即损失的条件风险值(CVaR),这种方法通常用于造成重大损失的罕见事件。由于该方法在降低成本的同时降低了采购的不确定性风险,因此基于实物期权方法对具有紧急库存的分散订单进行了评估。
{"title":"An evaluation method of reduced procurement risks by decentralized ordering in supply chain","authors":"M. Mori, Ryoji Kobayashi, M. Samejima, N. Komoda","doi":"10.1109/INDIN.2013.6622862","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622862","url":null,"abstract":"In supply chain, catastrophic disasters such as earthquakes may prevent procurements from suppliers, which causes losses in retailers. Decentralizing orders and urgent stocks can reduce the losses, but cost the retailer. And, the losses by the catastrophic disasters are uncertain. In order to support planning of decentralizing orders and urgent stocks, we propose the evaluation method of procurement risks that are Conditional Value at Risk (CVaR) of the losses, which are often applied for a rare event causing a heavy loss. Because the uncertain procurement risk is reduced in return for the cost, the proposed method evaluates the decentralizing orders with the urgent stock based on real option approach.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":"7 1","pages":"80-85"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87187254","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}
引用次数: 8
A stochastic method for the detection of anomalous energy consumption in hybrid industrial systems 混合工业系统异常能耗的随机检测方法
Pub Date : 2013-07-29 DOI: 10.1109/INDIN.2013.6622881
Stefan Windmann, Shuo Jiao, O. Niggemann, H. Borcherding
In the presented work, the detection of anomalous energy consumption in hybrid industrial production systems is investigated. A model-based approach with a timed hybrid automaton as overall system model is employed for anomaly detection. The approach is based on the assumption of several system modes, i.e. phases with continuous system behavior. Transitions between the modes are attributed to discrete control events such as on/off signals. The underlying discrete event system which comprises both system modes and transitions is modeled as finite state machine. The focus of this paper is set on the modeling of the energy consumption in the particular system modes. Sequences of stochastic state space models are employed for this purpose. Model learning and anomaly detection for this approach are considered. The proposed approach is further evaluated in a small model factory. The experimental results show significant improvements compared to existing approaches to anomaly detection in hybrid industrial systems.
在本工作中,研究了混合工业生产系统中异常能耗的检测。采用基于模型的方法,以时间混合自动机作为系统整体模型进行异常检测。该方法是基于假定系统的几种模式,即具有连续系统行为的相位。模式之间的转换归因于离散的控制事件,如开/关信号。将包含系统模式和转换的底层离散事件系统建模为有限状态机。本文的重点是对特定系统模式下的能耗进行建模。随机状态空间模型序列用于此目的。考虑了该方法的模型学习和异常检测。在一个小型模型工厂中对该方法进行了进一步的评估。实验结果表明,与现有的混合工业系统异常检测方法相比,该方法有了显著的改进。
{"title":"A stochastic method for the detection of anomalous energy consumption in hybrid industrial systems","authors":"Stefan Windmann, Shuo Jiao, O. Niggemann, H. Borcherding","doi":"10.1109/INDIN.2013.6622881","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622881","url":null,"abstract":"In the presented work, the detection of anomalous energy consumption in hybrid industrial production systems is investigated. A model-based approach with a timed hybrid automaton as overall system model is employed for anomaly detection. The approach is based on the assumption of several system modes, i.e. phases with continuous system behavior. Transitions between the modes are attributed to discrete control events such as on/off signals. The underlying discrete event system which comprises both system modes and transitions is modeled as finite state machine. The focus of this paper is set on the modeling of the energy consumption in the particular system modes. Sequences of stochastic state space models are employed for this purpose. Model learning and anomaly detection for this approach are considered. The proposed approach is further evaluated in a small model factory. The experimental results show significant improvements compared to existing approaches to anomaly detection in hybrid industrial systems.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":"10 1","pages":"194-199"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75295770","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}
引用次数: 36
Exploiting dataflows and Petri nets mappings 利用数据流和Petri网映射
Pub Date : 2013-07-29 DOI: 10.1109/INDIN.2013.6622950
José-Inácio Rocha, O. P. Dias, L. Gomes
Dataflow and Petri nets are used in modeling and analyzing streaming applications, which execute indefinitely using limited resources. Therefore it is essential to know if a system model guaranties certain properties, namely, liveness, boundedness or the maximal throughput. Besides, working with hardware/ software co-design techniques helps to define architecture and platform mapping, accommodating static and dynamically reconfigurable components. Over the last two decades a multitude of dataflow domains emerged along with the specificity of the outlined model of computation, in particular the Synchronous Dataflows, which have proved their adequacy in data-dominated systems, and it is nowadays a mature model of computation. This paper describes a set of translating rules allowing the mapping from Synchronous Dataflows into Petri nets. Study on invariants is presented. Signal processing application examples are used, illustrating the effectiveness of Petri net based modeling strategies to optimize digital system design, identifying a schedule that minimizes the amount of storage resource thus improving the systems' power consumption. The proposed approach allows one to know in advance at design stage the maximum potential and effective amount of storage resource at any signal processing system.
数据流和Petri网用于建模和分析流应用程序,这些应用程序使用有限的资源无限期地执行。因此,了解系统模型是否保证某些属性,即活动性、有界性或最大吞吐量是至关重要的。此外,使用硬件/软件协同设计技术有助于定义架构和平台映射,适应静态和动态可重构组件。在过去的二十年中,随着所概述的计算模型的特殊性,出现了大量的数据流领域,特别是同步数据流,它已经证明了它们在数据主导系统中的充分性,并且它现在是一个成熟的计算模型。本文描述了一套允许同步数据流映射到Petri网的转换规则。对不变量进行了研究。使用信号处理应用实例,说明了基于Petri网的建模策略在优化数字系统设计方面的有效性,确定了最小化存储资源的调度,从而提高了系统的功耗。该方法允许在设计阶段提前知道任何信号处理系统的最大潜力和有效存储资源量。
{"title":"Exploiting dataflows and Petri nets mappings","authors":"José-Inácio Rocha, O. P. Dias, L. Gomes","doi":"10.1109/INDIN.2013.6622950","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622950","url":null,"abstract":"Dataflow and Petri nets are used in modeling and analyzing streaming applications, which execute indefinitely using limited resources. Therefore it is essential to know if a system model guaranties certain properties, namely, liveness, boundedness or the maximal throughput. Besides, working with hardware/ software co-design techniques helps to define architecture and platform mapping, accommodating static and dynamically reconfigurable components. Over the last two decades a multitude of dataflow domains emerged along with the specificity of the outlined model of computation, in particular the Synchronous Dataflows, which have proved their adequacy in data-dominated systems, and it is nowadays a mature model of computation. This paper describes a set of translating rules allowing the mapping from Synchronous Dataflows into Petri nets. Study on invariants is presented. Signal processing application examples are used, illustrating the effectiveness of Petri net based modeling strategies to optimize digital system design, identifying a schedule that minimizes the amount of storage resource thus improving the systems' power consumption. The proposed approach allows one to know in advance at design stage the maximum potential and effective amount of storage resource at any signal processing system.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":"9 1","pages":"590-595"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73683326","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
Embedded reconfigurable computing: the ERA approach 嵌入式可重构计算:ERA方法
Pub Date : 2013-07-29 DOI: 10.1109/INDIN.2013.6889116
G. Keramidas, Stephan Wong, Fakhar Anjam, Anthony Brandon, Roel Seedorf, Claudio Scordino, L. Carro, D. Matos, R. Giorgi, Stamatis Kavvadias, S. Mckee, Bhavishya Goel, Vasileios Spiliopoulos
The growing complexity and diversity of embedded systems-combined with continuing demands for higher performance and lower power consumption-places increasing pressure on embedded platforms designers. The target of the ERA project is to offer a holistic, multi-dimensional methodology to address these problems in a unified framework exploiting the inter- and intra-synergism between the reconfigurable hardware (core, memory, and network resources), the reconfigurable software (compiler and tools), and the run-time system. Starting from the hardware level, we design our platform via a structured approach that allows integration of reconfigurable computing elements, network fabrics, and memory hierarchy components. These hardware elements can adapt their composition, organization, and even instruction-set architectures to exploit tradeoffs in performance and power. Appropriate hardware resources can be selected both statically at design time and dynamically at run time. Hardware details are exposed to our custom operating system, our custom runtime system, and our adaptive compiler, and are even visible all the way up to the application level. The design philosophy followed in the ERA project proved efficient enough not only to enable a better choice of power/performance trade-offs but also to support fast platform prototyping of high-efficiency embedded system designs. In this paper, we present a brief overview of the design approach, the major outcomes, and the lessons learned in the ERA project.
嵌入式系统日益增长的复杂性和多样性,以及对更高性能和更低功耗的持续需求,给嵌入式平台设计人员带来了越来越大的压力。ERA项目的目标是提供一个整体的、多维的方法,在一个统一的框架中利用可重构硬件(核心、内存和网络资源)、可重构软件(编译器和工具)和运行时系统之间的内部协同作用来解决这些问题。从硬件级别开始,我们通过结构化方法设计我们的平台,该方法允许集成可重构的计算元素、网络结构和内存层次结构组件。这些硬件元素可以调整它们的组成、组织,甚至指令集体系结构,以利用性能和功率方面的折衷。适当的硬件资源可以在设计时静态地选择,也可以在运行时动态地选择。硬件细节暴露给我们的自定义操作系统、自定义运行时系统和自适应编译器,甚至在应用程序级别上都是可见的。ERA项目遵循的设计理念被证明是足够高效的,不仅能够更好地选择功耗/性能权衡,而且还支持高效嵌入式系统设计的快速平台原型。在本文中,我们简要概述了ERA项目的设计方法、主要成果和经验教训。
{"title":"Embedded reconfigurable computing: the ERA approach","authors":"G. Keramidas, Stephan Wong, Fakhar Anjam, Anthony Brandon, Roel Seedorf, Claudio Scordino, L. Carro, D. Matos, R. Giorgi, Stamatis Kavvadias, S. Mckee, Bhavishya Goel, Vasileios Spiliopoulos","doi":"10.1109/INDIN.2013.6889116","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6889116","url":null,"abstract":"The growing complexity and diversity of embedded systems-combined with continuing demands for higher performance and lower power consumption-places increasing pressure on embedded platforms designers. The target of the ERA project is to offer a holistic, multi-dimensional methodology to address these problems in a unified framework exploiting the inter- and intra-synergism between the reconfigurable hardware (core, memory, and network resources), the reconfigurable software (compiler and tools), and the run-time system. Starting from the hardware level, we design our platform via a structured approach that allows integration of reconfigurable computing elements, network fabrics, and memory hierarchy components. These hardware elements can adapt their composition, organization, and even instruction-set architectures to exploit tradeoffs in performance and power. Appropriate hardware resources can be selected both statically at design time and dynamically at run time. Hardware details are exposed to our custom operating system, our custom runtime system, and our adaptive compiler, and are even visible all the way up to the application level. The design philosophy followed in the ERA project proved efficient enough not only to enable a better choice of power/performance trade-offs but also to support fast platform prototyping of high-efficiency embedded system designs. In this paper, we present a brief overview of the design approach, the major outcomes, and the lessons learned in the ERA project.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":"2 1","pages":"827-832"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81179990","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}
引用次数: 4
The forward kinematic modeling of a Stewart platform using NLARX model with wavelet network 基于小波网络的NLARX模型对Stewart平台进行了正运动学建模
Pub Date : 2013-07-29 DOI: 10.1109/INDIN.2013.6622907
P. R. Kumar, B. Bandyopadhyay
A Stewart platform manipulator is 6 degrees of freedom parallel robot with a superior performance over serial robots. The forward kinematic problem of a Stewart platform is to determine the actual position and orientation of the movable platform with respect to the base for a given set of leg lengths. The existing analytical methods to solve this problem give multiple solutions, out of which an exact and practical solution has to be selected. A novel method based on non linear autoregressive model with exogenous input (NLARX) using wavelet network is proposed in this paper for the identification of forward kinematic model of a Stewart platform. For a given position of the platform, the leg lengths are estimated using inverse kinematics. This information is used to identify and validate the NLARX model. The simulation results show the ability of the estimated NLARX model to represent the dynamic behavior of the Stewart platform in the forward kinematic mode.
Stewart平台机械手是一种6自由度并联机器人,其性能优于串行机器人。Stewart平台的正运动学问题是在给定一组腿长的情况下,确定可移动平台相对于基座的实际位置和方向。现有的求解这一问题的解析方法给出了多种解,必须从中选择一个精确而实用的解。提出了一种基于带外源输入的非线性自回归模型的小波网络辨识Stewart平台正运动学模型的新方法。对于平台的给定位置,使用逆运动学估计腿的长度。该信息用于识别和验证NLARX模型。仿真结果表明,估计的NLARX模型能够很好地描述Stewart平台在正运动学模式下的动态行为。
{"title":"The forward kinematic modeling of a Stewart platform using NLARX model with wavelet network","authors":"P. R. Kumar, B. Bandyopadhyay","doi":"10.1109/INDIN.2013.6622907","DOIUrl":"https://doi.org/10.1109/INDIN.2013.6622907","url":null,"abstract":"A Stewart platform manipulator is 6 degrees of freedom parallel robot with a superior performance over serial robots. The forward kinematic problem of a Stewart platform is to determine the actual position and orientation of the movable platform with respect to the base for a given set of leg lengths. The existing analytical methods to solve this problem give multiple solutions, out of which an exact and practical solution has to be selected. A novel method based on non linear autoregressive model with exogenous input (NLARX) using wavelet network is proposed in this paper for the identification of forward kinematic model of a Stewart platform. For a given position of the platform, the leg lengths are estimated using inverse kinematics. This information is used to identify and validate the NLARX model. The simulation results show the ability of the estimated NLARX model to represent the dynamic behavior of the Stewart platform in the forward kinematic mode.","PeriodicalId":6312,"journal":{"name":"2013 11th IEEE International Conference on Industrial Informatics (INDIN)","volume":"37 1","pages":"343-348"},"PeriodicalIF":0.0,"publicationDate":"2013-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86355811","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}
引用次数: 18
期刊
2013 11th IEEE International Conference on Industrial Informatics (INDIN)
全部 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