Workshops
8th International Workshop on Mixed Criticality Systems (WMC 2020)
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 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.
Application of DARPA Assured Autonomy Program Technologies to Autonomous Learning-Enabled Real-Time Systems
Details available on the workshop page.
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, thereby triggering yet another round of global revolution of the information technology. 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.