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}
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}
{"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}
{"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}
{"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}
{"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}
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}
{"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}
{"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}
{"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}