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
RTAS
2018 IEEE Real-Time and Embedded Technology and Applications Symposium
official website
CPS Week 2018 Conferences:
RTAS ‧ HSCC ‧ IPSN ‧ ICCPS
Other CPS Week 2018 Events:
Workshops ‧ Tutorials ‧ Competitions...
April 11
see all CPS Week events for this day
| 8:00 - 09:00 | Registration Palácio da Bolsa |
| 09:00 - 10:00 | CPS Week Keynote How Can We Rely on Cyber-Physical Systems with Thousands of Software Bugs? Henrique Madeira, University of Coimbra Cyber-physical systems (CPS) are made of software. Lots of it. Small embedded devices may easily reach millions of lines of code. Large scale CPS have billions. Even using the most skeptic bug density estimations for deployed software, there is no escape from the conclusion that most CPS have many thousands of residual bugs. Unfortunately, no one knows exactly where they are in the code, when they will reveal themselves, and, above all, what the consequences of their activation can be. In CPS with demanding safety requirements or exposed to security attacks (which may exploit residual bugs that may also represent security vulnerabilities), residual bugs represent a serious risk. Worse than that, it is not easy to estimate such risk. Hence, paraphrasing a famous Jim Gray's question: Why are residual software bugs a serious threat to CPS and what can be done about it? Attempting to answer this question, the talk provides field data illustrating some key problems, surveys software reliability limits, discusses why it is not trivial to use classic fault tolerance techniques in many CPS, and proposes some futuristic scenarios that may help deal with the residual software bug problem. R01 - Palácio da Bolsa - Level 0 - Pátio das Nações |
| 10:00 - 10:30 | Coffee Break R10 - Palácio da Bolsa - Level 1 |
| 10:30 - 12:30 | Session 1 - NetworksSession Chair: Cong Liu, University of Texas at Dallas, USAFD-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 R15 - Palácio da Bolsa - Level 1 - Sala das Assembleias Gerais |
| 12:30 - 14:00 | Lunch R01 - Palácio da Bolsa - Level 0 - Pátio das Nações |
| 14:00 - 15:30 | Session 2 - VirtualizationSession Chair: Francisco J. Cazorla, The Spanish National Research Council, SpainQuartzV: 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 R15 - Palácio da Bolsa - Level 1 - Sala das Assembleias Gerais |
| 15:30 - 16:00 | Coffee Break R10 - Palácio da Bolsa - Level 1 |
| 16:00 - 17:00 | Session 3 - Brief Presentations and DemosWork-in-ProgressWork-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-PublishedWork-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 abstractsDemo 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 R15 - Palácio da Bolsa - Level 1 - Sala das Assembleias Gerais |
| 17:00 - 19:30 | CPS Week Poster/Demo, Reception Palácio da Bolsa |
| 19:30 - 21:30 | CPS Week Fringe Event Mercado Ferreira Borges - Hard Club Mercado Ferreira Borges |
| 20:00 - 22:00 | CPS Week TPC Dinner Mercado Ferreira Borges - Mercado Mercado Ferreira Borges |
April 12
see all CPS Week events for this day
| 8:00 - 09:00 | Registration Palácio da Bolsa |
| 09:00 - 10:00 | CPS Week Keynote Dependable Industrial Internet of Things Chenyang Lu, Washington University in St. Louis IoT-driven control underpins numerous cyber-physical systems from Industrial Internet to smart cities. In contrast to best-effort IoT often found in consumer markets, there remain daunting challenges to develop IoT systems that must not only monitor but also control physical systems in a dependable fashion. We will highlight the dependability challenges caused by communication delays, data loss and resource constraints of IoT. We will further discuss cyber-physical co-design as a fundamental approach to achieve dependability in IoT-driven control systems. R01 - Palácio da Bolsa - Level 0 - Pátio das Nações |
| 10:00 - 10:30 | Coffee Break R10 - Palácio da Bolsa - Level 1 |
| 10:30 - 12:30 | Session 4 - Multi-mode and mixed-critical SystemsSession Chair: Bjorn Andersson, Carnegie Mellon University, USASafeMC: 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 R21 - Palácio da Bolsa - Level 2 - Auditório António Cálem |
| 12:30 - 14:00 | Lunch R01 - Palácio da Bolsa - Level 0 - Pátio das Nações |
| 14:00 - 15:30 | Session 5 - Resource SharingSession Chair: Sibin Mohan, University of Illinois at Urbana-Champaign, USAScalable 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 R21 - Palácio da Bolsa - Level 2 - Auditório António Cálem |
| 15:30 - 16:00 | Coffee Break R10 - Palácio da Bolsa - Level 1 |
| 16:00 - 17:30 | Session 6 - GPUSession Chair: Marko Bertogna, University of Modena, ItalyS^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 R21 - Palácio da Bolsa - Level 2 - Auditório António Cálem |
| 17:30 - 17:45 | Award Ceremony R21 - Palácio da Bolsa - Level 2 - Auditório António Cálem |
| 19:30 - 22:00 | CPS Week Banquet Caves Ferreirinha |
April 13
see all CPS Week events for this day
| 8:00 - 09:00 | Registration Palácio da Bolsa |
| 09:00 - 10:00 | CPS Week Keynote From Rags to Riches - Distributed Economic Model Predictive Control in Industry 4.0 Frank Allgower, University of Stuttgart During the past decades model predictive control (MPC) has become a preferred control strategy for the control of a large number of industrial processes. Systems theoretic properties of MPC, like stability and robustness, are rather well understood by now, as are computational issues in connection with the MPC implementation. With the vision of the smart factory of the future, generally termed Industry 4.0, the industrial environment, and thus the involved control tasks, are however undergoing a fundamental new orientation on the basis of the Cyber-Physical Systems and Internet of Things and Services paradigms. In the future all parts along the production chain will be equipped with embedded computing, communication and networking capabilities and are expected to interact in an optimal way towards the goal of a quality oriented, energy and resource efficient, save and reliable production process. Through decentralized optimal decision-making and an appropriate communication among the networked individual parts, the whole production process of the future is expected to operate optimally. The generation of economic value through control will step in the foreground while the stabilization of predetermined setpoints will not play the same role as it has in the past. In this presentation an introduction to the state of the art in Model Predictive Control will be given and the challenges and opportunities of Industry 4.0 for the field of control are discussed. We will in particular investigate the potential impact of Model Predictive Control (MPC) for the fourth industrial revolution and will argue that some new developments in MPC, especially connected to distributed and economic model predictive control, appear to be ideally suited to have a potential impact in the new Industry 4.0 environment. R01 - Palácio da Bolsa - Level 0 - Pátio das Nações |
| 10:00 - 10:30 | Coffee Break R10 - Palácio da Bolsa - Level 1 |
| 10:30 - 12:30 | Session 7 - Models, Synthesis and AnalysisSession Chair: Linh Thi Xuan Phan, University of Pennsylvania, USATimed C: An Extension to the C Programming Language for Real-Time Systems. Saranya Natarajan and David Broman Achieving Predictable Multicore Execution of Automotive Applications Using the LET Paradigm. Alessandro Biondi and Marco Di Natale Mining Task Precedence Graphs from Real-Time Embedded System Traces. Oleg Iegorov and Sebastian Fischmeister Schedulability Analysis and Software Synthesis for Graph-Based Task Models with Resource Sharing. Jakaria Abdullah, Gaoyang Dai, Morteza Mohaqeqi and Wang Yi R17 - Palácio da Bolsa - Level 1 - Salão Árabe |
| 12:30 - 14:00 | Lunch R01 - Palácio da Bolsa - Level 0 - Pátio das Nações |
| 14:00 - 15:30 | Session 8 - SchedulingSession Chair: Hyoseung Kim, University of California Riverside, USAFIFO with Offsets: High Schedulability with Low Overheads. Mitra Nasri, Robert Davis and Björn Brandenburg The Concept of Response Time Estimation Range for Optimizing Systems Scheduled with Fixed Priority. Yecheng Zhao and Haibo Zeng Firmness analysis of real-time applications under static-priority preemption scheduling. Amir Behrouzian, Dip Goswami, Twan Basten, Marc Geilen, Hadi Alizadeh Ara and Martijn Hendriks R17 - Palácio da Bolsa - Level 1 - Salão Árabe |
| 15:30 - 16:00 | Coffee Break R10 - Palácio da Bolsa - Level 1 |
| 16:00 - 17:30 | Session 9 - Cyber-Physical SystemsSession Chair: David Broman, KTH, SwedenA Clockless Synchronisation Framework for Cooperating Mobile Robots. Luis Oliveira, Luís Almeida and Daniel Mosse A Real-Time and Non-Cooperative Task Allocation Framework for Social Sensing Applications in Edge Computing Systems. Daniel (Yue) Zhang, Yue Ma, Yang Zhang, Suwen Lin, X. Sharon Hu and Dong Wang Closing the Gap between Stability and Schedulability: A New Task Model for Cyber-Physical Systems. Hoon Sung Chwa, Kang Shin and Jinkyu Lee R17 - Palácio da Bolsa - Level 1 - Salão Árabe |
| 18:00 - 18:15 | CPS Week Farewell R01 - Palácio da Bolsa - Level 0 - Pátio das Nações |
CPS Week 2018 Program Overview
Mobile link to this page: