IEEE ISORC 2019 PROGRAM
Day 1
| 08:00 – 08:45 | Registration |
| 08:45 – 09:00 | Welcome Remarks |
| 09:00 – 10:00 | Keynote 1: The Internet of Medical Things: Personalizing Medicine in an Impersonal World by
Insup Lee
Chair: Marisol Garcia Valls |
| 10:00 – 11:00 | Coffee Break |
| 11:00 – 12:30 | Session 1: OS/Virtualization Debugging/Analysis Chair: Uwe Brinkschulte |
| Untangling the Intricacies of Thread Synchronization in the PREEMPT_RT Linux Kernel (slides) Daniel Bristot de Oliveira, Rômulo Silva de Oliveira and Tommaso Cucinotta |
|
| Fine-Grained Formal Specification and Analysis of Buddy Memory Allocation in Zephyr RTOS (slides) Feng Zhang, Yongwang Zhao, Dianfu Ma and Wensheng Niu |
|
| An Experimental Analysis of the Xen and KVM Latencies (slides) Luca Abeni and Dario Faggioli |
|
| 12:30 – 14:00 | Lunch Break |
| 14:00 – 15:30 | Session 2: Emerging Ideas/Techniques Chair: Aniruddha Gokhale |
| The Colored Refresh Server for DRAM (slides) Xing Pan and Frank Mueller |
|
| Adapting the Concept of Artificial DNA and Hormone System to a classical AUTOSAR Environment Uwe Brinkschulte, Eric Hutter and Felix Fastnacht |
|
| On the adequacy of SDN and TSN for Industry 4.0 (slides) Luis Silva, Paulo Pedreiras, Pedro Fonseca, Luis Almeida |
|
| 15:30 – 16:00 | Coffee Break |
| 16:00 – 17:30 | Session 3: CPS Assurance/Fault Tolerance Chair: Frank Mueller |
| On the Design of Fault-Tolerance in a Decentralized Software Platform for Power Systems (slides) Purboday Ghosh, Scott Eisele, Abhishek Dubey, Mary Metelko, Istvan Madari, Peter Volgyesi and Gabor Karsai |
|
| Coordinated Conveying Shivakumar Sastry |
|
| A Quantitative Approach for Calculating Model Assurance Levels Julie Fant, Robert Pettit and David Gayek |
|
| 17:30 – 18:00 | Session 4: Poster/Demo Lightning Presentations Chairs: Di Liu, Luis Lino Ferreira (Rapid fire 2 mins presentations each by all poster/demo presenters) |
| Towards Contact-less Vital Sign Monitoring using a COTS Resource-Constrained Multi-CoreSystem -an Experience report (slides) Michael G. Kruger, Ger M. Kersten, Rink P.M. Springer and Reinder J. Bril |
|
| Time-efficient offloading for machine learning tasks between embedded systems and fog nodes (slides) Darren Saguil and Akramul Azim |
|
| Autoware Toolbox: MATLAB/Simlink Benchmark Suite for ROS-based Self-driving Software Platform Shota Tokunaga, Keita Miura and Takuya Azumi |
|
| Demo: Transactive Energy Application with RIAPS Scott EiselePurboday Ghosh, Keegan Campanelli, Abhishek Dubey and Gabor Karsai |
|
| DeepNNCar: A Testbed for Deploying and Testing Middleware Frameworks for Autonomous Robots Mathew P. Burruss, Shreyas Ramakrishna, Gabor Karsai and Abhishek Dubey |
|
| Optimal Load-Balancing Association Scheme for C-RANs with Mobile IoT Devices Taewoon Kimand Wooyeol Choi |
|
| Improving the performance of a Publish-Subscribe message broker Rafael Rocha, Claudio Maia and Luis Ferreira |
|
| Enabling a realistic cooperative vehicular platooning simulation framework Bruno Viera, Ricardo Severino and Eduardo Tovar |
|
| Demonstration of a Time-predictable Flight Controller on a Multicore Processor Oktay BarisShibarchi Majumder, Torur Biskopstø Strøm, Anders La Cour-Harbo, Jens Sparsø, Thomas Bak and Martin Schoeberl |
|
| Hatebefi: Hybrid Applications Testbed for Fault Injection Arne Boockmeyer, Jossekin Beilharz, Lukas Pirl and Andreas Polze |
|
| 18:00 onward | Reception and Poster/Demo Presentation |
Day 2
| 08:00 – 09:00 | Registration |
| 09:00 – 10:30 | Keynote 2: Quantum Computing: A Systems Perspective by
Frank Mueller
Chair: Aniruddha Gokhale |
| 10:30 – 11:00 | Coffee Break |
| 11:00 – 12:30 | Session 5: IoT/Fog/Edge Resource Management Chair: Paulo Pedreiras |
| Constant-Time Approximate Sliding Window Framework with Error Control (slides) Álvaro Villalba and David Carrera |
|
| Augmenting Learning Components for Safety in Resource Constrained Autonomous Robots Shreyas Ramakrishna, Abhishek Dubey, Matthew P Burruss, Charles Hartsell, Nagabhushan Mahadevan, Saideep Nannapaneni, Aron Laszka and Gabor Karsai |
|
| URMILA: A Performance and Mobility-Aware Fog/Edge Resource Management Middleware (slides) Shashank Shekhar, Ajay Chhokra, Hongyang Sun, Aniruddha Gokhale, Abhishek Dubey and Xenonfon Koutsoukos |
|
| 12:30 – 14:00 | Lunch |
| 14:00 – 15:45 | Session 6: Guarantees in Distributed/Cyber Physical Systems Chair: Abhishek Dubey |
| Fast, Efficient Performance Predictions for Big Data Applications Stathis Maroulis, Nikos Zacheilas, Thanasis Theocharis, Vana Kalogeraki |
|
| Toward Resilient Stream Processing on Clouds using Moving Target Defense (slides) Shilpa Chaturvedi and Yogesh Simmhan |
|
| Packet Priority Assignment for Wireless Control Systems of Multiple Physical Systems (slides) Wenchen Wang, Daniel Mosse and Alessandro Papadopoulos |
|
| Towards An Edge-Located Time-Series Database (Short paper) (slides) Timothy Krentz and Gabor Karsai |
|
| 15:45 – 16:15 | Coffee Break |
| 16:15 – 18:00 | Session 7: Mixed-criticality systems Chair: Gabor Karsai |
| Incorporating Robustness and Resilience into Mixed-Criticality Scheduling Theory (slides) Sanjoy Baruah and Alan Burns |
|
| Semi-Federated Scheduling of Mixed-Criticality System for Sporadic DAG Tasks (slides) Tao Yang, Yue Tang, Xu Jiang, Qingxu Deng and Nan Guan |
|
| A Practical Degradation Model for Mixed-Criticality Systems (slides) Vijaya Kumar Sundar and Arvind Easwarans |
|
| Quantifying Performance Determinism in Virtualized Mixed-Criticality Systems (Short paper) Andrew Hughes and Amro Awad |
|
| 20:30 onward | Banquet |
Day 3
| 9:00 – 10:30 | Session 8: Real-time Systems (Scheduling/Computing Bounds) Chair: Daniel Mosse |
| Optimal Scheduling of Precedence-constrained Task Graphs on Heterogeneous Distributed Systems with Shared Buses (slides) Sanjit Kumar Roy, Sayani Sinha, Kankana Maji, Rajesh Devaraj and Arnab Sarkar |
|
| Improving Multiprocessor Real-Time Systems with Bursty Inputs under Global EDF using Shapers (slides) Yue Tang, Yuming Jiang, Xu Jiang and Nan Guan |
|
| Interfacing to Time-Triggered Communication Systems (Short paper) Peter Puschner and Raimund Kirner |
|
| Towards an Artificial DNA for the Use in Dynamic Environments(Short paper) (slides) Mathias Pacher and Uwe Brinkschulte |
|
| 10:30 – 11:00 | Coffee Break |
| 11:00 – 12:15 | Session 9: Synchronization/Control Chair: Peter Puschner |
| Simulation Framework for Clock Synchronization in Time Sensitive Networking Maryam Pahlevan, Balakrishna Balakrishna and Roman Obermaisser |
|
| Linearization based Safety Verification of a Glucose Control Protocol (slides) Ankita Samaddar, Zahra Rahiminasab, Arvind Easwaran, Ansuman Banerjee and Xue Bai |
|
| A Time-predictable TTEthernet Node (Short paper) (slides) Maja Lund, Luca Pezzarossa, Jens Sparsoe and Martin Schoeberl |
|
| 12:15 | End of Conference |