SmartData Safety: Online Safety Models for Data-Driven Cyber-Physical Systems

Contemporary Cyber-Physical Systems (CPS), such as autonomous vehicles, are driven mainly by data. Combining timing and data semantics in such Data-Driven systems is crucial to assure safety. This paper proposes an extension of SmartData to support online safety monitoring. By following a Data-Driven Design, we promote a specification of property monitors using Signal Temporal Logic (STL) encompassing Safety Models. Timing aspects from STL specification roots from the timed data intrinsic to SmartData. The property monitors are envisioned as an online monitoring method inside a Safety Enforcement Unit (SEU). The SEU periodically assures the satisfiability of timing and semantics. We demonstrate the proposed design through a case study of an autonomous vehicle modeled using SmartData. The case study considers Mobileye’s Responsibility-Sensitive Safety as a ruler for safety vehicle conditions. Finally, the design provides the online verification capabilities inside the SEU by exploring the interpretation of STL specification as property monitors following the RTAMT library.