Pub Date : 2019-10-01DOI: 10.1109/DS-RT47707.2019.8958671
Moritz Gütlein, R. German, Anatoli Djanatliev
The increasing precision in simulation models leads to a high computational effort. In general, parallel and distributed simulation is one technique to speed up a simulation to an acceptable runtime. Depending on the simulation model, the suitability of a parallel or distributed simulation varies. This applies also to coupled V2X simulations, where distributed computation may help to increase performance drastically. In this work, we identify opportunities and possibilities regarding distributed V2X simulations. Therefore, we describe and evaluate an approach to distribute multiple instances of the well-known Veins framework that are interacting and running concurrently. The instances are coupled using a hybrid co-simulation framework based on the High Level Architecture. With increasing traffic load, a higher speedup can be measured.
{"title":"Performance Gains in V2X Experiments Using Distributed Simulation in the Veins Framework","authors":"Moritz Gütlein, R. German, Anatoli Djanatliev","doi":"10.1109/DS-RT47707.2019.8958671","DOIUrl":"https://doi.org/10.1109/DS-RT47707.2019.8958671","url":null,"abstract":"The increasing precision in simulation models leads to a high computational effort. In general, parallel and distributed simulation is one technique to speed up a simulation to an acceptable runtime. Depending on the simulation model, the suitability of a parallel or distributed simulation varies. This applies also to coupled V2X simulations, where distributed computation may help to increase performance drastically. In this work, we identify opportunities and possibilities regarding distributed V2X simulations. Therefore, we describe and evaluate an approach to distribute multiple instances of the well-known Veins framework that are interacting and running concurrently. The instances are coupled using a hybrid co-simulation framework based on the High Level Architecture. With increasing traffic load, a higher speedup can be measured.","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"71 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":"114370910","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.8958658
M. Tropea, P. Fazio
Unmanned aerial vehicles are devices able to perform many different tasks that can help human activity in many processes. One of the most important use regards the possibility of giving wireless connectivity to user in a specific area. These new typologies of networks are called Flying Adhoc Network. Their use benefit all those situations of emergency where the traditional communications may have many issues, due to the specific event. Different types of natural disasters (such as climatological, meteorological, hydrological, geophysical) can result in many deaths and many economic damages. In these situations, drones can provide an additional or complementary access network, supporting web services and multimedia traffic, helping people involved in the rescue. Hence, it is clear that the possibility of using a simulator can result in a huge help to the research community. So, in this work, a Flying Ad-hoc Network simulator is proposed, able to simulate different scenarios with different coverage areas. In particular, emphasis is given to new coverage and human mobility models, in order to support more realistic situations. Some simulations have been led out to show how the simulator works.
{"title":"A Simulator for Creating Drones Networks and Providing Users Connectivity","authors":"M. Tropea, P. Fazio","doi":"10.1109/DS-RT47707.2019.8958658","DOIUrl":"https://doi.org/10.1109/DS-RT47707.2019.8958658","url":null,"abstract":"Unmanned aerial vehicles are devices able to perform many different tasks that can help human activity in many processes. One of the most important use regards the possibility of giving wireless connectivity to user in a specific area. These new typologies of networks are called Flying Adhoc Network. Their use benefit all those situations of emergency where the traditional communications may have many issues, due to the specific event. Different types of natural disasters (such as climatological, meteorological, hydrological, geophysical) can result in many deaths and many economic damages. In these situations, drones can provide an additional or complementary access network, supporting web services and multimedia traffic, helping people involved in the rescue. Hence, it is clear that the possibility of using a simulator can result in a huge help to the research community. So, in this work, a Flying Ad-hoc Network simulator is proposed, able to simulate different scenarios with different coverage areas. In particular, emphasis is given to new coverage and human mobility models, in order to support more realistic situations. Some simulations have been led out to show how the simulator works.","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"30 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":"125539511","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.8958651
{"title":"[DS-RT 2019 Title Page]","authors":"","doi":"10.1109/ds-rt47707.2019.8958651","DOIUrl":"https://doi.org/10.1109/ds-rt47707.2019.8958651","url":null,"abstract":"","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":"114973260","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.8958693
A. Boukerche
Every year, natural and human-induced disasters result in infrastructural damages, monetary costs, distresses, injuries and deaths. Unfortunately, climate change is strengthening the destructive power of natural disasters. In this context, distributed simulation-based disaster management and response systems have been proposed to cope with disasters and emergencies by training first responder with the latest ICT technology, and improving the disaster detection and search/rescue missions during disaster response. With the recent advances in wireless communication, and the proliferation of portable computer and micro-sensor devices, we are witnessing a growing interest in using wireless multimedia sensor networks and collaborative virtual environment technologies for safety and security class of applications. In this talk, we will give an overview of some research projects related to smart emergency preparedness and response that are currently being investigated at the PARADISE Research Laboratory at the Ottawa. We will show how collaborative virtual environment, context aware computing, wireless multimedia, and wireless sensor networks can be used to ensure public safety and security. We will focus upon the design of large-scale distributed simulation system for applications that require critical condition monitoring using both location/context aware computing and wireless sensor technologies. The second part of the talk will conclude by presenting two testbeds that are currently under development at PARADISE: the LIVE testbed, and the SWiMNet testbed. LIVE is a testbed for applications that require emergency preparedness and response. LIVE’s architecture integrates wireless sensor networks with wireless multimedia and virtual environment technologies. SWiMNet is a testbed of a high-performance simulation system that supports very detailed and realistic model specifications to enable the design and evaluation of new protocols and applications for future generations of mobile networks, vehicular networks as well as sensor networks.
{"title":"Smart Disaster Management and Responses for Smart Cities: A new Challenge for the Next Generation of Distributed Simulation Systems","authors":"A. Boukerche","doi":"10.1109/DS-RT47707.2019.8958693","DOIUrl":"https://doi.org/10.1109/DS-RT47707.2019.8958693","url":null,"abstract":"Every year, natural and human-induced disasters result in infrastructural damages, monetary costs, distresses, injuries and deaths. Unfortunately, climate change is strengthening the destructive power of natural disasters. In this context, distributed simulation-based disaster management and response systems have been proposed to cope with disasters and emergencies by training first responder with the latest ICT technology, and improving the disaster detection and search/rescue missions during disaster response. With the recent advances in wireless communication, and the proliferation of portable computer and micro-sensor devices, we are witnessing a growing interest in using wireless multimedia sensor networks and collaborative virtual environment technologies for safety and security class of applications. In this talk, we will give an overview of some research projects related to smart emergency preparedness and response that are currently being investigated at the PARADISE Research Laboratory at the Ottawa. We will show how collaborative virtual environment, context aware computing, wireless multimedia, and wireless sensor networks can be used to ensure public safety and security. We will focus upon the design of large-scale distributed simulation system for applications that require critical condition monitoring using both location/context aware computing and wireless sensor technologies. The second part of the talk will conclude by presenting two testbeds that are currently under development at PARADISE: the LIVE testbed, and the SWiMNet testbed. LIVE is a testbed for applications that require emergency preparedness and response. LIVE’s architecture integrates wireless sensor networks with wireless multimedia and virtual environment technologies. SWiMNet is a testbed of a high-performance simulation system that supports very detailed and realistic model specifications to enable the design and evaluation of new protocols and applications for future generations of mobile networks, vehicular networks as well as sensor networks.","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"357 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":"116133048","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.8958650
L. Nigro
Theatre is a control-based, light-weight, reflective actor system designed to address the development of general distributed, timed (possibly probabilistic) systems and cyber-physical systems in particular. Theatre is characterized by its formal operational semantics. An abstract Theatre model, including the services of a possible deterministic network and associated protocol, can be analyzed by exhaustive model-checking or by statistical model checking or through ad-hoc simulators. Theatre is currently implemented in Java. Other languages are possible. A key point of Theatre is its volition to favoring a seamless transformation of an analyzed model into the terms of design and implementation phases. The tutorial will illustrate the modelling aspects of Theatre, its supporting analysis tools, its capability of combining discrete-time with continuous time, its maturity as a software engineering methodology, and some developed applications.
{"title":"Model-driven development of cyber-physical systems using Theatre","authors":"L. Nigro","doi":"10.1109/DS-RT47707.2019.8958650","DOIUrl":"https://doi.org/10.1109/DS-RT47707.2019.8958650","url":null,"abstract":"Theatre is a control-based, light-weight, reflective actor system designed to address the development of general distributed, timed (possibly probabilistic) systems and cyber-physical systems in particular. Theatre is characterized by its formal operational semantics. An abstract Theatre model, including the services of a possible deterministic network and associated protocol, can be analyzed by exhaustive model-checking or by statistical model checking or through ad-hoc simulators. Theatre is currently implemented in Java. Other languages are possible. A key point of Theatre is its volition to favoring a seamless transformation of an analyzed model into the terms of design and implementation phases. The tutorial will illustrate the modelling aspects of Theatre, its supporting analysis tools, its capability of combining discrete-time with continuous time, its maturity as a software engineering methodology, and some developed applications.","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"7 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":"125409822","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.8958675
Pietro Boccadoro, Biagio Montaruli, L. Grieco
Detecting disruptive events, such as earthquakes, using environmental monitoring systems is a particularly promising, but rather challenging, opportunity. The Internet of Things (IoT) can play a significant role in characterizing and predicting seismic events. The present contribution introduces QuakeSense, an open-source earthquake and weather monitoring system. The implemented IoT system is configured as a Long Range (LoRa)based star topology with a fully energy-autonomous sensor node. The system leverages some of the most useful features of two emerging IoT technologies, e.g., LoRa and Message Queue Telemetry Transport (MQTT), and enables the near real-time monitoring of seismic events through a web-based interface. An experimental campaign has been carried out to verify the current consumption and, therefore, the battery lifetime of the sensor node. Moreover, LoRa parameters have been extensively tested as to evaluate performances in several configurations. The obtained results in terms of latency and Packet Delivery Ratio (PDR) demonstrated the reliability of the proposal.
{"title":"QuakeSense, a LoRa-compliant Earthquake Monitoring Open System","authors":"Pietro Boccadoro, Biagio Montaruli, L. Grieco","doi":"10.1109/DS-RT47707.2019.8958675","DOIUrl":"https://doi.org/10.1109/DS-RT47707.2019.8958675","url":null,"abstract":"Detecting disruptive events, such as earthquakes, using environmental monitoring systems is a particularly promising, but rather challenging, opportunity. The Internet of Things (IoT) can play a significant role in characterizing and predicting seismic events. The present contribution introduces QuakeSense, an open-source earthquake and weather monitoring system. The implemented IoT system is configured as a Long Range (LoRa)based star topology with a fully energy-autonomous sensor node. The system leverages some of the most useful features of two emerging IoT technologies, e.g., LoRa and Message Queue Telemetry Transport (MQTT), and enables the near real-time monitoring of seismic events through a web-based interface. An experimental campaign has been carried out to verify the current consumption and, therefore, the battery lifetime of the sensor node. Moreover, LoRa parameters have been extensively tested as to evaluate performances in several configurations. The obtained results in terms of latency and Packet Delivery Ratio (PDR) demonstrated the reliability of the proposal.","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"6 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":"129870063","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.8958707
F. Cicirelli, L. Nigro, F. Pupo
This paper describes a formal approach to modelling and verification of self-adaptive real-time systems. Such systems can dynamically be affected by exception events either originated in the operational environment or in the internal status, which require to be dealt with through adaptation actions which have to fulfil timing constraints. The approach is based on Time Basic (TB) Petri nets, a formalism well-suited to the specification of time-critical systems. Although some specialcase tools have been developed to support the analysis of TB net models, the original contribution of this paper is an embedding of TB nets into the popular Uppaal toolbox based on timed automata, which makes it possible both non-deterministic exhaustive analysis by model checking and/or a quantitative analysis of model properties through statistical model checking. The paper demonstrates the application of TB net modelling and analysis through a self-healing time-critical system.
{"title":"Formal Modelling and Verification of Real-Time Self-Adaptive Systems","authors":"F. Cicirelli, L. Nigro, F. Pupo","doi":"10.1109/DS-RT47707.2019.8958707","DOIUrl":"https://doi.org/10.1109/DS-RT47707.2019.8958707","url":null,"abstract":"This paper describes a formal approach to modelling and verification of self-adaptive real-time systems. Such systems can dynamically be affected by exception events either originated in the operational environment or in the internal status, which require to be dealt with through adaptation actions which have to fulfil timing constraints. The approach is based on Time Basic (TB) Petri nets, a formalism well-suited to the specification of time-critical systems. Although some specialcase tools have been developed to support the analysis of TB net models, the original contribution of this paper is an embedding of TB nets into the popular Uppaal toolbox based on timed automata, which makes it possible both non-deterministic exhaustive analysis by model checking and/or a quantitative analysis of model properties through statistical model checking. The paper demonstrates the application of TB net modelling and analysis through a self-healing time-critical system.","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"213 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":"114577973","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.8958699
Sean Kane, Sounak Gupta, P. Wilsey
Synthetic workloads are commonly used to exercise simulation tools for performance, performance tuning, and scalability studies. Sometimes these workloads are simple streams of test data following various distributions and in other cases these workloads are generated by more complex, configurable systems. An example of the former is a stream of input events at different arrival rates that might be used to test the performance of an event queue data structure. An example of the latter is the PHOLD simulation model that is often used to contrast the performance implications of different design solutions in a parallel simulation engine. One of the key challenges for synthetic workloads is the question of setting the parameters so that the workload properly reflects the behavior of actual workloads. This paper collects profile data from multiple real-world discrete-event simulation models in multiple configurations and sizes from the ROSS and WARPED2 repositories. A principle focus of this paper is the capture and reporting of profiling data to understand event granularities and event profile data to assist in the configuration of synthetic discrete event model generators.
{"title":"Analyzing Simulation Model Profile Data to Assist Synthetic Model Generation","authors":"Sean Kane, Sounak Gupta, P. Wilsey","doi":"10.1109/DS-RT47707.2019.8958699","DOIUrl":"https://doi.org/10.1109/DS-RT47707.2019.8958699","url":null,"abstract":"Synthetic workloads are commonly used to exercise simulation tools for performance, performance tuning, and scalability studies. Sometimes these workloads are simple streams of test data following various distributions and in other cases these workloads are generated by more complex, configurable systems. An example of the former is a stream of input events at different arrival rates that might be used to test the performance of an event queue data structure. An example of the latter is the PHOLD simulation model that is often used to contrast the performance implications of different design solutions in a parallel simulation engine. One of the key challenges for synthetic workloads is the question of setting the parameters so that the workload properly reflects the behavior of actual workloads. This paper collects profile data from multiple real-world discrete-event simulation models in multiple configurations and sizes from the ROSS and WARPED2 repositories. A principle focus of this paper is the capture and reporting of profiling data to understand event granularities and event profile data to assist in the configuration of synthetic discrete event model generators.","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"19 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":"123841298","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.8958677
C. Campolo, Domenico Cuzzocrea, Giacomo Genovese, A. Iera, A. Molinaro
Mobility as a Service (MaaS) implies the integration of different transport services in a unique platform accessible by commuters on demand. Collection and processing of data concerning the mobility of customers is crucial to calculate trips options satisfying users’ needs and preferences. In this paper, we propose to exploit Multi-access Edge Computing (MEC) facilities to more efficiently deploy MaaS solutions. Specifically, we design a MEC-based MaaS framework that is fully compliant with the Open Mobile Alliance (OMA) Lightweight Machine-to-Machine (LwM2M) protocol. The OMA LwM2M server hosted in the MEC platform continuously collects data from the commuters, and uses native MEC applications to provide value-added services. The OBSERVE extension of the Constrained Application Protocol (CoAP) is used to reduce energy consumption during data collection from the OMA LwM2M clients installed in the mobile user devices. Preliminary results are collected that show the performance of the proposed MaaS framework, integrated with a mobility generator tool (i.e., SUMO) that emulates the commuter paths.
{"title":"An OMA Lightweight M2M-compliant MEC Framework to Track Multi-modal Commuters for MaaS Applications","authors":"C. Campolo, Domenico Cuzzocrea, Giacomo Genovese, A. Iera, A. Molinaro","doi":"10.1109/DS-RT47707.2019.8958677","DOIUrl":"https://doi.org/10.1109/DS-RT47707.2019.8958677","url":null,"abstract":"Mobility as a Service (MaaS) implies the integration of different transport services in a unique platform accessible by commuters on demand. Collection and processing of data concerning the mobility of customers is crucial to calculate trips options satisfying users’ needs and preferences. In this paper, we propose to exploit Multi-access Edge Computing (MEC) facilities to more efficiently deploy MaaS solutions. Specifically, we design a MEC-based MaaS framework that is fully compliant with the Open Mobile Alliance (OMA) Lightweight Machine-to-Machine (LwM2M) protocol. The OMA LwM2M server hosted in the MEC platform continuously collects data from the commuters, and uses native MEC applications to provide value-added services. The OBSERVE extension of the Constrained Application Protocol (CoAP) is used to reduce energy consumption during data collection from the OMA LwM2M clients installed in the mobile user devices. Preliminary results are collected that show the performance of the proposed MaaS framework, integrated with a mobility generator tool (i.e., SUMO) that emulates the commuter paths.","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"31 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":"124430409","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.8958666
Jalil Boudjadar, Saravanan Ramanathan, A. Easwaran, Ulrik Nyman
Different scheduling algorithms for mixed criticality systems have been recently proposed. The common denominator of these algorithms is to discard low critical tasks whenever high critical tasks are in lack of computation resources. This is achieved upon a switch of the scheduling mode from Normal to Critical. We distinguish two main categories of the algorithms: system-level mode switch and task-level mode switch. System-level mode algorithms allow low criticality (LC) tasks to execute only in normal mode. Task-level mode switch algorithms enable to switch the mode of an individual high criticality task (HC), from low (LO) to high (HI), to obtain priority over all LC tasks. This paper investigates an online scheduling algorithm for mixed-criticality systems that supports dynamic mode switches for both task level and system level. When a HC task job overruns its LC budget, then only that particular job is switched to HI mode. If the job cannot be accommodated, then the system switches to Critical mode. To accommodate for resource availability of the HC jobs, the LC tasks are degraded by stretching their periods until the Critical mode exhibiting job complete its execution. The stretching will be carried out until the resource availability is met. We have mechanized and implemented the proposed algorithm using Uppaal. To study the efficiency of our scheduling algorithm, we examine a case study and compare our results to the state of the art algorithms.
{"title":"Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems","authors":"Jalil Boudjadar, Saravanan Ramanathan, A. Easwaran, Ulrik Nyman","doi":"10.1109/DS-RT47707.2019.8958666","DOIUrl":"https://doi.org/10.1109/DS-RT47707.2019.8958666","url":null,"abstract":"Different scheduling algorithms for mixed criticality systems have been recently proposed. The common denominator of these algorithms is to discard low critical tasks whenever high critical tasks are in lack of computation resources. This is achieved upon a switch of the scheduling mode from Normal to Critical. We distinguish two main categories of the algorithms: system-level mode switch and task-level mode switch. System-level mode algorithms allow low criticality (LC) tasks to execute only in normal mode. Task-level mode switch algorithms enable to switch the mode of an individual high criticality task (HC), from low (LO) to high (HI), to obtain priority over all LC tasks. This paper investigates an online scheduling algorithm for mixed-criticality systems that supports dynamic mode switches for both task level and system level. When a HC task job overruns its LC budget, then only that particular job is switched to HI mode. If the job cannot be accommodated, then the system switches to Critical mode. To accommodate for resource availability of the HC jobs, the LC tasks are degraded by stretching their periods until the Critical mode exhibiting job complete its execution. The stretching will be carried out until the resource availability is met. We have mechanized and implemented the proposed algorithm using Uppaal. To study the efficiency of our scheduling algorithm, we examine a case study and compare our results to the state of the art algorithms.","PeriodicalId":377914,"journal":{"name":"2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","volume":"85 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":"129464785","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
扫码关注我们
求助内容：
应助结果提醒方式：