RTSS 2019 will host the following workshops, special sessions and tutorials.
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.
Abstract: The increasing proliferation of Internet of Things (IoT) is giving rise to an ever-increasing volume of data being generated by the IoT sensors that reside at the edge of the networks. Of specific interest to us are CPS applications found in a wide range of societal and environmental applications where the streamed information is fed to decision makers, and where time is crucial for the quality of the decision. This workshop aims to invite position and research papers from the scientific community that describe ideas or work-in-progress efforts to address the plethora of challenges in this realm.
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.
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.
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.
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.