CPS Week 2018 Advance Program ‧ R21 - Palácio da Bolsa - Level 2 - Auditório António Cálem

This combined program is provided 'as is'. More up-to-date information may be avalialbe at each event's official websites.

CPS Week 2018 Program Overview

R21 - Palácio da Bolsa - Level 2 - Auditório António Cálem

Stock Exchange Palace - R21 (Level 2)
R. de Ferreira Borges, 4050-253 Porto
The Palácio da Bolsa (Stock Exchange Palace) is a historical building in Porto, Portugal. The palace was built in the 19th century by the city's Commercial Association (Associação Comercial) in Neoclassical style. It is located in the Infante D. Henrique Square in the historical centre of Porto, designated World Heritage Site by UNESCO.

The Palace is located beside the St Francis Church of Porto, which was once part of the St Francis Convent, founded in the 13th century. In 1832, during the Liberal Wars, a fire destroyed the cloisters of the convent, sparing the church. In 1841, Queen Mary II donated the convent ruins to the merchants of the city, who decided to use the spot to build the seat of the Commercial Association.

Building work began in 1842 following the plans of Porto architect Joaquim da Costa Lima Júnior, who designed a Neoclassical palace of Palladian influence, inspired by previous structures built in the city. Most of the palace was finished by 1850, but the decoration of the interior was only completed in 1910 and involved several different artists.

April 10

see all CPS Week events for this day

09:15 - 10:00EITECWorkshop Keynote - Specification and verification of collaborative transport robots
Holger SchlingloffThe workshop will include a keynote presentation by Prof. Dr. Holger Schlingloff, chief scientist of the System Quality Center SQC at the Fraunhofer institute FOKUS and professor for software engineering at the Humboldt University of Berlin. His main interests are specification, verification and testing of embedded safety-critical software. He obtained his Ph.D. from the Technical University of Munich in 1990 with a thesis on temporal logic of trees; after that, he visited Carnegie-Mellon-University, Pittburgh, where he worked on model checking of real-time systems. After his return he was associate professor at the TU Munich and, from 1997 to 2001, managing director of the Bremen Institute for Safe Systems (BISS) within the Center for Computing Technologies (TZI), Bremen. His habilitation in 2001 was on partial state space of safety-critical systems. Since 2002, when he joined Fraunhofer, he is managing industrial projects in the automotive, railway, and medical technology domain. His areas of expertise include quality assurance of embedded control software, model-based development and model checking, logical verification of requirements, static analysis, and automated software testing.
10:30 - 12:30EITECWorkshop Session

An End To End Tactile Cyber Physical System Design. Arjun N, Ashwin S M, Kurian Polachan, Prabhakar T V, Chandramani Singh

Fault Tolerance on Control Applications: Empirical Investigations of Impacts from Incorrect Calculations. Mikail Yayla, Kuan-Hsun Chen, Jian-Jia Chen

Developing Ontologies for the Collaboration of Cyber-Physical Systems: Requirements and Solution Approach. Sebastian Törsleff, Constantin Hildebrandt, Marian Daun, Jennifer Brings, Alexander Fay

14:00 - 15:30EITECWorkshop Session

A taxonomy for faults in conguration knowledge bases. Christina Aigner, Florian Grigoleit

Reflection on future Research Directions. Workshop Participants

16:00 - 16:15EITECWorkshop Closing

April 11

see all CPS Week events for this day

10:30 - 12:30HSCCSession 1 - Stochastic Systems
Session Chair: Pavithra Prabhakar

Opening Remarks

Session Papers:

Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness. Abraham P. Vinod and Meeko M. K. Oishi

Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems. Fabio Somenzi, Behrouz Touri and Ashutosh Trivedi

From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes. Abolfazl Lavaei, Sadegh Soudjani and Majid Zamani

Bisimulations, logics, and trace distributions for stochastic systems with rewards. Daniel Gburek and Christel Baier

14:00 - 15:30HSCCSession 2 - Reachability
Session Chair: Sayan Mitra

Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices. Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Andreas Podelski, Christian Schilling and Frédéric Viry

Under-Approximating Reach Sets for Polynomial Continuous Systems. Bai Xue, Martin Fränzle and Naijun Zhan

Accurate reachability analysis of uncertain nonlinear systems. Matthias Rungger and Majid Zamani

16:00 - 17:30HSCCSession 3 - Timed Systems
Session Chair: Vinayak Prabhu

Clock Allocation in Timed Automata and Graph Colouring. Neda Saeedloei and Feliks Kluzniak

Model Checking Bounded Continuous-time Extended Linear Duration Invariants. Jie An, Naijun Zhan, Xiaoshan Li, Miaomiao Zhang and Yi Wang

A New Perspective on Quality Evaluation for Control Systems with Stochastic Timing. Maximilian Gaukler, Andreas Michalka, Peter Ulbrich and Tobias Klaus

April 12

see all CPS Week events for this day

10:30 - 12:30RTASSession 4 - Multi-mode and mixed-critical Systems
Session Chair: Bjorn Andersson, Carnegie Mellon University, USA

SafeMC: A system for the design and evaluation of mode change protocols. Tianyang Chen and Linh Thi Xuan Phan

Multi-Mode Virtualization for Soft Real-Time Systems. Haoran Li, Meng Xu, Chong Li, Chenyang Lu, Chris Gill, Linh Thi Xuan Phan, Insup Lee and Oleg Sokolsky

Physical-State-Aware Dynamic Slack Management for Mixed-Criticality Systems. Hoon Sung Chwa, Kang Shin, Hyeongboo Baek and Jinkyu Lee

Mixed Criticality Systems with Varying Context Switch Costs. Robert Davis, Sebastian Altmeyer and Alan Burns

14:00 - 15:30RTASSession 5 - Resource Sharing
Session Chair: Sibin Mohan, University of Illinois at Urbana-Champaign, USA

Scalable Memory Reclamation for Multi-Core, Real-Time Systems. Yuxin Ren, Guyue Liu, Gabriel Parmer and Björn Brandenburg

Shared-Resource-Centric Limited Preemptive Scheduling: A Comprehensive Study of Suspension-base Partitioning Approaches. Zheng Dong, Cong Liu, Soroush Bateni, Kuan-Hsun Chen, Jian-Jia Chen, Georg von der Brüggen and Junjie Shi

Analytical Enhancements and Practical Insights for MPCP with Self-Suspensions. Pratyush Patel, Iljoo Baek, Hyoseung Kim and Ragunathan (Raj) Rajkumar

16:00 - 17:30RTASSession 6 - GPU
Session Chair: Marko Bertogna, University of Modena, Italy

S^3DNN: Supervised Streaming and Scheduling for GPU-accelerated Real-Time DNN Workloads. Husheng Zhou, Soroush Bateni and Cong Liu

A GPU Kernel Transactionization Scheme for Preemptive Priority Scheduling. Hyeonsu Lee, Jaehun Roh and Euiseong Seo

MERLOT: Architectural Support for Energy-Efficient Real-time Processing in GPUs. Muhammad Santriaji and Henry Hoffmann

17:30 - 17:45RTASAward Ceremony

April 13

see all CPS Week events for this day

10:30 - 12:30IPSNSession 7 - Localization and Tracking
Session Chair: Shahriar Nirjon

Slocalization: Sub-muW, Static, Decimeter-Accurate Localization with Ultra Wideband Backscatter. Pat Pannuto, Benjamin Kempke, Prabal Dutta.

Magnitude-Based Angle-of-Arrival Estimation, Localization, and Target Tracking. Chitra R. Karanam, Belal Korany, Yasamin Mostofi

(Short Paper) Data Fusion for Hybrid and Autonomous Time-of-Flight Positioning. Aymen Fakhreddine, Domenico Giustiniano, Vincent Lenders

(Short Paper) Nanosecond-precision Time-of-Arrival Estimation for Aircraft Signals with low-cost SDR Receivers. Roberto Calvo-Palomino, Fabio Ricciato, Blaz Repas, Domenico Giustiniano, Vincent Lenders

Enhancing Indoor Smartphone Location Acquisition using Floor Plans. Niranjini Rajagopal, Patrick Lazik, Nuno Pereira, Sindhura Chayapathy, Bruno Sinopoli, Anthony Rowe

Orientation-aware RFID Tracking with Centimeter-level Accuracy. Chengkun Jiang, Yuan He, Xiaolong Zheng, Yunhao Liu

14:00 - 15:00CPS.EduPanel

Henrique Madeira
Dependability (University of Coimbra)

Jorge Sousa Pinto
Formal Methods (University of Minho)

António Pedro Aguiar
Control (University of Porto)

Pedro Santos
Smart Cities (University of Porto)

Matthias Renninger
SW Dev Manager (Bosch Chassis Systems Braga)

15:00 - 15:30CPS.EduPoster Madness

Dynamic Hierarchical Bandwidth Reservations for Switched Ethernet. Zahid Iqbal

Aerial Multi-hop Sensor Networks. Luis Pinto

An Overlay TDMA Protocol for Vehicles Platooning. Aqsa Aslam

Characterizing Low-Power WiFi Modules for IoT Applications. Diana Guimarães

Mitigating Effects of NLOS Propagation in MDS-Based Positioning. Moses Koledoye

A Highly Reconfigurable Component Framework as an Enabler for CPSS. Luis Neto

Cooperative Path Following of Robotic Vehicles using Event based Control and Communication Strategy. R Praveen Kumar Jain

Extending OpenFlow with Industrial Grade Communication Services. Luis Silva

The human in the loop in CPSs: the building automation case. Joao Cambeiro

XDense: A Dense Grid Sensor Network for Distributed Feature Extraction. João Loureiro

An efficient approach to multisuperframe tuning for DSME networks. John Harrison Kurunathan

Towards Timing Analysis of Multi-core Platforms for Hard Real-Time Systems. Aftab Rashid

Towards predictable and intelligent real-time IoT applications. Mubarak Ojewale

Bringing Context-awareness to wireless sensor networks. Shashank Gaur

Scheduling Parallel Real-Time Tasks in Multiprocessor Platforms. Cláudio Maia