2019 IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC)最新文献

Interfacing to Time-Triggered Communication Systems 与时间触发通信系统的接口

2019 IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC) Pub Date : 2019-07-11 DOI: 10.1109/ISORC.2019.00044

P. Puschner, R. Kirner

引用次数: 2

Time-efficient offloading for machine learning tasks between embedded systems and fog nodes 在嵌入式系统和雾节点之间实现高效的机器学习任务卸载

2019 IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC) Pub Date : 2019-05-07 DOI: 10.1109/ISORC.2019.00022

Darren Saguil, Akramul Azim

引用次数: 7

Demo: Transactive Energy Application with RIAPS 演示:基于RIAPS的交互能源应用

2019 IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC) Pub Date : 2019-05-07 DOI: 10.1109/ISORC.2019.00024

Scott Eisele, Purboday Ghosh, Keegan Campanelli, A. Dubey, G. Karsai

引用次数: 0

Optimal Load-Balancing Association Scheme for C-RANs with Mobile IoT Devices 基于移动物联网设备的c - ran最优负载均衡关联方案

2019 IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC) Pub Date : 2019-05-07 DOI: 10.1109/ISORC.2019.00026

Taewoon Kim, Wooyeol Choi

引用次数: 2

On the adequacy of SDN and TSN for Industry 4.0 关于工业4.0时代SDN和TSN的充分性

2019 IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC) Pub Date : 2019-05-07 DOI: 10.1109/ISORC.2019.00017

Luís Silva, P. Pedreiras, Pedro Fonseca, L. Almeida

引用次数: 23

Untangling the Intricacies of Thread Synchronization in the PREEMPT_RT Linux Kernel 解开PREEMPT_RT Linux内核中线程同步的复杂性

2019 IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC) Pub Date : 2019-05-07 DOI: 10.1109/ISORC.2019.00012

D. B. D. Oliveira, R. S. Oliveira, T. Cucinotta

引用次数: 6

Hatebefi: Hybrid Applications Testbed for Fault Injection Hatebefi:故障注入的混合应用测试平台

2019 IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC) Pub Date : 2019-05-07 DOI: 10.1109/ISORC.2019.00030

Arne Boockmeyer, Jossekin Beilharz, Lukas Pirl, A. Polze

{"title":"Hatebefi: Hybrid Applications Testbed for Fault Injection","authors":"Arne Boockmeyer, Jossekin Beilharz, Lukas Pirl, A. Polze","doi":"10.1109/ISORC.2019.00030","DOIUrl":"https://doi.org/10.1109/ISORC.2019.00030","url":null,"abstract":"Hybrid testbeds are popular for testing distributed software systems, like network protocols and distributed applications, since the beginning of the 2000s. Combining physical and virtual resources for testing these networked computer systems allows to leverage the advantages and mitigate the disadvantages of either one. However, hybrid testbeds introduce novel challenges, e.g. regarding plausibility, heterogeneity, and controllability. To counter these challenges, we introduce the Hybrid Applications Testbed for Fault Injection (Hatebefi) which combines two approaches: On the one hand, Hatebefi aims to increase the plausibility by integrating hybrid testbeds with domain-specific simulators (e.g. for traffic simulation). This integration also addresses the heterogeneity of contemporary distributed applications. On the other hand, our framework allows for efficient creation and execution of complex test scenarios with a high degree of controllability by offering an event-based execution model. To demonstrate the feasibility of our approach, we implemented a basic set of arbitrarily combinable events to cover the most common scenarios. Both features combined pave the way to test distributed software systems, like Internet of Things applications involving connected vehicles or smart cities.","PeriodicalId":425290,"journal":{"name":"2019 IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC)","volume":"107 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126621592","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}

引用次数: 4

MATLAB/Simulink Benchmark Suite for ROS-based Self-driving Software Platform 基于ros的自动驾驶软件平台MATLAB/Simulink基准测试套件

2019 IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC) Pub Date : 2019-05-07 DOI: 10.1109/ISORC.2019.00023

Shota Tokunaga, Keita Miura, Takuya Azumi

引用次数: 0

Linearization based Safety Verification of a Glucose Control Protocol 基于线性化的血糖控制方案安全性验证

2019 IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC) Pub Date : 2019-05-07 DOI: 10.1109/ISORC.2019.00047

Ankita Samaddar, Zahra Rahiminasab, A. Easwaran, A. Banerjee, Xuerui Bai

{"title":"Linearization based Safety Verification of a Glucose Control Protocol","authors":"Ankita Samaddar, Zahra Rahiminasab, A. Easwaran, A. Banerjee, Xuerui Bai","doi":"10.1109/ISORC.2019.00047","DOIUrl":"https://doi.org/10.1109/ISORC.2019.00047","url":null,"abstract":"Medical cyber-physical systems in which multiple medical devices co-ordinate with each other and provide closed-loop control to the patient, have come into prominence in the recent past. One of the main challenges for such systems is guaranteeing their safety even in the presence of significant physiological variabilities among patients. Formal verification based on well-established models of patient physiology has emerged as a potential solution to this problem. However, such techniques face a significant hurdle in terms of scalability due to two main reasons; non-linearity in the physiological models, and large variations in the model parameters due to intra and inter-patient variabilities. In this work, we considered a case-study system of pre-operative and intra-operative care for diabetic patients based on a well-established insulin-infusion protocol. The system comprises a physiological model of the glucose-insulin regulatory system based on Dallaman's model integrated with a proportional-derivative controller that encodes the insulin-infusion protocol. Towards addressing the verification scalability problem, we present a solution for this case-study based on well-known model linearization techniques. We also calculated the error in linearization and incorporated the error into the linearized model. We have constructed both hybrid system model and the corresponding linearized model along with the error and have verified them using dReach and SAL verification tools, respectively. The non-linear model remained non-verifiable for a depth of 8 even after running the verification for more than 20 hours. However, the linearized model was found to be fully verifiable for all the cases and also 2x times faster than the non-linear model for a depth of 7. Therefore, safety of the nonlinear model can be verified with some approximation using the corresponding linearized model.","PeriodicalId":425290,"journal":{"name":"2019 IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127227088","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}

引用次数: 2

Improving the performance of a Publish-Subscribe message broker 改进发布-订阅消息代理的性能

2019 IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC) Pub Date : 2019-05-07 DOI: 10.1109/ISORC.2019.00027

Rafael Rocha, L. Ferreira, Cláudio Maia, P. Souto, P. Varga

引用次数: 3