Pub Date : 2015-10-26DOI: 10.1109/ETFA.2015.7301588
Aravind Ingalalli, Nitin Adlok, B. Shanthibhushan, S. Shriram
ABB Medium Voltage (MV) drives offer flexible and reliable modular design for single as well as multi motor applications with power range from 3 to 36 MW. In order to validate the complex converter topologies and control methodologies of MV drives, a powerful multi core real time simulator is used for Hardware in Loop (HiL) testing. The Medium Voltage Drive Hardware-in-Loop (MVDHiL) system is preferred over traditional analogue test or field test as it offers flexibility, cost benefits and no high voltage risks. This paper describes about the MVDHiL set up for ABB ACS1000 Drive and discuses manual and automated testing of MVDHiL with lab results.
{"title":"Automated testing of Medium Voltage Drive Hardware in Loop systems","authors":"Aravind Ingalalli, Nitin Adlok, B. Shanthibhushan, S. Shriram","doi":"10.1109/ETFA.2015.7301588","DOIUrl":"https://doi.org/10.1109/ETFA.2015.7301588","url":null,"abstract":"ABB Medium Voltage (MV) drives offer flexible and reliable modular design for single as well as multi motor applications with power range from 3 to 36 MW. In order to validate the complex converter topologies and control methodologies of MV drives, a powerful multi core real time simulator is used for Hardware in Loop (HiL) testing. The Medium Voltage Drive Hardware-in-Loop (MVDHiL) system is preferred over traditional analogue test or field test as it offers flexibility, cost benefits and no high voltage risks. This paper describes about the MVDHiL set up for ABB ACS1000 Drive and discuses manual and automated testing of MVDHiL with lab results.","PeriodicalId":6862,"journal":{"name":"2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA)","volume":"2 1","pages":"1-5"},"PeriodicalIF":0.0,"publicationDate":"2015-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91381339","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}
Pub Date : 2015-10-26DOI: 10.1109/ETFA.2015.7301435
Raffaele Carli, M. Dotoli, R. Pellegrino
The paper addresses the emerging need for tools devoted to the energy governance of smart cities. We propose a hierarchical decision process that supports the energy manager in governing the smart city while addressing different urban sectors with an integrated, structured, and transparent planning. Starting from the urban control center proposed in a previous contribution for the urban energy management, a hierarchical strategic decision structure is proposed. More in detail, a two-level decentralized programming model integrates several decision making units (decision panels), each focusing on the energy optimization of a specific urban subsystem. We focus on the presentation of the street lighting decision panel and on its application to the energy management of the public lighting of the city of Bari (Italy), where a smart city program has recently been launched.
{"title":"ICT and optimization for the energy management of smart cities: The street lighting decision panel","authors":"Raffaele Carli, M. Dotoli, R. Pellegrino","doi":"10.1109/ETFA.2015.7301435","DOIUrl":"https://doi.org/10.1109/ETFA.2015.7301435","url":null,"abstract":"The paper addresses the emerging need for tools devoted to the energy governance of smart cities. We propose a hierarchical decision process that supports the energy manager in governing the smart city while addressing different urban sectors with an integrated, structured, and transparent planning. Starting from the urban control center proposed in a previous contribution for the urban energy management, a hierarchical strategic decision structure is proposed. More in detail, a two-level decentralized programming model integrates several decision making units (decision panels), each focusing on the energy optimization of a specific urban subsystem. We focus on the presentation of the street lighting decision panel and on its application to the energy management of the public lighting of the city of Bari (Italy), where a smart city program has recently been launched.","PeriodicalId":6862,"journal":{"name":"2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA)","volume":"46 1","pages":"1-6"},"PeriodicalIF":0.0,"publicationDate":"2015-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84755769","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}
Pub Date : 2015-10-26DOI: 10.1109/ETFA.2015.7301495
Petr Kadera, Petr Novák
Industry 4.0 compliant Multi-Agent Systems (MAS) rely on a modular structure of applications. However, there is a lack of efficient methods to identify the performance limits of MAS, such as response time or system throughput. This methodological gap complicates the design of commercial MAS with strict performance requirements. This paper (i) proposes a method for automatic compilation of performance models from system logs and (ii) introduces methods based on Queueing Networks to identify the performance limits of a MAS. The outcome of the method is a semi-automatically assembled Queueing Network. It is a mathematical abstraction for modeling and simulation of system performance, which is consequently used by the system developer to validate that the MAS meets the performance requirements. The proposed method is demonstrated on a test-bed made of six minicomputers Raspberry Pi that host agents implemented in Jade Environment. This method brings the future modular industrial systems with emergent behavioral patterns nearer to broad acceptance by industrial enterprises.
{"title":"Automatic compilation of performance models for industrial Multi-Agent Systems","authors":"Petr Kadera, Petr Novák","doi":"10.1109/ETFA.2015.7301495","DOIUrl":"https://doi.org/10.1109/ETFA.2015.7301495","url":null,"abstract":"Industry 4.0 compliant Multi-Agent Systems (MAS) rely on a modular structure of applications. However, there is a lack of efficient methods to identify the performance limits of MAS, such as response time or system throughput. This methodological gap complicates the design of commercial MAS with strict performance requirements. This paper (i) proposes a method for automatic compilation of performance models from system logs and (ii) introduces methods based on Queueing Networks to identify the performance limits of a MAS. The outcome of the method is a semi-automatically assembled Queueing Network. It is a mathematical abstraction for modeling and simulation of system performance, which is consequently used by the system developer to validate that the MAS meets the performance requirements. The proposed method is demonstrated on a test-bed made of six minicomputers Raspberry Pi that host agents implemented in Jade Environment. This method brings the future modular industrial systems with emergent behavioral patterns nearer to broad acceptance by industrial enterprises.","PeriodicalId":6862,"journal":{"name":"2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA)","volume":"38 1","pages":"1-8"},"PeriodicalIF":0.0,"publicationDate":"2015-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85065437","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}
Pub Date : 2015-10-26DOI: 10.1109/ETFA.2015.7301505
H. Kashif, Johnson J. Thomas, Hiren D. Patel, S. Fischmeister
Real-time embedded programs are time sensitive and, to trace such programs, the instrumentation mechanism must honor the programs' timing constraints. We present a time-aware instrumentation technique that injects program code with slack-based conditional instrumentation. The central idea is to execute instrumentation code only when its execution does not increase the worst-case execution time beyond a program's deadline. This occurs at run-time. Unlike previous efforts, this work allows instrumenting on the path that results in the worst-case execution time of the program. We propose a software, and a hardware method of allowing for slack-based conditional instrumentation. We evaluate and compare these two alternatives using a common benchmark suite for real-time systems. Our results show that, on average, the two proposed methods achieve 57% and 80% instrumentation coverage, respectively, compared to only a 3% coverage by previous work.
{"title":"Static slack-based instrumentation of programs","authors":"H. Kashif, Johnson J. Thomas, Hiren D. Patel, S. Fischmeister","doi":"10.1109/ETFA.2015.7301505","DOIUrl":"https://doi.org/10.1109/ETFA.2015.7301505","url":null,"abstract":"Real-time embedded programs are time sensitive and, to trace such programs, the instrumentation mechanism must honor the programs' timing constraints. We present a time-aware instrumentation technique that injects program code with slack-based conditional instrumentation. The central idea is to execute instrumentation code only when its execution does not increase the worst-case execution time beyond a program's deadline. This occurs at run-time. Unlike previous efforts, this work allows instrumenting on the path that results in the worst-case execution time of the program. We propose a software, and a hardware method of allowing for slack-based conditional instrumentation. We evaluate and compare these two alternatives using a common benchmark suite for real-time systems. Our results show that, on average, the two proposed methods achieve 57% and 80% instrumentation coverage, respectively, compared to only a 3% coverage by previous work.","PeriodicalId":6862,"journal":{"name":"2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA)","volume":"17 1","pages":"1-8"},"PeriodicalIF":0.0,"publicationDate":"2015-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84198458","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}
Pub Date : 2015-10-26DOI: 10.1109/ETFA.2015.7301483
L. Berardinelli, S. Biffl, E. Mätzler, Tanja Mayerhofer, M. Wimmer
System models are essential in planning, designing, realizing, and maintaining production systems. AutomationML (AML) is an emerging standard to represent and exchange heterogeneous artifacts throughout the complete system life cycle and is more and more used as a modeling language. AML is designed as a flexible, prototype-based language able to represent the full spectrum of different artifacts. It may be utilized to build reusable libraries containing prototypical elements to build up production systems by using clones. However, libraries have to evolve over time, e.g., to reflect bug fixes, new features or refactorings, and so system models have to co-evolve to reflect the changes in the libraries. To tackle this co-evolution challenge, we specify in this paper the relationship between library elements, i.e., prototypes, and system elements, i.e., clones, by establishing a formal model for prototype-based modeling languages. Based on this formalization, we introduce several levels of consistency rigor one may want to achieve when modeling with prototype-based languages. These levels are also the main input to reason about the impact of library changes on the concrete system models for which we provide semi-automated co-evolution propagation strategies. We apply the established theory to the concrete AML case and present concrete tool support for evolving AML models based on Eclipse which demonstrates that consistency between system models and libraries may be maintained semi-automatically.
{"title":"Model-based co-evolution of production systems and their libraries with AutomationML","authors":"L. Berardinelli, S. Biffl, E. Mätzler, Tanja Mayerhofer, M. Wimmer","doi":"10.1109/ETFA.2015.7301483","DOIUrl":"https://doi.org/10.1109/ETFA.2015.7301483","url":null,"abstract":"System models are essential in planning, designing, realizing, and maintaining production systems. AutomationML (AML) is an emerging standard to represent and exchange heterogeneous artifacts throughout the complete system life cycle and is more and more used as a modeling language. AML is designed as a flexible, prototype-based language able to represent the full spectrum of different artifacts. It may be utilized to build reusable libraries containing prototypical elements to build up production systems by using clones. However, libraries have to evolve over time, e.g., to reflect bug fixes, new features or refactorings, and so system models have to co-evolve to reflect the changes in the libraries. To tackle this co-evolution challenge, we specify in this paper the relationship between library elements, i.e., prototypes, and system elements, i.e., clones, by establishing a formal model for prototype-based modeling languages. Based on this formalization, we introduce several levels of consistency rigor one may want to achieve when modeling with prototype-based languages. These levels are also the main input to reason about the impact of library changes on the concrete system models for which we provide semi-automated co-evolution propagation strategies. We apply the established theory to the concrete AML case and present concrete tool support for evolving AML models based on Eclipse which demonstrates that consistency between system models and libraries may be maintained semi-automatically.","PeriodicalId":6862,"journal":{"name":"2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA)","volume":"71 1","pages":"1-8"},"PeriodicalIF":0.0,"publicationDate":"2015-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79919832","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}
Pub Date : 2015-10-26DOI: 10.1109/ETFA.2015.7301628
L. Simoni, M. Beschi, D. Colombo, A. Visioli, R. Adamini
In this paper we present a Hardware-In-the-Loop setup for the simulation of complex mechatronic systems. The setup consists of two coupled brushless motors. One of them is the motor under test, which is used to design the control algorithm and to test the control software, while the other one simulates the device to be controlled. Libraries of mechanical and hydraulic components have been implemented in an IEC61131-3 language so that a complex system can be simulated in a relatively easy way and this allows for a rapid control prototyping. Practical issues are discussed and an illustrative example is shown to confirm the effectiveness of the setup.
{"title":"A Hardware-In-the-Loop setup for rapid control prototyping of mechatronic systems","authors":"L. Simoni, M. Beschi, D. Colombo, A. Visioli, R. Adamini","doi":"10.1109/ETFA.2015.7301628","DOIUrl":"https://doi.org/10.1109/ETFA.2015.7301628","url":null,"abstract":"In this paper we present a Hardware-In-the-Loop setup for the simulation of complex mechatronic systems. The setup consists of two coupled brushless motors. One of them is the motor under test, which is used to design the control algorithm and to test the control software, while the other one simulates the device to be controlled. Libraries of mechanical and hydraulic components have been implemented in an IEC61131-3 language so that a complex system can be simulated in a relatively easy way and this allows for a rapid control prototyping. Practical issues are discussed and an illustrative example is shown to confirm the effectiveness of the setup.","PeriodicalId":6862,"journal":{"name":"2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA)","volume":"70 1","pages":"1-4"},"PeriodicalIF":0.0,"publicationDate":"2015-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85574948","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}
Pub Date : 2015-10-26DOI: 10.1109/ETFA.2015.7301545
Matthias Becker, H. Szczerbicka
Planning in a multi-site, non-mass production environment is a special challenge because of several sources of uncertainty. Unlike in mass production facilities, in our setting the current state at all sites cannot be determined easily and exactly due to the spatial distribution of sites and the low degree of automation. For re-planning in case of failures, the possible alternative actions have to be formalized on the decision making facility, where the possible alternatives will then be determined and evaluated. In this work, we will present the necessary components for an automated evaluation of alternatives and decision support procedure. The main challenges are the formalization of product plans including alternative steps and the non-automated collection or assessment of the distributed system state of all sites. In our experiments we evaluate different state update intervals and the effect on prediction accuracy. It turns out, that even sparse updates show significant improvement on the production time in comparison to only local static decisions.
{"title":"On the influence of state update interval length on the prediction success of decision support system in multi-site production environment","authors":"Matthias Becker, H. Szczerbicka","doi":"10.1109/ETFA.2015.7301545","DOIUrl":"https://doi.org/10.1109/ETFA.2015.7301545","url":null,"abstract":"Planning in a multi-site, non-mass production environment is a special challenge because of several sources of uncertainty. Unlike in mass production facilities, in our setting the current state at all sites cannot be determined easily and exactly due to the spatial distribution of sites and the low degree of automation. For re-planning in case of failures, the possible alternative actions have to be formalized on the decision making facility, where the possible alternatives will then be determined and evaluated. In this work, we will present the necessary components for an automated evaluation of alternatives and decision support procedure. The main challenges are the formalization of product plans including alternative steps and the non-automated collection or assessment of the distributed system state of all sites. In our experiments we evaluate different state update intervals and the effect on prediction accuracy. It turns out, that even sparse updates show significant improvement on the production time in comparison to only local static decisions.","PeriodicalId":6862,"journal":{"name":"2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA)","volume":"343 1","pages":"1-4"},"PeriodicalIF":0.0,"publicationDate":"2015-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79579195","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}
Pub Date : 2015-10-26DOI: 10.1109/ETFA.2015.7301581
Hyunwoo Joe, Dongwook Kang, Jin-Ah Shin, Vincent Dupre, Soo-Young Kim, Taeho Kim, Chaedeok Lim
In this paper, we introduce a remote graphics library framework based on inter-virtual-machines communication in an embedded hypervisor. With this framework, there are no causality conflicts when multiple guest operating systems share one GPU. We adopted API remoting for GPU virtualization because it has relatively small overhead when connected with OpenGL ES standard library on embedded hypervisors. Interferences from the hypervisor during synchronization between front-end and back-end can be reduced by inter-VM commutation. To make improvement on size, weight and power for embedded systems, we opted for displaying both guest operating systems on a single display panel. The presented framework is applied to a real-world embedded hypervisor used for safety-critical systems. Our implementation runs an automotive digital instrument cluster on a real-time guest operating system and an in-vehicle infotainment application on a general purpose guest operating system within the hypervisor. We found it feasible for an embedded hypervisor to provide GPU service to heterogeneous industrial guest operating systems on a single hardware platform.
{"title":"Remote graphical processing for dual display of RTOS and GPOS on an embedded hypervisor","authors":"Hyunwoo Joe, Dongwook Kang, Jin-Ah Shin, Vincent Dupre, Soo-Young Kim, Taeho Kim, Chaedeok Lim","doi":"10.1109/ETFA.2015.7301581","DOIUrl":"https://doi.org/10.1109/ETFA.2015.7301581","url":null,"abstract":"In this paper, we introduce a remote graphics library framework based on inter-virtual-machines communication in an embedded hypervisor. With this framework, there are no causality conflicts when multiple guest operating systems share one GPU. We adopted API remoting for GPU virtualization because it has relatively small overhead when connected with OpenGL ES standard library on embedded hypervisors. Interferences from the hypervisor during synchronization between front-end and back-end can be reduced by inter-VM commutation. To make improvement on size, weight and power for embedded systems, we opted for displaying both guest operating systems on a single display panel. The presented framework is applied to a real-world embedded hypervisor used for safety-critical systems. Our implementation runs an automotive digital instrument cluster on a real-time guest operating system and an in-vehicle infotainment application on a general purpose guest operating system within the hypervisor. We found it feasible for an embedded hypervisor to provide GPU service to heterogeneous industrial guest operating systems on a single hardware platform.","PeriodicalId":6862,"journal":{"name":"2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA)","volume":"158 1","pages":"1-4"},"PeriodicalIF":0.0,"publicationDate":"2015-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80009227","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}
Pub Date : 2015-10-26DOI: 10.1109/ETFA.2015.7301605
E. Rohmer, P. Pinheiro, E. Cardozo, M. Bellone, G. Reina
This paper is presenting the ongoing work toward a novel driving assistance system of a robotic wheelchair, for people paralyzed from down the neck. The user's head posture is tracked, to accordingly project a colored spot on the ground ahead, with a pan-tilt mounted laser. The laser dot on the ground represents a potential close range destination the operator wants to reach autonomously. The wheelchair is equipped with a low cost depth-camera (Kinect sensor) that models a traversability map in order to define if the designated destination is reachable or not by the chair. If reachable, the red laser dot turns green, and the operator can validate the wheelchair destination via an Electromyogram (EMG) device, detecting a specific group of muscle's contraction. This validating action triggers the calculation of a path toward the laser pointed target, based on the traversability map. The wheelchair is then controlled to follow this path autonomously. In the future, the stream of 3D point cloud acquired during the process will be used to map and self localize the wheelchair in the environment, to be able to correct the estimate of the pose derived from the wheel's encoders.
{"title":"Laser based driving assistance for smart robotic wheelchairs","authors":"E. Rohmer, P. Pinheiro, E. Cardozo, M. Bellone, G. Reina","doi":"10.1109/ETFA.2015.7301605","DOIUrl":"https://doi.org/10.1109/ETFA.2015.7301605","url":null,"abstract":"This paper is presenting the ongoing work toward a novel driving assistance system of a robotic wheelchair, for people paralyzed from down the neck. The user's head posture is tracked, to accordingly project a colored spot on the ground ahead, with a pan-tilt mounted laser. The laser dot on the ground represents a potential close range destination the operator wants to reach autonomously. The wheelchair is equipped with a low cost depth-camera (Kinect sensor) that models a traversability map in order to define if the designated destination is reachable or not by the chair. If reachable, the red laser dot turns green, and the operator can validate the wheelchair destination via an Electromyogram (EMG) device, detecting a specific group of muscle's contraction. This validating action triggers the calculation of a path toward the laser pointed target, based on the traversability map. The wheelchair is then controlled to follow this path autonomously. In the future, the stream of 3D point cloud acquired during the process will be used to map and self localize the wheelchair in the environment, to be able to correct the estimate of the pose derived from the wheel's encoders.","PeriodicalId":6862,"journal":{"name":"2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA)","volume":"48 1","pages":"1-4"},"PeriodicalIF":0.0,"publicationDate":"2015-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76193809","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}
Pub Date : 2015-10-26DOI: 10.1109/ETFA.2015.7301560
M. Martins, P. Portugal, F. Vasques
Wireless Sensor Networks (WSNs) have been widely considered as a promising solution to support different types of applications on industrial environments. Many of these applications impose strict dependability requirements, since a system failure may result in economic losses, or damage for human life or to the environment. The absence of an effective approach enabling the dependability evaluation of WSNs prevents system designers to forecast these type of scenarios or to optimize decisions regarding the criticality of the devices, network topology, levels of redundancy and network robustness that minimize the occurrence of faults. To bridge the gap between research achievements and industrial development, we present in this paper a framework to support the dependability evaluation of WSNs based on the automated generation of analytical dependability models from high level AADL (Architecture Analysis and Description Language) architecture models. The main objective of this framework is to relieve the end user from a deep knowledge of dependability modeling techniques and evaluation methods, focusing on their knowledge of the behavior and structure of the system.
{"title":"A framework to support dependability evaluation of WSNs from AADL models","authors":"M. Martins, P. Portugal, F. Vasques","doi":"10.1109/ETFA.2015.7301560","DOIUrl":"https://doi.org/10.1109/ETFA.2015.7301560","url":null,"abstract":"Wireless Sensor Networks (WSNs) have been widely considered as a promising solution to support different types of applications on industrial environments. Many of these applications impose strict dependability requirements, since a system failure may result in economic losses, or damage for human life or to the environment. The absence of an effective approach enabling the dependability evaluation of WSNs prevents system designers to forecast these type of scenarios or to optimize decisions regarding the criticality of the devices, network topology, levels of redundancy and network robustness that minimize the occurrence of faults. To bridge the gap between research achievements and industrial development, we present in this paper a framework to support the dependability evaluation of WSNs based on the automated generation of analytical dependability models from high level AADL (Architecture Analysis and Description Language) architecture models. The main objective of this framework is to relieve the end user from a deep knowledge of dependability modeling techniques and evaluation methods, focusing on their knowledge of the behavior and structure of the system.","PeriodicalId":6862,"journal":{"name":"2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA)","volume":"46 1","pages":"1-6"},"PeriodicalIF":0.0,"publicationDate":"2015-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73829033","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：