2011 9th IEEE International Conference on Industrial Informatics最新文献

筛选
英文 中文
Design level debugging of timing behavior in embedded systems: Using a model-based approach 嵌入式系统中定时行为的设计级调试:使用基于模型的方法
2011 9th IEEE International Conference on Industrial Informatics Pub Date : 2011-07-26 DOI: 10.1109/INDIN.2011.6035011
Padma Iyenghar, C. Westerkamp, Juergen Wuebbelmann, Elke Pulvermueller
{"title":"Design level debugging of timing behavior in embedded systems: Using a model-based approach","authors":"Padma Iyenghar, C. Westerkamp, Juergen Wuebbelmann, Elke Pulvermueller","doi":"10.1109/INDIN.2011.6035011","DOIUrl":"https://doi.org/10.1109/INDIN.2011.6035011","url":null,"abstract":"A robust model-based debugging and testing technique integrated with the Model Driven Development (MDD) approach for memory size constrained, real-time critical embedded target systems is still in its nascent stages. This is especially true for the industry standard MDD-based tools. In addition, a model-based debugging technique or tool chain based on the newly introduced timing diagrams in UML 2.x is not yet available. In this paper, we discuss a model-based, design-level debugging approach with which the timing behavior of embedded targets is visualized with the aid of UML timing diagrams on the host side, in real-time. The proposed approach is suitable for memory size constrained, real-time embedded target systems as the overhead introduced is negligible, constant and known beforehand. Hence, the end-user has the option to include the overhead in the system design phase, thereby making use of a model-based debug solution and at the same time adhering to temporal constraints. A prototype implementation of the proposed approach is discussed and an illustrative example is presented.","PeriodicalId":378407,"journal":{"name":"2011 9th IEEE International Conference on Industrial Informatics","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127651513","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}
引用次数: 2
Physically based simulation of heterogeneous deformable models using XFEM 基于物理的非均匀变形模型的XFEM仿真
2011 9th IEEE International Conference on Industrial Informatics Pub Date : 2011-07-26 DOI: 10.1109/INDIN.2011.6034879
S. Farag, W. Abdelrahman, S. Nahavandi, D. Creighton
{"title":"Physically based simulation of heterogeneous deformable models using XFEM","authors":"S. Farag, W. Abdelrahman, S. Nahavandi, D. Creighton","doi":"10.1109/INDIN.2011.6034879","DOIUrl":"https://doi.org/10.1109/INDIN.2011.6034879","url":null,"abstract":"This paper addresses the problem of heterogeneous deformable model accuracy using the finite element methods (FEM). Classic FEM uses predefined shape functions for interpolation and does not account easily for regions of discontinuities. Extended finite element methods (XFEM) use enrichment functions to compensate for the change in an element degrees of freedom (DoFs) in deformable objects. The XFEM is an accurate and fast method as no remeshing is required. In this study we investigate the performance of XFEM and demonstrate how it may be applied to discontinuities of materials that exist in heterogeneous (piece-wise homogeneous) models. The results show realistic stress prediction compared to modeling the same objects with classic FEM.","PeriodicalId":378407,"journal":{"name":"2011 9th IEEE International Conference on Industrial Informatics","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131277809","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}
引用次数: 2
Distributed traffic aware routing with multiple sinks in wireless sensor networks 无线传感器网络中具有多汇聚的分布式流量感知路由
2011 9th IEEE International Conference on Industrial Informatics Pub Date : 2011-07-26 DOI: 10.1109/INDIN.2011.6034911
N. Dinh, T. Hoa, Dong-Sung Kim
{"title":"Distributed traffic aware routing with multiple sinks in wireless sensor networks","authors":"N. Dinh, T. Hoa, Dong-Sung Kim","doi":"10.1109/INDIN.2011.6034911","DOIUrl":"https://doi.org/10.1109/INDIN.2011.6034911","url":null,"abstract":"In this paper, we propose a distributed traffic-aware routing system for wireless sensor networks with multiple sinks. In multisink networks, traffic moving toward one sink may congest that moving toward others. The algorithm presented here considers the traffic of surrounding neighbors before jumping to any sink. We accomplish this by building, for each single sink, a gradient field and using gradient search for routing. The gradient index of one node contains two parts. (1) The first represents the distance-cost to travel, based on ROLL (routing over lossy link) proposed by an IETF working group. (2) The second contains the implicit traffic delay carried by the current holding node. Gradient field is built in distributing way and proved to free from loop. By simulation, we show that this method of building gradient field routes balance between shortest path and possible congestion made by sinks, especially in heavy traffic networks, thereby reducing the overall end-to-end delay.","PeriodicalId":378407,"journal":{"name":"2011 9th IEEE International Conference on Industrial Informatics","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115735951","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}
引用次数: 13
Message adaptor code generation 消息适配器代码生成
2011 9th IEEE International Conference on Industrial Informatics Pub Date : 2011-07-26 DOI: 10.1109/INDIN.2011.6034972
I. Gibbs, Husam Ghazaleh, S. Dascalu
{"title":"Message adaptor code generation","authors":"I. Gibbs, Husam Ghazaleh, S. Dascalu","doi":"10.1109/INDIN.2011.6034972","DOIUrl":"https://doi.org/10.1109/INDIN.2011.6034972","url":null,"abstract":"This paper documents the design of a tool to create protocol adaptors. With the current emphasis in software engineering on using common off the shelf components, there are increasing interface mismatches. In addition to this, there is constant pressure to speed up the development process. And as the prevalence of distributed applications raises we are seeing an increase in the passing of messages among the components of a software system. Wrappers need to be written to deal with these protocol mismatches among different components. The tool documented herein allows developers to more easily create an adaptor component, which takes the place of a wrapper. This tool is meant to be used by developers to speed up the adaptor creation process. Automated checks are also included in the application.","PeriodicalId":378407,"journal":{"name":"2011 9th IEEE International Conference on Industrial Informatics","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124378978","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
Dynamic reconfigurable multicast interconnections by using radix-4 multistage networks in FPGA 基于FPGA的基数4多级网络动态可重构组播互连
2011 9th IEEE International Conference on Industrial Informatics Pub Date : 2011-07-26 DOI: 10.1109/INDIN.2011.6034997
R. Ferreira, J. Vendramini, Mauro Nacif
{"title":"Dynamic reconfigurable multicast interconnections by using radix-4 multistage networks in FPGA","authors":"R. Ferreira, J. Vendramini, Mauro Nacif","doi":"10.1109/INDIN.2011.6034997","DOIUrl":"https://doi.org/10.1109/INDIN.2011.6034997","url":null,"abstract":"To fully realize the benefits of rapid reconfiguration of embedded system, we often need a flexible interconnection system. This work proposes a low cost reconfigurable interconnection based on multistage interconnection networks (MINs) for FPGA systems. We show how radix 4 MINs can be efficiently implemented on top of 6 input LUTs. We also show that two parallel blocking MINs could behave as a non-blocking network even in presence of multicast connections. We further show how to route by using software or hardware-assistant approach. The hardware version has a low cost and a high performance. Consequently, route time can be reduced to few clock cycles. We further outline how a global interconnection based on MIN could be used for parallel datapath reconfigurable architectures.","PeriodicalId":378407,"journal":{"name":"2011 9th IEEE International Conference on Industrial Informatics","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125885302","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
Using advanced simulation techniques to improve industrial controller's dependability 采用先进的仿真技术提高工业控制器的可靠性
2011 9th IEEE International Conference on Industrial Informatics Pub Date : 2011-07-26 DOI: 10.1109/INDIN.2011.6034848
E. Seabra, J. Machado
{"title":"Using advanced simulation techniques to improve industrial controller's dependability","authors":"E. Seabra, J. Machado","doi":"10.1109/INDIN.2011.6034848","DOIUrl":"https://doi.org/10.1109/INDIN.2011.6034848","url":null,"abstract":"Modelica Modeling language is powerful and suitable for modeling mechatronic systems, being possible to interact different technological aspects and deal, simultaneously with different technologies (mechanical, electrical, pneumatic, hydraulic,‥). In this paper it is discussed, in a case study, the possibility of using this language for modeling an automation system (controller and plant) in closed loop behavior and also in defining some parameters of the automation system in order to optimize some behavior aspects of the system as, for instance, the time cycle of the automation system. Some aspects relied with controllers dependability are also discussed and it is showed how Modelica modeling language can help controllers' designers improving controllers dependability, when are used Simulation Techniques.","PeriodicalId":378407,"journal":{"name":"2011 9th IEEE International Conference on Industrial Informatics","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129853368","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
Aspect-Oriented Programming of video-based surveillance systems 基于视频监控系统的面向方面编程
2011 9th IEEE International Conference on Industrial Informatics Pub Date : 2011-07-26 DOI: 10.1109/INDIN.2011.6034939
N. Cardoso, N. Peixoto, J. Cabral, J. Mendes, J. Monteiro, A. Tavares
{"title":"Aspect-Oriented Programming of video-based surveillance systems","authors":"N. Cardoso, N. Peixoto, J. Cabral, J. Mendes, J. Monteiro, A. Tavares","doi":"10.1109/INDIN.2011.6034939","DOIUrl":"https://doi.org/10.1109/INDIN.2011.6034939","url":null,"abstract":"When developing video-based surveillance systems the developer faces a highly complex task due to the wide range of application domains where video-based surveillance systems are applied. As the number of domains of application increases, so does the level of variability of non-functional and functional properties that needs to be managed by video-based surveillance systems. The traditional response to make the process of managing all system variations more flexible is to use modular architectures based on filters for video applications. These filters are implemented using dynamic programming techniques (i.e. inheritance and virtual functions) that induce an overhead on the system performance. As each filter is implemented as a plug-in, the non-linearity produced by the use of plug-ins penalize the overall system performance due to a increase in the number of cache misses and page faults. In this paper, a novel approach is proposed. The use of Aspect-Oriented Programming (AOP) is proposed to modularize system variability without compromising system performance. All the system variation points are implemented in aspects that are injected for a specific configuration on the common base code related to all configurations. The experimental results show that AOP improves the management of system heterogeneity without sacrificing system performance.","PeriodicalId":378407,"journal":{"name":"2011 9th IEEE International Conference on Industrial Informatics","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127310489","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
Using shape analysis to verify graph transformations in model driven design 使用形状分析来验证模型驱动设计中的图形转换
2011 9th IEEE International Conference on Industrial Informatics Pub Date : 2011-07-26 DOI: 10.1109/INDIN.2011.6034922
Dominik Steenken, Daniel Wonisch
{"title":"Using shape analysis to verify graph transformations in model driven design","authors":"Dominik Steenken, Daniel Wonisch","doi":"10.1109/INDIN.2011.6034922","DOIUrl":"https://doi.org/10.1109/INDIN.2011.6034922","url":null,"abstract":"In model driven design processes, graph transformation systems are frequently used to model dynamic behaviour. Many complex models induce arbitratily large state spaces. Since the systems they model are often safety-critical, they need to be verified. Explicit modelchecking fails here, since it requires the construction of the entire state space. In this paper, we present a verification technique that can handle arbitrarily large state spaces. Furthermore we show that it can easily be integrated in existing model driven design processes.","PeriodicalId":378407,"journal":{"name":"2011 9th IEEE International Conference on Industrial Informatics","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126941489","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}
引用次数: 2
Service-Oriented Application Integration for condition-based maintenance with OPC Unified Architecture 基于OPC统一架构的基于状态维护的面向服务的应用集成
2011 9th IEEE International Conference on Industrial Informatics Pub Date : 2011-07-26 DOI: 10.1109/INDIN.2011.6034834
I. Seilonen, Antti Tuomi, Jari Olli, K. Koskinen
{"title":"Service-Oriented Application Integration for condition-based maintenance with OPC Unified Architecture","authors":"I. Seilonen, Antti Tuomi, Jari Olli, K. Koskinen","doi":"10.1109/INDIN.2011.6034834","DOIUrl":"https://doi.org/10.1109/INDIN.2011.6034834","url":null,"abstract":"OPC Unified Architecture (OPC UA) is a new standard for communication between information and automation systems, and devices. One possible application area for OPC UA is communication between intelligent automation devices and information systems. In this paper an approach is presented for utilizing OPC UA in conjunction with Service-Oriented Application Integration (SOAI) of Enterprise Asset Management (EAM) and condition monitoring systems in the context of condition-based maintenance (CBM). First, the requirements of application integration in CBM are identified and then a software design combining the mentioned technologies and systems is proposed. The design is evaluated with the help of an experimental implementation and test scenarios.","PeriodicalId":378407,"journal":{"name":"2011 9th IEEE International Conference on Industrial Informatics","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130401670","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
Simulation of multi-agent manufacturing systems using Agent-Based Modelling platforms 基于agent建模平台的多agent制造系统仿真
2011 9th IEEE International Conference on Industrial Informatics Pub Date : 2011-07-26 DOI: 10.1109/INDIN.2011.6034926
J. Barbosa, P. Leitão
{"title":"Simulation of multi-agent manufacturing systems using Agent-Based Modelling platforms","authors":"J. Barbosa, P. Leitão","doi":"10.1109/INDIN.2011.6034926","DOIUrl":"https://doi.org/10.1109/INDIN.2011.6034926","url":null,"abstract":"Multi-agent systems (MAS) are driving the way to design and engineer control solutions that exhibit flexibility, adaptation and reconfigurability, which are important advantages over traditional centralized systems. The understanding, design and testing of such distributed agent-based approaches, and particularly those exhibiting self-∗properties, are usually a hard task. Simulation assumes a crucial role to analyse the behaviour of MAS solutions during the design phase and before its deployment into the real operation. Particularly, Agent-Based Modelling (ABM) tools are well suited to simulate MAS systems that exhibit complex phenomena, like emergent behaviour and self-organization. This paper discusses the simulation of agent-based manufacturing systems and introduces the advantages of using ABM tools. The NetLogo platform is used to illustrate the benefits of such tools in the manufacturing world on the specification of a MAS system for a washing machine production line.","PeriodicalId":378407,"journal":{"name":"2011 9th IEEE International Conference on Industrial Informatics","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116057370","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}
引用次数: 42
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信