Multilevel Runtime Security and Safety Monitoring for Cyber Physical Systems using Model-based Engineering

EasyChair Preprint 3769

Abstract

Cyber-Physical Systems (CPS) are heterogeneous in nature and are composed of numerous components and embedded subsystems that are interacting with each other and with the physical world. The interaction of hardware and software components at each level, expose them to attack surfaces, which need novel methods to secure against. To ensure safety and security of high integrity CPSs, we present a multilevel runtime monitor approach where there are monitors at each level of processing and integration. In the proposed multi-level monitoring framework, some monitoring properties are formally defined using Event Calculus. We then demonstrate the need for multilevel monitors for faster detection and isolation of attacks by performing data attack and fault injection on a Simulink CPS model.

Keyphrases: Cyber-Physical Systems, Event Calculus, Runtime Monitors, model-based engineering, runtime verification

@booklet{EasyChair:3769,
  author    = {Smitha Gautham and Athira Varma Jayakumar and Carl Elks},
  title     = {Multilevel Runtime Security and Safety Monitoring for Cyber Physical Systems using Model-based Engineering},
  howpublished = {EasyChair Preprint 3769},
  year      = {EasyChair, 2020}}