CPS Week 2018 Advance Program ‧ R15 - Palácio da Bolsa - Level 1 - Sala das Assembleias Gerais

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

R15 - Palácio da Bolsa - Level 1 - Sala das Assembleias Gerais

Palácio da Bolsa
General Assembly Room - R15 (Level 1)
R. de Ferreira Borges, 4050-253 Porto
Workshops/Tutorials April 10:

Conferences April 11/12/13:
Here, the Porto Commercial Association holds two annual general assemblies. Projected by Tomás Soller between 1879 and 1883, and later on modified by José de Macedo Araújo Júnior between 1883 and 1890, the whole room, excluding the chandelier in the centre weighting approximately one ton, is an immense optical illusion given the way the craftsmen, using plaster, have achieved to make the walls look like they would have been made of wood.
www.palaciodabolsa.com

April 10

see all CPS Week events for this day

09:00 - 10:00CPSBenchWorkshop Session 1 - Opening + Keynote - Reproducible Research: Failures, Successes, Challenges and (Re)Setting the Bar
Ian M. Mitchell
10:30 - 12:30CPSBenchWorkshop Session 2 - Benchmarking IoT Devices and Networks

Evaluating Bluetooth Low Energy for IoT. Jonathan Fürst, Kaifei Chen, Hyung-Sin Kim, Philippe Bonnet

IoTMark™-BLE: How a Consortium Solved the IoT Benchmarking Problem. Invited talk: Peter Torelli

IoTBench: Towards a Benchmark for Low-power Wireless Networking. Carlo Alberto Boano, Simon Duquennoy, Anna Förster, Omprakash Gnawali, Romain Jacob, Hyung-Sin Kim, Olaf Landsiedel, Ramona Marfievici, Luca Mottola, Gian Pietro Picco, Xavier Vilajosana, Thomas Watteyne, Marco Zimmerling

Moving Beyond Competitions: Extending D-Cube to Seamlessly Benchmark Low-Power Wireless Systems. Markus Schuss, Carlo Alberto Boano, Kay Römer

14:00 - 15:15CPSBenchWorkshop Session 3 - Benchmarking CPS

Evaluating Low-Power Wireless Cyber-Physical Systems. Dominik Baumann, Fabian Mager, Harsoveet Singh, Marco Zimmerling, Sebastian Trimpe

Benchmarking Networked Control Systems. Sebastian Gallenmüller, Stephan Günther, Maurice Leclaire, Samuele Zoppi, Fabio Molinari, Richard Schöffauer, Wolfgang Kellerer, Georg Carle

Towards Benchmark Optimization by Automated Equivalence Detection. Daniel Schemmel, Mirko Stoffers, René Glebke, Klaus Wehrle

15:45 - 17:45CPSBenchWorkshop Session 4 - From Control and Localization Back to IoT Networks

Formal Synthesis of Control Strategies for Dynamical Systems. Invited talk: Calin Belta

Toward Standard Non-line-of-sight Benchmarking of Ultra-wideband Radio-based Localization. Milad Heydariaan, Hessam Mohammadmoradi, Omprakash Gnawali

SODA: 6TiSCH Open Data Action. Malisa Vucinic, Milica Pejanovic-Durisic, Thomas Watteyne

Open discussion and wrap-up.

April 11

see all CPS Week events for this day

10:30 - 12:30RTASSession 1 - Networks
Session Chair: Cong Liu, University of Texas at Dallas, USA

FD-PaS: A Fully Distributed Packet Scheduling Framework for Handling Disturbances in Real-Time Wireless Networks. Tianyu Zhang, Tao Gong, Zelin Yun, Song Han, Qingxu Deng and X. Sharon Hu

IEEE 802.1Qbv Gate Control List Synthesis using Array Theory Encoding. Ramon Serna Oliver, Silviu Craciunas and Wilfried Steiner

Timing Analysis of AVB Traffic in TSN Networks using Network CalculusLuxi Zhao, Paul Pop, Zhong Zheng and Qiao Li

Buffer-Aware Worst-Case Timing Analysis of Wormhole NoCs Using Network CalculusFrédéric Giroudot and Ahlem Mifdaoui

14:00 - 15:30RTASSession 2 - Virtualization
Session Chair: Francisco J. Cazorla, The Spanish National Research Council, Spain

QuartzV: Bringing Quality of Time to Virtual Machines. Sandeep D'souza and Raj Rajkumar

Predictable Virtualization on Memory Protection Unit-based Microcontrollers. Runyu Pan, Gregor Peach, Yuxin Ren and Gabriel Parmer

BlueVisor: A Scalable Real-Time Hardware Hypervisor for Heterogeneous Many-core Embedded Systems. Zhe Jiang, Neil Audsley and Pan Dong

16:00 - 17:00RTASSession 3 - Brief Presentations and Demos

Work-in-Progress

Work-in-Progress: A Flattened Priority Framework for Mixed-Criticality Real-time Systems. Zonghui Li, Hai Wan, Yangdong Deng and Ming Gu

Work-in-Progress: A Hot-Patching Protocol for Repairing Time-Triggered Network Schedules. Francisco Pozo, Guillermo Rodriguez-Navas and Hans Hansson

Work-in-Progress: RWS - A Roulette Wheel Scheduler For Preventing Execution Pattern Leakage. Ying Zhang, Lingxiang Wang, Wei Jiang and Zhishan Guo

Work-Already-Published

Work-Already-Published: Reliability Optimization on Multi-Core Systems with Multi-Tasking and Redundant Multi-Threading. Kuan-Hsun Chen, Georg von der Brüggen and Jian-Jia Chen

Work-Already-Published: mRPL+: a mobility management framework in RPL/6LoWPAN. Hossein Fotouhi

Demo abstracts

Demo Abstract: 6TiSCH in Full Bloom: From Dynamic Resource Management to Cloud-based Network Analytics. Tao Gong, Huayi Ji, Tianyu Zhang, Jianwei Zhou, Xiaolin Lu, Xiaobo Sharon Hu and Song Han

Demo Abstract: Industrial IoT Field Gateway Design for Heterogeneous Process Monitoring and Control. Tao Gong, Shaobo Zheng, Mark Nixon, Eric Rotvold and Song Han

Demo Abstract: Real-time Heterogeneous Edge Computing System for Social Sensing Applications. Daniel (Yue) Zhang, Nathan Vance and Dong Wang

Demo Abstract: Slate XNS - An Online Management Tool for Deterministic TSN Networks. Silviu Craciunas, Ramon Serna Oliver and Wilfried Steiner

April 12

see all CPS Week events for this day

10:30 - 11:30IPSNSession 4 - Pervasive Hardware
Session Chair: Rong Zheng

Battery-Free 802.15.4 Receiver Carlos Pérez Penichet. Claro Noda, Ambuj Varshney, Thiemo Voigt

Glimpse.3D: A Motion-Triggered Stereo Body Camera for 3D Experience Capture and Preview. Bashima Islam, Md Tamzeed Islam, Shahriar Nirjon

The Signpost Platform for City-Scale Sensing. Joshua Adkins, Branden Ghena, Neal Jackson, Pat Pannuto, Samuel Rohrer, Bradford Campbell, Prabal Dutta

11:30 - 12:30IPSNMicrosoft Indoor Localization Competition Official Results Anouncement
Session Chair: Dimitrios Lymberopoulos
11:30 - 12:30MILCMILC Official Results Anouncement
14:00 - 15:30IPSNSession 5 - Learning with Sensor Data
Session Chair: Neal Patwari

A Deep Data Augmentation Training Method to Address Software and Hardware Heterogeneities in Wearable and Smartphone Sensing Devices. Akhil Mathur, Tianlin Zhang, Sourav Bhattacharya, Petar Velickovic, Leonid Joffe, Nicholas D. Lane, Fahim Kawsar, Pietro Lio

Moving Convolutional Neural Networks to Embedded Systems: the AlexNet and VGG-16 case. Cesare Alippi, Simone Disabato, Manuel Roveri

(Short Paper) Data-Driven Monitoring and Optimization of Classroom Usage in a Smart Campus. Thanchanok Sutjarittham, Hassan Habibi Gharakheili, Salil Kanhere, Vijay Sivaraman

ODDS: Real-Time Object Detection using Depth Sensors on Embedded GPUs. Niluthpol Chowdhury Mithun, Sirajum Munir, Karen Guo, Charles Shelton

16:00 - 17:30IPSNSession 6 - Machine Learning and Big Data: Where do they fit in CPS? + IPSN Business Meeting
Panel Moderator: Jie Liu
After the Panel Discussion:

IPSN Business Meeting

April 13

see all CPS Week events for this day

10:30 - 12:30ICCPSSession 7 - Medical Applications
Session Chair: Sam Coogan

Context-Aware Detection in Medical Cyber-Physical Systems. Radoslav Ivanov, James Weimer and Insup Lee

A Data-Driven Approach to Artificial Pancreas Verification and Synthesis. Taisa Kushner, David Bortz, David Maahs and Sriram Sankaranarayanan

Model and Integrate Medical Resource Available Times and Relationships in Verifiably Correct Executable Medical Best Practice Guideline Models. Chunhui Guo, Zhicheng Fu, Zhenyu Zhang, Shangping Ren and Lui Sha

Platform for Model-Based Design and Testing for Deep Brain Stimulation. Ilija Jovanov, Michael Naumann, Karthik Kumaravelu, Warren Grill and Miroslav Pajic

Re-thinking EEG-based non-invasive brain interfaces: modeling and analysis. Gaurav Gupta, Sergio Pequito and Paul Bogdan

14:00 - 15:30ICCPSSession 8 - Autonomous Vehicles
Session Chair: Nicola Bezzo

Autoware on Board: Enabling Autonomous Vehicles with Embedded Systems. Shinpei Kato, Shota Tokunaga, Yuya Maruyama, Seiya Maeda, Manato Hirabayashi, Yuki Kitsukawa, Abraham Monrroy, Tomohito Ando, Yusuke Fujii and Takuya Azumi

Optimal Input Design for Affine Model Discrimination with Applications in Intention-Aware Vehicles. Yuhao Ding, Farshad Harirchi, Sze Zheng Yong, Emil Jacobsen and Necmiye Ozay

CoDrive: Cooperative Driving Scheme For Vehicles in Urban Signalized Intersections. Yiran Zhao, Shuochao Yao, Huajie Shao and Tarek Abdelzaher

Dynamic Intersections and Self-Driving Vehicles. Shunsuke Aoki and Raj Rajkumar

>