{"title":"Guarded Sections: Structuring Air for Wait-Free Synchronisation","authors":"Gabor Drescher, Wolfgang Schröder-Preikschat","doi":"10.1109/ISORC.2015.17","DOIUrl":"https://doi.org/10.1109/ISORC.2015.17","url":null,"abstract":"This paper is about a novel approach of organising non-sequential programs to the benefit of wait-free synchronisation. Other than critical sections, processes never block at entrance to a guarded section although only one process at a time is allowed to pass through. Competing processes are forced into bypass but, if necessary and by using futures, they can synchronise on concurrent state changes. In consequence, the execution model constrains the overlapping pattern of interacting (simultaneous) processes. Thereby, in the downstream transactional stage, efficient wait-free synchronisation of the \"guarding operations\" is gratifying by-product. First experimental results made with a 80-way multi-core system show that non-blocking wait-free synchronised guarded sections outperform MCS-locks.","PeriodicalId":294446,"journal":{"name":"2015 IEEE 18th International Symposium on Real-Time Distributed Computing","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126000003","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}
Dez Packwood, Manu Sharma, Ding Ding, Heejong Park, Z. Salcic, Avinash Malik, K. Wang
{"title":"FPGA-based Mixed-Criticality Execution Platform for SystemJ and the Internet of Industrial Things","authors":"Dez Packwood, Manu Sharma, Ding Ding, Heejong Park, Z. Salcic, Avinash Malik, K. Wang","doi":"10.1109/ISORC.2015.27","DOIUrl":"https://doi.org/10.1109/ISORC.2015.27","url":null,"abstract":"This paper presents an extensible and adaptable platform for distributed applications with mixed criticality based on using state of the art FPGA technology. Although capable of executing programs written in different languages, the platform specifically targets the execution of programs written in Globally Asynchronous Locally Synchronous language SystemJ used in the context of Internet of Industrial Things. The key properties of the prototype platform are accommodation of mixed-criticality processing as well as provision of Internet addressable services. Mixed-criticality execution platform (MCEP) uses multiple processor cores and network interfaces: (1) a dual-core ARM processor with Ethernet for Internet access and processing of non-real -- time application parts and (2) TP-JOP reactive hard real-time processor with customized Controller Area Network (CAN) for real-time and time-critical response processing. This platform has been successfully developed and used in an industrial automation system within the Internet of Industrial Things context.","PeriodicalId":294446,"journal":{"name":"2015 IEEE 18th International Symposium on Real-Time Distributed Computing","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125976458","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Exploring Situation Theory Using InfonLab","authors":"Eugene Doma, B. Selić, D. Levy","doi":"10.1109/ISORC.2015.20","DOIUrl":"https://doi.org/10.1109/ISORC.2015.20","url":null,"abstract":"Complex software systems often suffer from flaws arising either during the design or the development stages. In many cases due to the lack of formal underpinning it is difficult to assuredly define the model from which the system is generated. In our work, we investigated the suitability of mathematical situation theory as a formal foundation for a computer modelling language. This paper describes our empirical evaluation of this thesis in the real-time domain using Infon Lab, a tool based upon situation theory.","PeriodicalId":294446,"journal":{"name":"2015 IEEE 18th International Symposium on Real-Time Distributed Computing","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134200523","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}
Abdeldjalil Boudjadar, J. H. Kim, Alexandre David, K. Larsen, Marius Mikucionis, Ulrik Nyman, A. Skou, Insup Lee, L. T. Phan
{"title":"Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks","authors":"Abdeldjalil Boudjadar, J. H. Kim, Alexandre David, K. Larsen, Marius Mikucionis, Ulrik Nyman, A. Skou, Insup Lee, L. T. Phan","doi":"10.1109/ISORC.2015.21","DOIUrl":"https://doi.org/10.1109/ISORC.2015.21","url":null,"abstract":"The analysis of probabilistic schedulability explores all possible combinations of the probabilities of task attributes, which can easily lead to exponential computation time [24]. In this paper, we present a flexible schedulability analysis framework for periodic and sporadic tasks having probabilistic attributes where the computation time scales linearly in the size of analyzed systems. The framework is given in terms of a set of Parameterized Stopwatch Automata (PSA) models, which leads to a large degree of flexibility. Probability distributions for response time are generated using statistical model checking (UPPAAL SMC) while the overall schedulability can be checked using symbolic model checking (UPPAAL). We also define PoMD (percentage of missed deadlines) as a measure of the probabilistic schedulability of systems. To evaluate our approach, we compare the time used for computing response times and the analysis results using similar task models to that of a related analytical approach.","PeriodicalId":294446,"journal":{"name":"2015 IEEE 18th International Symposium on Real-Time Distributed Computing","volume":"224 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115607467","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}
Hawar Ramazanali, M. Jonsson, A. Vinel, U. Bilstrup
{"title":"Multichannel Admission Control for Military Training Network","authors":"Hawar Ramazanali, M. Jonsson, A. Vinel, U. Bilstrup","doi":"10.1109/ISORC.2015.28","DOIUrl":"https://doi.org/10.1109/ISORC.2015.28","url":null,"abstract":"A military training radio network requires support for a large number of mobile nodes with heterogeneous traffic and real-time requirements. We propose a deterministic protocol and an admission control using real-time analysis for a centralized radio network with a multichannel base station. The admission control implements an algorithm for frequency allocation to mobile nodes, and guarantees timely treatment of real-time traffic. The proposed online heuristic frequency allocation algorithm is compared to other known heuristic algorithms: round robin over channels and fill one channel first. The goal with the heuristic algorithms is to maximize the number of supported mobile nodes. Our results show that when the high utilization part of the traffic have shorter deadlines it is advantageous to differentiate different types of nodes onto separate frequencies, whilst if the deadline is increased it is advantageous to mix different types of nodes on each frequency.","PeriodicalId":294446,"journal":{"name":"2015 IEEE 18th International Symposium on Real-Time Distributed Computing","volume":"152 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116302645","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Dynamic Partitioning Based Scheduling of Real-Time Tasks in Multicore Processors","authors":"N. Saranya, R. Hansdah","doi":"10.1109/ISORC.2015.23","DOIUrl":"https://doi.org/10.1109/ISORC.2015.23","url":null,"abstract":"Existing real-time multicore schedulers use either global or partitioned scheduling technique to schedule real-time tasks. Partitioned scheduling is a static approach in which, a task is mapped to a per-processor ready queue prior to scheduling it and it cannot migrate. Partitioned scheduling makes ineffective use of the available processing power and incurs high overhead when real-time tasks are dynamic in nature. Global scheduling is a dynamic scheduling approach, where the processors share a single ready-queue to execute the highest priority tasks. Global scheduling allows task migration which results in high scheduling overhead. In this paper, we present a dynamic partitioning based scheduling of real-time tasks, called DP scheduling. In DP scheduling, jobs of tasks are assigned to cores when they are released and remain in the same core till they finish execution. The partitioning in DP scheduling is done based on the slack time and priority of jobs. If a job cannot be allocated to any core, then it is split, and executed on more than one core. DP scheduling technique attempts to retain good features of both global and partitioned scheduling without compromising on resource utilization, and at the same time, also tries to minimize the scheduling overhead. We have tested DP scheduling technique with EDF scheduling policy at each core, and we term this scheduling algorithm as DP-EDF. The performance of DP-EDF scheduling algorithm has been evaluated using simulation study and its implementation in LITMUS-RT on a 64-bit intel processor with eight logical cores. Both simulation and experimental results show that DP-EDF scheduling algorithm has better performance in terms of resource utilization, and comparable or better performance in terms of scheduling overhead in comparison to contemporary scheduling algorithms.","PeriodicalId":294446,"journal":{"name":"2015 IEEE 18th International Symposium on Real-Time Distributed Computing","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128815669","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Fairness-Based Measures for Safety-Critical Vehicular Ad-Hoc Networks","authors":"M. Hikmet, P. Roop, P. Ranjitkar","doi":"10.1109/ISORC.2015.44","DOIUrl":"https://doi.org/10.1109/ISORC.2015.44","url":null,"abstract":"Transmission timing and delay between communicating vehicles are two important performance measures for safety-critical applications of Vehicular Ad-Hoc Networks (VANETS). Safety-Critical VANETS are composed of multiple nodes each requiring access to a shared communication medium. This access is controlled by the Medium Access Control (MAC) protocol. Numerous MAC protocols have been proposed for VANETS, each with varying degrees of reliability and fairness. A general measure for fairness is required in order to compare different protocols using the same criteria, however, finding a quantifiable measure for fairness is not a simple task and any developed quantifiable measure is application-specific. In this paper, we investigate different measures of fairness, particularly the Jain Index and the Gini Coefficient. We apply these measures to experimental environments in ns-3 to contrast the different fairnesses of three MAC protocols: CSMA/CA, TDMA, and STDMA. It became evident, after experimentation, that the Gini Coefficients obtained from these experiments would vary between iterations and the limits of these variances were uncertain. Therefore we derive a formula which allows a theoretical limit to be placed on the unfairness of a system based on its upper and lower bounds of delay. This formula is not only relevant to VANETs but to any network. The work in this paper is applicable to any discipline wishing to measure the theoretical worst case fairness of a population.","PeriodicalId":294446,"journal":{"name":"2015 IEEE 18th International Symposium on Real-Time Distributed Computing","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120843087","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}
Björn Konieczek, Michael Rethfeldt, F. Golatowski, D. Timmermann
{"title":"Real-Time Communication for the Internet of Things Using jCoAP","authors":"Björn Konieczek, Michael Rethfeldt, F. Golatowski, D. Timmermann","doi":"10.1109/ISORC.2015.35","DOIUrl":"https://doi.org/10.1109/ISORC.2015.35","url":null,"abstract":"The term Internet of Things (IoT) describes a scenario where embedded systems are integrated into everyday objects, turning them into smart devices to assist the user in his everyday life. Each of these smart objects only offers a very limited amount of computational power since it is only specialized in a limited set of tasks. In order to achieve complex goals, the devices have to interact with each other. Therefore, they do not only need to be interconnected either by wire or through wireless technology but also need a set of common protocols to enable vendor-independent communication. In the past years, various protocols pursuing this objective have emerged. One of the most promising approaches is the Constrained Application Protocol (CoAP) because it offers high interoperability and very low communication overhead at the same time. Typical IoT applications include the observation and manipulation of their environment through sensors and actuators. Since the physical world is continuous in time and does not wait for calculations to finish, it is essential that the execution times of the applications stay within certain boundaries. These timing constraints are referred to as real-time requirements. However, current protocol implementations do not consider real-time requirements for IoT applications. In this paper, we introduce the jCoAP communication stack as a lightweight Java implementation of CoAP. We give a brief introduction to real-time communication and CoAP and provide insight in the design concept of jCoAP and the offered functionalities. Furthermore, a performance evaluation is done in order to point out the suitability of the jCoAP framework for real-time IoT applications.","PeriodicalId":294446,"journal":{"name":"2015 IEEE 18th International Symposium on Real-Time Distributed Computing","volume":"89 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125390676","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}
R. B. Sorensen, Wolfgang Puffitsch, Martin Schoeberl, J. Sparsø
{"title":"Message Passing on a Time-predictable Multicore Processor","authors":"R. B. Sorensen, Wolfgang Puffitsch, Martin Schoeberl, J. Sparsø","doi":"10.1109/ISORC.2015.15","DOIUrl":"https://doi.org/10.1109/ISORC.2015.15","url":null,"abstract":"Real-time systems need time-predictable computing platforms. For a multicore processor to be time-predictable, communication between processor cores needs to be time-predictable as well. This paper presents a time-predictable message-passing library for such a platform. We show how to build up abstraction layers from a simple, time-division multiplexed hardware push channel. We develop these time-predictable abstractions and implement them in software. To prove the time-predictability of these functions we analyze their worst-case execution time (WCET) with the aiT WCET analysis tool. We combine these WCET numbers with the calculation of the network latency of a message and then provide a statically computed end-to-end latency for this core-to-core message.","PeriodicalId":294446,"journal":{"name":"2015 IEEE 18th International Symposium on Real-Time Distributed Computing","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-04-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125004723","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}