2020 IEEE/ACM 24th International Symposium on Distributed Simulation and Real Time Applications (DS-RT)最新文献_第2页

Performance Evaluation of HLA RTI Implementations HLA RTI实现的性能评价

2020 IEEE/ACM 24th International Symposium on Distributed Simulation and Real Time Applications (DS-RT) Pub Date : 2020-09-01 DOI: 10.1109/DS-RT50469.2020.9213641

Moritz Gütlein, Wojciech Baron, Christopher Renner, Anatoli Djanatliev

引用次数: 4

Real-time Feedback in Node-RED for IoT Development: An Empirical Study 面向物联网开发的Node-RED实时反馈:实证研究

2020 IEEE/ACM 24th International Symposium on Distributed Simulation and Real Time Applications (DS-RT) Pub Date : 2020-09-01 DOI: 10.1109/DS-RT50469.2020.9213544

Diogo Torres, João Pedro Dias, André Restivo, H. Ferreira

引用次数: 12

Session-level Adversary Intent-Driven Cyberattack Simulator 会话级对手意图驱动的网络攻击模拟器

2020 IEEE/ACM 24th International Symposium on Distributed Simulation and Real Time Applications (DS-RT) Pub Date : 2020-09-01 DOI: 10.1109/DS-RT50469.2020.9213690

Martin Drasar, Stephen Moskal, S. Yang, Pavol Zat'ko

引用次数: 7

Applying Faster R-CNN in Extremely Low-Resolution Thermal Images for People Detection 在极低分辨率热图像中应用更快的R-CNN进行人物检测

2020 IEEE/ACM 24th International Symposium on Distributed Simulation and Real Time Applications (DS-RT) Pub Date : 2020-09-01 DOI: 10.1109/DS-RT50469.2020.9213609

Diego M. Jiménez-Bravo, Pierre Masala Mutombo, B. Braem, J. Márquez-Barja

引用次数: 5

SEMRP: an Energy-efficient Multicast Routing Protocol for UAV Swarms 无人机群的高效组播路由协议

2020 IEEE/ACM 24th International Symposium on Distributed Simulation and Real Time Applications (DS-RT) Pub Date : 2020-09-01 DOI: 10.1109/DS-RT50469.2020.9213700

Youssra Cheriguene, Soumia Djellikh, Fatima Zohra Bousbaa, N. Lagraa, Abderrahmane Lakas, Kerrache Chaker Abdelaziz, Abdou el Karim Tahari

{"title":"SEMRP: an Energy-efficient Multicast Routing Protocol for UAV Swarms","authors":"Youssra Cheriguene, Soumia Djellikh, Fatima Zohra Bousbaa, N. Lagraa, Abderrahmane Lakas, Kerrache Chaker Abdelaziz, Abdou el Karim Tahari","doi":"10.1109/DS-RT50469.2020.9213700","DOIUrl":"https://doi.org/10.1109/DS-RT50469.2020.9213700","url":null,"abstract":"The deployment of a swarm of cooperative UAVs applications for the execution of distributed tasks has increased attention from both academia and industry researchers. The use of a group of UAVs instead of one single UAV offers many advantages like extending the mission coverage, providing a reliable ad-hoc networks services, and enhancing the service performance, to name a few. However, due to the highly dynamic nature of the swarm topology, the coordination of a large number of UAVs poses new challenges to traditional inter-UAV communication protocols. Therefore, there is a need for the design of new networking protocols that can efficiently support the fast-pace and real-time requirements of a coordinated swarm navigation in various environments. In this paper, we propose SEMRP a Swarm energy-efficient multicast routing protocol for UAVs flying in group formations. The main purpose of SEMRP is to facilitate the control and information delivery between UAVs while minimizing inter-UAV packet loss, packet re-transmission, and end-to-end delay. In this study we show how SEMRP achieves these objectives by taking into account various Quality-of-Service parameters like the network throughput, the UAVs mobility, and energy efficiency to ensure a timely and accurate information delivery to all members of a UAV swarm. The results of the conducted simulation using NS-2 advocate for the efficiency of our proposal through its to two presented versions (SEMRP-v1 and SEMRP-v2) in term of reducing the total emission energy (at least by 10 dBm), optimizing the End-to-End Delay by 44%, and increasing the packet delivery ratio by more than to 22% compared to SP-GMRF protocol.","PeriodicalId":149260,"journal":{"name":"2020 IEEE/ACM 24th International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130748272","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

An Energy Management System at the Edge based on Reinforcement Learning 基于强化学习的边缘能量管理系统

2020 IEEE/ACM 24th International Symposium on Distributed Simulation and Real Time Applications (DS-RT) Pub Date : 2020-09-01 DOI: 10.1109/DS-RT50469.2020.9213697

F. Cicirelli, Antonio Francesco Gentile, E. Greco, A. Guerrieri, G. Spezzano, Andrea Vinci

引用次数: 4

Pitfalls and Remedies in Modeling and Simulation of Cyber Physical Systems 网络物理系统建模与仿真中的缺陷与补救

2020 IEEE/ACM 24th International Symposium on Distributed Simulation and Real Time Applications (DS-RT) Pub Date : 2020-09-01 DOI: 10.1109/DS-RT50469.2020.9213663

A. Falcone, A. Garro

引用次数: 4

A New Mobility Samples Encoding Scheme Based on Pairing Functions and Data Analytics 基于配对函数和数据分析的移动样本编码新方案

2020 IEEE/ACM 24th International Symposium on Distributed Simulation and Real Time Applications (DS-RT) Pub Date : 2020-09-01 DOI: 10.1109/DS-RT50469.2020.9213601

P. Fazio, M. Mehic, P. Partila, J. Továrek, M. Voznák

{"title":"A New Mobility Samples Encoding Scheme Based on Pairing Functions and Data Analytics","authors":"P. Fazio, M. Mehic, P. Partila, J. Továrek, M. Voznák","doi":"10.1109/DS-RT50469.2020.9213601","DOIUrl":"https://doi.org/10.1109/DS-RT50469.2020.9213601","url":null,"abstract":"In the modern telecommunication systems, mobility is one of the key advantage of wireless communications, given that it is possible to transmit/receive data, without caring of having a static position into the network. Of course, mobility poses special issues such as degradations, channel quality fluctuations, fast topology changes, and so on. Modern researches focus their attention on predicting mobile future node positions, in order to a-priori know, for example, what the evolution of the network topology will be or which level of stability each node will reach. Each prediction scheme is based on the storage and analysis of several historical mobility trajectories, in order to train the proper prediction algorithm. In this paper, we focus our attention on the optimization of the space needed to store historical mobility samples, encoding their values and evaluating the conversion error, comparing different encoding functions. Several simulation campaigns have been carried out in order to evaluate the goodness and feasibility of our proposal.","PeriodicalId":149260,"journal":{"name":"2020 IEEE/ACM 24th International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123471698","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

Model Checking Actor-based Cyber-Physical Systems 基于参与者的网络物理系统模型检查

2020 IEEE/ACM 24th International Symposium on Distributed Simulation and Real Time Applications (DS-RT) Pub Date : 2020-09-01 DOI: 10.1109/DS-RT50469.2020.9213705

F. Cicirelli, L. Nigro

{"title":"Model Checking Actor-based Cyber-Physical Systems","authors":"F. Cicirelli, L. Nigro","doi":"10.1109/DS-RT50469.2020.9213705","DOIUrl":"https://doi.org/10.1109/DS-RT50469.2020.9213705","url":null,"abstract":"Cyber-physical systems (CPSs) integrate continuous behavior of a physical controlled plant with discrete behavior provided by a controlling cyber (software) part. The integration is challenging because continuous, Newtonian time of the physical part needs be reconciled with discrete time of the cyber part. In this work, the event-based asynchronous actors of Theatre extended with continuous modes, are used for modelling and analyzing CPSs. Continuous modes capture the dynamic laws (ODEs) of variation of physical/environmental variables. Theatre is control-based and distributed. It is implemented in Java, which is used both as the modelling language and as the target implementation language. Specific control forms were developed for simulating a distributed CPS and for assessing its functional/temporal behavior. Continuous modes exploit suitable ODE solvers to predict the future values of selected variables at specific time points. Although classical actors depend on non-deterministic message passing, a Theatre model can be designed to have a deterministic behavior. A hybrid Theatre model can be analyzed by exhaustive model checking by having, for instance, that the computations of the ODE solvers are, preliminarily, offline collected and reused during verification. This paper describes Theatre, summarizes its operational semantics and illustrates a model reduction onto Uppaal timed automata. Then an automotive deterministic model based on both wired and Controller Area Network transmitted messages is presented and thoroughly analysed.","PeriodicalId":149260,"journal":{"name":"2020 IEEE/ACM 24th International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"1710 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129426418","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

Simulation and Digital Twin Support for Managed Drone Applications 管理无人机应用的仿真和数字孪生支持

2020 IEEE/ACM 24th International Symposium on Distributed Simulation and Real Time Applications (DS-RT) Pub Date : 2020-09-01 DOI: 10.1109/DS-RT50469.2020.9213676

Nasos Grigoropoulos, S. Lalis

{"title":"Simulation and Digital Twin Support for Managed Drone Applications","authors":"Nasos Grigoropoulos, S. Lalis","doi":"10.1109/DS-RT50469.2020.9213676","DOIUrl":"https://doi.org/10.1109/DS-RT50469.2020.9213676","url":null,"abstract":"As drone technology passes one milestone after the other, drones are used in an ever-increasing number of applications and are now considered as an integral part of the future smart city infrastructure. At the same time, the inherent safety and privacy risks associated with drone-based applications call for appropriate testing and monitoring tools. In this paper, we present a simulation environment and digital twin support for a platform that allows the managed execution of drone-based applications on top of a shared drone infrastructure. On the one hand, the simulation environment makes it possible to perform a wide range of tests regarding the operation of both the platform itself and the applications that run on top of it, before deploying them in the real world. On the other hand, after deployment, a digital twin of the drone is used to detect deviations of the application from the expected behavior, which, in turn, can serve as an indication of bugs that remained undetected during the simulation tests or malfunctions that occur at runtime. We discuss the most important elements of our approach and the simulation and digital twin components of the proposed system. Also, we provide a functional evaluation of our work by presenting its capabilities regarding both offline testing and runtime checking through indicative use cases.","PeriodicalId":149260,"journal":{"name":"2020 IEEE/ACM 24th International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131030618","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