Hot Topics Day

RTSS 2019 will host the following workshops, special sessions and tutorials.

WORKSHOPS

7th International Workshop on Mixed Criticality Systems (WMC 2019)

Abstract: WMC aims to bring together researchers working in fields relating to real-time systems with a focus on the challenges brought about by the integration of mixed-criticality applications onto singlecore, multicore, and manycore architectures. These challenges are cross-cutting. To advance rapidly, closer interaction is needed between the sub-communities involved in real-time scheduling, real-time operating systems/runtime environments, and timing analysis. The workshop aims to promote understanding of the fundamental problems that affect Mixed-Criticality Systems (MCS) at all levels in the software/hardware stack and crucially the interfaces between them. 

1st Workshop on Industrial Internet of Things (IIoT 2019)

Abstract: Internet of Things (IoT) has shown significant advantages not only for consumer applications but also for the industrial domains. In recent years, we have been witnessing the IoT paradigm making its way into industry with purposely designed solutions. Industrial IoT (IIoT) devices are typically deployed in noisy environments for supporting mission- and safety-critical applications, and have stringent timing and reliability requirements on timely collection of environmental data and proper delivery of control decisions. This workshop aims to promote a holistic approach to solving the problems in IIoT.

SPECIAL SESSIONS

Deep Neural Network Acceleration: From Training To Inference

Abstract: This special session includes three talks on: 1) approach to alleviate the communication bottleneck in distributed machine learning (ML) and speed up training; 2) performance modeling and optimization for CNN Acceleration on FPGA; and 3) speed up DNN inference under resource constraint.

Multiscale Real-Time Energy Engineering

Abstract: Recently, Electrical Energy Storage (EES) systems in the form of high-power battery packs are gaining more importance due to the rapid proliferation of Electric and Hybrid Electric Vehicles (EVs and HEVs) and the widespread adoption of renewable energy sources. Improving the usable energy output and the lifetime of these battery packs are some of the important challenges that are currently attracting a lot of attention. This special session includes three different talks addressing three different abstraction layers or scales at which real-time energy management and engineering is necessary. These are at the (i) battery layer, (ii) the electric vehicle (EV/HEV) layer, and (iii) the charging station layer.

Urban Mobility with Smart Infrastructure

Abstract: Next-generation urban transportation systems will incorporate autonomous vehicles with intelligent infrastructure, including intelligent intersection and smart lamppost systems. The vehicles commutate with intelligent infrastructures, e.g., smart lampposts, and other surrounding vehicles via vehicular ad-hoc networks (VANETs) to improve vehicle safety and transportation efficiency. In this session, the three talks will introduce the challenges and state-of-the-art solutions for both autonomous vehicles and intelligent infrastructures, as well as the interactions between them.

TUTORIAL

Formal Analysis, Verification and Design of Safety-Critical CPS

Abstract: Conventional real-time embedded systems have over the past two decades vividly evolved into an open, interconnected form, now known as cyber-physical systems (CPS), that integrates capabilities of computing, communication and control. The underlying safety-critical feature, however, impels the community to tackle the grand challenge concerning analysis, verification and design of reliable CPS. Hybrid systems that seamlessly integrate continuous dynamics with discrete behaviors have been extensively used as mathematical models for CPS, wherein prominent formal techniques, e.g., reachability-based model checking, deduction-based theorem proving and correct-by-construction synthesis, have been developed for ensuring correctness of hybrid systems. In this tutorial, we will start with a lightweight introduction to CPS and hybrid systems in a safety-critical context and then present our efforts over the recent years in testing, verification and design of CPS, particularly addressing inherent features thereof like large-scale, nondeterminism and delayed coupling.