Pub Date : 2019-10-01DOI: 10.1109/DS-RT47707.2019.8958682
M. Sirjani, E. Khamespanah, F. Ghassemi
In this paper we explain how the isolation or decoupling of actors can help in developing efficient analysis techniques. The Reactive Object Language, Rebeca, and its timed extension are introduced as actor-based languages for modeling and analyzing distributed systems. We show how floating-time transition system can be used for model checking of timed actor models when we are interested in event-based properties, and how it helps in state space reduction. We explain how the model of computation of actors helps in devising an efficient state distribution policy in distributed model checking. We show how we use Rebeca to verify the routing algorithms of mobile adhoc networks. The paper is written in a way to make the ideas behind each technique clear such that it can be reused in similar domains.
{"title":"Reactive Actors: Isolation for Efficient Analysis of Distributed Systems","authors":"M. Sirjani, E. Khamespanah, F. Ghassemi","doi":"10.1109/DS-RT47707.2019.8958682","DOIUrl":"https://doi.org/10.1109/DS-RT47707.2019.8958682","url":null,"abstract":"In this paper we explain how the isolation or decoupling of actors can help in developing efficient analysis techniques. The Reactive Object Language, Rebeca, and its timed extension are introduced as actor-based languages for modeling and analyzing distributed systems. We show how floating-time transition system can be used for model checking of timed actor models when we are interested in event-based properties, and how it helps in state space reduction. We explain how the model of computation of actors helps in devising an efficient state distribution policy in distributed model checking. We show how we use Rebeca to verify the routing algorithms of mobile adhoc networks. The paper is written in a way to make the ideas behind each technique clear such that it can be reused in similar domains.","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123071635","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 : 2019-10-01DOI: 10.1109/DS-RT47707.2019.8958674
Zijie Liang, F. Sedighi, A. Balador
Nowadays, road traffic management is becoming a major challenge for realistic society. As a result, reliable communication between vehicles is the key point to this challenge. Currently, IEEE802.11p which is considered as de facto standard for road communication is designed to solve this challenge. However, the communication channel medium is still expected to get congested when a large number of vehicles exist. Target to solve this, European Telecommunication Standards Institute (ETSI) has standardized a set of Decentralized Congestion Control (DCC) mechanisms to control channel load. One of the main topics is achieving channel load control to guarantee reliable communication for platooning systems. In this paper, we focus on investigating on DCC reactive control approaches, aiming to provide comprehensive insights of how DCC framework transmission parameters, i.e. message generation rate, transmission power and data rate, will impact the stability of platooning systems. Besides, for each instance of the transmission parameter, we target to optimize the parameter and propose more stable control algorithms by running repetitive simulations.
{"title":"Evaluation and optimization of Decentralized Congestion Control Algorithms for Vehicular Networks","authors":"Zijie Liang, F. Sedighi, A. Balador","doi":"10.1109/DS-RT47707.2019.8958674","DOIUrl":"https://doi.org/10.1109/DS-RT47707.2019.8958674","url":null,"abstract":"Nowadays, road traffic management is becoming a major challenge for realistic society. As a result, reliable communication between vehicles is the key point to this challenge. Currently, IEEE802.11p which is considered as de facto standard for road communication is designed to solve this challenge. However, the communication channel medium is still expected to get congested when a large number of vehicles exist. Target to solve this, European Telecommunication Standards Institute (ETSI) has standardized a set of Decentralized Congestion Control (DCC) mechanisms to control channel load. One of the main topics is achieving channel load control to guarantee reliable communication for platooning systems. In this paper, we focus on investigating on DCC reactive control approaches, aiming to provide comprehensive insights of how DCC framework transmission parameters, i.e. message generation rate, transmission power and data rate, will impact the stability of platooning systems. Besides, for each instance of the transmission parameter, we target to optimize the parameter and propose more stable control algorithms by running repetitive simulations.","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129076248","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 : 2019-10-01DOI: 10.1109/DS-RT47707.2019.8958698
Cristina Desogus, M. Fadda, S. Pizzi, Giacomo Genovese, M. Murroni
5th-Generation (5G) applications require high data rates and Quality of Service (QoS) levels. Mobile devices can access the Internet exploiting several technologies, as for example Long Term Evolution (LTE) or Wireless Fidelity (WiFi). In this context, the heterogeneous network (HetNet) paradigm has been introduced to allow the coexistence of devices and services with different characteristics assuring a high QoS level to users with-out modifying resource distribution and management. Several access network selection methods have been proposed showing the limitation of not considering both the type of traffic for the service requested by users and the characteristics of devices. To overcome this limitation, a new HetNet selection method based on additive logarithmic weighting (ALW) algorithm is presented in this paper, combining information related to the received signal power, network load, and mobility of users.
第五代(5G)应用需要高数据速率和QoS (Quality of Service)级别。移动设备可以利用多种技术访问互联网，例如长期演进(LTE)或无线保真度(WiFi)。在这种情况下，引入了异构网络(HetNet)范式，以允许具有不同特征的设备和服务共存，确保在不修改资源分配和管理的情况下为用户提供高QoS水平。已经提出的几种接入网选择方法显示出不同时考虑用户请求的业务流量类型和设备特性的局限性。为了克服这一限制，本文结合接收信号功率、网络负载和用户移动性等相关信息，提出了一种新的基于加性对数加权(ALW)算法的HetNet选择方法。
{"title":"Additive Logarithmic Weighting HetNet Selection Method for Video Services over 5G Networks","authors":"Cristina Desogus, M. Fadda, S. Pizzi, Giacomo Genovese, M. Murroni","doi":"10.1109/DS-RT47707.2019.8958698","DOIUrl":"https://doi.org/10.1109/DS-RT47707.2019.8958698","url":null,"abstract":"5th-Generation (5G) applications require high data rates and Quality of Service (QoS) levels. Mobile devices can access the Internet exploiting several technologies, as for example Long Term Evolution (LTE) or Wireless Fidelity (WiFi). In this context, the heterogeneous network (HetNet) paradigm has been introduced to allow the coexistence of devices and services with different characteristics assuring a high QoS level to users with-out modifying resource distribution and management. Several access network selection methods have been proposed showing the limitation of not considering both the type of traffic for the service requested by users and the characteristics of devices. To overcome this limitation, a new HetNet selection method based on additive logarithmic weighting (ALW) algorithm is presented in this paper, combining information related to the received signal power, network load, and mobility of users.","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124437907","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 : 2019-10-01DOI: 10.1109/DS-RT47707.2019.8958708
Armir Bujari, J. Gottardo, C. Palazzi, D. Ronzani
The actual advent of autonomous vehicles and the general improvement of traffic safety pass through quick and reliable message dissemination in a certain Area of Interest (AoI). Message dissemination among the vehicles composing an Internet of Vehicles (IoV) is of paramount importance and has to make use of fast and efficient multi-hop message forwarding to broadcast information. While most of existing works focus only on simple car platooning scenarios (e.g., a highway), we discuss here a fast multi-hop broadcast protocol able to quickly and reliably propagate an alert message even in general 2D (and 3D) topology scenarios.
{"title":"Message Dissemination in Urban IoV","authors":"Armir Bujari, J. Gottardo, C. Palazzi, D. Ronzani","doi":"10.1109/DS-RT47707.2019.8958708","DOIUrl":"https://doi.org/10.1109/DS-RT47707.2019.8958708","url":null,"abstract":"The actual advent of autonomous vehicles and the general improvement of traffic safety pass through quick and reliable message dissemination in a certain Area of Interest (AoI). Message dissemination among the vehicles composing an Internet of Vehicles (IoV) is of paramount importance and has to make use of fast and efficient multi-hop message forwarding to broadcast information. While most of existing works focus only on simple car platooning scenarios (e.g., a highway), we discuss here a fast multi-hop broadcast protocol able to quickly and reliably propagate an alert message even in general 2D (and 3D) topology scenarios.","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"507 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134422929","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 : 2019-10-01DOI: 10.1109/ds-rt47707.2019.8958657
{"title":"[Copyright notice]","authors":"","doi":"10.1109/ds-rt47707.2019.8958657","DOIUrl":"https://doi.org/10.1109/ds-rt47707.2019.8958657","url":null,"abstract":"","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131762000","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 : 2019-10-01DOI: 10.1109/DS-RT47707.2019.8958662
M. Tropea, G. Fedele
This paper presents a comparison between five different classifiers (Multi-class Logistic Regression (MLR), Support Vector Machine (SVM), k-Nearest Neighbor (kNN), Random Forest (RF) and Gaussian Naive Bayes (GNB)) to be used in a Convolutional Neural Network (CNN) in order to perform images classification. For our experiments we have used a dataset composed of images of objects belonging to 256 widely varied categories called Caltech 256.
{"title":"Classifiers Comparison for Convolutional Neural Networks (CNNs) in Image Classification","authors":"M. Tropea, G. Fedele","doi":"10.1109/DS-RT47707.2019.8958662","DOIUrl":"https://doi.org/10.1109/DS-RT47707.2019.8958662","url":null,"abstract":"This paper presents a comparison between five different classifiers (Multi-class Logistic Regression (MLR), Support Vector Machine (SVM), k-Nearest Neighbor (kNN), Random Forest (RF) and Gaussian Naive Bayes (GNB)) to be used in a Convolutional Neural Network (CNN) in order to perform images classification. For our experiments we have used a dataset composed of images of objects belonging to 256 widely varied categories called Caltech 256.","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132811589","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 : 2019-10-01DOI: 10.1109/DS-RT47707.2019.8958692
F. Rango, P. Raimondo, Danilo Amendola
Platooning in VANET context is gaining a lot of interest in the last years. In order to support properly the car platooning multiple simulation modules need to be integrated to consider a different car mobility model, a different sensor equipment management on board. In this paper, an overview of the main simulator modules to support platooning are presented and a simple platooning management protocol has been proposed in order to improve the performance of electrical vehicles from an energetic point of view.
{"title":"Extending SUMO and PLEXE Simulator Modules to Consider Energy Consumption in Platooning Management in VANET","authors":"F. Rango, P. Raimondo, Danilo Amendola","doi":"10.1109/DS-RT47707.2019.8958692","DOIUrl":"https://doi.org/10.1109/DS-RT47707.2019.8958692","url":null,"abstract":"Platooning in VANET context is gaining a lot of interest in the last years. In order to support properly the car platooning multiple simulation modules need to be integrated to consider a different car mobility model, a different sensor equipment management on board. In this paper, an overview of the main simulator modules to support platooning are presented and a simple platooning management protocol has been proposed in order to improve the performance of electrical vehicles from an energetic point of view.","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130932830","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 : 2019-10-01DOI: 10.1109/DS-RT47707.2019.8958664
Armir Bujari, L. Donatiello, G. Marfia, C. Palazzi
In this paper we propose a theoretical model, which may be put to good use to analyze the energy consumption of a smartphone where a random number of different applications are assumed to run, for random intervals of time, consuming the available energy resources. The problem is formulated in terms of the following mobile application(s) parameters, namely: (i) the maximum possible running time, (ii) the average amount of energy consumed per time unit while running, (iii) the average number of apps that are employed during a given smartphone’s usage. The model is solved in terms of the probability distribution function of the energy consumed on a given smartphone. The proposed model is then validated by simulation means, in order to prove its applicability in quantifying the amount of energy consumed.
{"title":"Modeling the energy consumption of mobile apps","authors":"Armir Bujari, L. Donatiello, G. Marfia, C. Palazzi","doi":"10.1109/DS-RT47707.2019.8958664","DOIUrl":"https://doi.org/10.1109/DS-RT47707.2019.8958664","url":null,"abstract":"In this paper we propose a theoretical model, which may be put to good use to analyze the energy consumption of a smartphone where a random number of different applications are assumed to run, for random intervals of time, consuming the available energy resources. The problem is formulated in terms of the following mobile application(s) parameters, namely: (i) the maximum possible running time, (ii) the average amount of energy consumed per time unit while running, (iii) the average number of apps that are employed during a given smartphone’s usage. The model is solved in terms of the probability distribution function of the energy consumed on a given smartphone. The proposed model is then validated by simulation means, in order to prove its applicability in quantifying the amount of energy consumed.","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"122 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134628217","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 : 2019-10-01DOI: 10.1109/DS-RT47707.2019.8958665
Anselm Erdmann, H. Çakmak, U. Kühnapfel, V. Hagenmeyer
By combining several existing simulators, co-simulation approaches are designed for efficient simulator development. Especially for energy systems integration simulations involving different physical domains, co-simulation is the required approach. However, co-simulation setup is complex, time-consuming, and additionally, error-prone for large simulations, especially if visualizations are included. Therefore, for an intensive information exchange between simulators, the present paper introduces a new network-based communication concept including the co-simulation setup procedure. The proposed setup concept enables an efficient configuration for the coupling of distributed simulation modules. The evaluation of the implemented concept on an exemplary power grid simulation with integration of power-to-gas and gas-to-power components and power grid visualization shows the ability for efficient handling of a high amount of exchanged simulation data.
{"title":"A New Communication Concept for Efficient Configuration of Energy Systems Integration Co-Simulation","authors":"Anselm Erdmann, H. Çakmak, U. Kühnapfel, V. Hagenmeyer","doi":"10.1109/DS-RT47707.2019.8958665","DOIUrl":"https://doi.org/10.1109/DS-RT47707.2019.8958665","url":null,"abstract":"By combining several existing simulators, co-simulation approaches are designed for efficient simulator development. Especially for energy systems integration simulations involving different physical domains, co-simulation is the required approach. However, co-simulation setup is complex, time-consuming, and additionally, error-prone for large simulations, especially if visualizations are included. Therefore, for an intensive information exchange between simulators, the present paper introduces a new network-based communication concept including the co-simulation setup procedure. The proposed setup concept enables an efficient configuration for the coupling of distributed simulation modules. The evaluation of the implemented concept on an exemplary power grid simulation with integration of power-to-gas and gas-to-power components and power grid visualization shows the ability for efficient handling of a high amount of exchanged simulation data.","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129727054","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 : 2019-10-01DOI: 10.1109/DS-RT47707.2019.8958663
A. S. Nair, L. Colaco, Geeta Patil, B. Raveendran, S. Punnekkat
Multi-core systems are the potential enablers of the overwhelming growth of mixed criticality systems. There exist challenges to the widespread usage of multi-core in mixed criticality systems due to the non-predictive resource access timings. In this work, we present a Last Level Cache (LLC) access control mechanism, MEDIATOR that guarantees high criticality job executions without deadline misses for multi-core mixed-criticality systems. In MEDIATOR, the LLC access requests of lower criticality jobs are honored, if and only if there exists adequate slack for higher criticality jobs. The legacy First-In, First-Out (FIFO) arbiter has high deadline miss probability for high criticality jobs. The MEDIATOR behaves differently from legacy arbiter only when slack of higher criticality jobs is less. It guarantees successful execution of higher criticality jobs by blocking low criticality jobs. The experimental evaluation with software simulation and hardware implementation confirms the successful completion of high criticality jobs with LLC contention by honoring low criticality jobs whenever possible. Simulation results with the help of synthetic benchmark suites show successful completion of high criticality jobs at a high workload where legacy arbiter fails. The hardware design synthesized in Cadence using Genus Synthesis Solution 17.21 shows that MEDIATOR takes negligibly small time and energy overhead to achieve the same.
{"title":"MEDIATOR - A Mixed Criticality Deadline Honored Arbiter for Multi-core Real-time Systems","authors":"A. S. Nair, L. Colaco, Geeta Patil, B. Raveendran, S. Punnekkat","doi":"10.1109/DS-RT47707.2019.8958663","DOIUrl":"https://doi.org/10.1109/DS-RT47707.2019.8958663","url":null,"abstract":"Multi-core systems are the potential enablers of the overwhelming growth of mixed criticality systems. There exist challenges to the widespread usage of multi-core in mixed criticality systems due to the non-predictive resource access timings. In this work, we present a Last Level Cache (LLC) access control mechanism, MEDIATOR that guarantees high criticality job executions without deadline misses for multi-core mixed-criticality systems. In MEDIATOR, the LLC access requests of lower criticality jobs are honored, if and only if there exists adequate slack for higher criticality jobs. The legacy First-In, First-Out (FIFO) arbiter has high deadline miss probability for high criticality jobs. The MEDIATOR behaves differently from legacy arbiter only when slack of higher criticality jobs is less. It guarantees successful execution of higher criticality jobs by blocking low criticality jobs. The experimental evaluation with software simulation and hardware implementation confirms the successful completion of high criticality jobs with LLC contention by honoring low criticality jobs whenever possible. Simulation results with the help of synthetic benchmark suites show successful completion of high criticality jobs at a high workload where legacy arbiter fails. The hardware design synthesized in Cadence using Genus Synthesis Solution 17.21 shows that MEDIATOR takes negligibly small time and energy overhead to achieve the same.","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"144 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130780204","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
扫码关注我们
求助内容：
应助结果提醒方式：