08:00 – 08:45 Registration
08:45 – 09:00 Welcome to ISORC 2018
09:00 – 10:00 Keynote 1: From Timing and Energy Analysis to Testing by Abhik Roychoudhury
Chair: Arvind Easwaran
10:00 – 10:30 Coffee Break
10:30 – 12:30 Session 1: Execution-Time Predictability
Chair: Oleg Sokolsky
Task-Allocation in a large scaled hierarchical many-core topology
Andreas Lund and Uwe Brinkschulte
Hardlock: a Concurrent Real-Time Multicore Locking Unit
Tórur Biskopstø Strøm and Martin Schoeberl
Mixed-Criticality Scheduling on Multiprocessors with Service Guarantees
Saravanan Ramanthan and Arvind Easwaran
Scalable and Memory-Efficient Spin Locks for Embedded Tile-based Many-core Architectures
Shinichi Awamoto, Hiroyuki Chishiro and Shinpei Kato
12:30 – 13:30 Lunch
13:30 – 15:30 Session 2: Designing Real-Time Systems
Chair: Martin Schoeberl
CLAIR: A Contract-based Framework for Developing Resilient CPS Architectures
Sidharta Andalam, Daniel Jun Xian Ng, Arvind Easwaran and Karthikeyan Thangamariappan
QuaRTOS-DSE : a Tool for Design Space Exploration of Embedded Real-Time System
Briag Le Nabec, Belgacem Ben Hedia and Jean-Philippe Babau
Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems
Jalil Boudjadar, Jin Hyun Kim, Linh Thi Xuan Phan, Insup Lee, Kim Larsen and Ulrik Nyman
An Approach to Formalization of Architectural Viewpoints Design in Real-Time and Embedded Domain
Fabíola Gonçalves Ribeiro, Achim Rettberg, Carlos Pereira, Charles Steinmetz and Michel Soares
15:30 – 16:00 Coffee Break
16:00 – 17:00 Session 3: Timing Predictability
Chair: Qixin Wang
Faster Function Blocks for Precision Timed Industrial Automation
Hammond Pearce, Partha Roop, Morteza Biglari-Abhari and Martin Schoeberl
tpIP: a Time-predictable TCP/IP Stack for Cyber-Physical Systems
Martin Schoeberl and Rasmus Ulslev Pedersen



09:00 – 10:00 Keynote 2: Towards Assurance-based Learning-enabled Cyber-Physical Systems by Gabor Karsai
Chair: Abhishek Dubey
10:00 – 10:30 Coffee Break
10:30 – 12:20 Session 4: Emerging Trends in Distributed Object Computing
Chair: Gabor Karsai
IoT Data Integrity Verification for Cyber-Physical Systems using Blockchain
Caciano Machado and Antônio Augusto Fröhlich
A Data Stream Processing Optimisation Framework for Edge Computing Applications
Gayashan Amarasinghe, Marcos D. de Assunção, Aaron Harwood and Shanika Karunasekera
Data Freshness Over-Engineering: Formulation and Results
Dagaen Golomb, Deepak Gangadharan, Sanjian Chen, Oleg Sokolsky and Insup Lee
An edge computing architecture in the Internet of Things
Short paper: Cristian Martín, Manuel Díaz and Bartolomé Rubio
12:20 – 13:15 Lunch
13:15 – 15:15 Session 5a: Safety and Performance Assessment
Chair: Uwe Brinkschulte
Cost-Effective Redundancy Approach for Fail-Operational Autonomous Driving System
Tasuku Ishigooka, Shinya Honda and Hiroaki Takada
A Self-Reconfiguring Cache Architecture to Improve Control Quality in Cyber Physical Systems
Mohammad Shihabul Haque, Sriram Vasudevan, Sriram Nihar, Arvind Easwaran, Akash Kumar and Y.C. Tay
Representative Safety Assessment of Unmanned Autonomous Vehicle for Public Transportation
Short Paper: Morayo Adedjouma, Gabriel Pedroza and Boutheina Bannour
Intrusion-Tolerant Autonomous Driving
Short Paper: Marcus Völp and Paulo Esteves-Verissimo
Rethinking the Validation Process for Medical Devices: A Cardiac Pacemaker Case Study
Short Paper: Sidharta Andalam, Partha Roop, Avinash Malik and Mark Trew
15:15 – 15:45 Coffee Break
15:45 – 16:30 Session 5b: Safety and Performance Assessment
Chair: Arvind Easwaran
Introducing Automatic Time Stamping (ATS) with a Reference Implementation in Swift
Short Paper: Sean Hamilton, Dhiman Sengupta and Rajesh Gupta
Detecting Single Event Upsets in Embedded Software
Short Paper: Robert Pettit and Aedan Pettit
16:30 – 17:30 Panel: Emerging Applications, Challenges and Opportunities in
Seamless Computing Across Edge, Fog and Cloud

Chair: Abhishek Dubey & Sidharta Andalam
1. What are the next challenges for real-time computing. Are traditional approaches focused on scheduling guarantees still relevant in this new paradigm of seamless computing in our communities?
2. The integration of AI and CPS: How do we trust the AI? Can we verify the inferences made by Machine Learning black-boxes integrated in the modern cyber-physical systems?
19:00 onwards Dinner Banquet (Privé, Asian Civilizations Museum)



09:00 – 09:40 Session 6: Applications
Chair: Sidharta Andalam
IoT Integration for Adaptive Manufacturing
Short Paper: Christos Alexakos, Christos Anagnostopoulos, Apostolos Fournaris, Christos Koulamas and Athanasios Kalogeras
Zigbee Based Wireless Data Acquisition System for Underground Mines – A Feasibility Study
Short Paper: Amit Swain, Mahesh Bepari, Nimish Patnaik and Himanshu Bhushan Sahu
09:40 – 10:10 Session 7: Execution Time Predictability (2)
Chair: Sidharta Andalam
SITSA-RT: An Information Theory Inspired Real-Time Multiprocessor Scheduler
Carlos Rincón and Albert Cheng
10:10 – 10:30 Coffee Break
10:30 – 11:50 Session 8: Emerging Concepts
Chair: Abhishek Dubey
Design and Analysis for Dual Priority Scheduling
Xiaozhe Gu, Arvind Easwaran and Risat Pathan
Real-Time ROS Extension on Transparent CPU/GPU Coordination Mechanism
Yuhei Suzuki, Takuya Azumi, Shinpei Kato and Nobuhiko Nishio
OpenICE-lite: Towards a Connectivity Platform for the Internet of Medical Things
Short paper: Radoslav Ivanov, Hung Nguyen, James Weimer, Oleg Sokolsky and Insup Lee
11:50 – 12:45 Lunch
12:45 – 14:15 Excursion: Depart from NEC to CETRAN, Centre of Excellence for Testing & Research of AVs.
Demonstration of Navya ARMA autonomous vehicle in the test track.
14:15 – 18:30 Excursion: to NEWater supply plant (back at NEC by 18:30) or
Model factory at SIMTech (back at NEC by 17:30).
18:30 End of Conference