Deakin University
Browse
zheng-efficientandscalable-2018.pdf (546.16 kB)

Efficient and scalable runtime monitoring for cyber-physical system

Download (546.16 kB)
journal contribution
posted on 2018-06-01, 00:00 authored by Xi Zheng, C Julien, R Podorozhny, F Cassez, T Rakotoarivelo
Our reliance on cyber-physical systems (CPSs) is increasingly widespread, but scalable methods for the analysis of such systems remain a significant challenge. Runtime verification of CPSs provides a reasonable middle ground between formal verification and simulation approaches, but it comes with its own challenges. A runtime verification system must run directly on the deployed application. In the CPS domain, it is therefore critical that a runtime verification system exhibits low overhead and good scalability so that the verification does not interfere with the analyzed CPS application. In this paper, we introduce Brace, a runtime verification system whose focus is on ensuring these performance qualities for applications in the CPS domain. Brace strives to bound the computation overhead for CPS runtime verification while preserving a high level of monitoring accuracy in terms of the number of false positive and false negative reports. Brace is particularly suitable to systems in which scheduling is distributed across networked CPS components. We evaluate Brace to determine how effectively and efficiently it can detect injected errors in two existing real-life CPS applications with distributed scheduling. Our results demonstrate that Brace efficiently detects those errors and a few true bugs and is able to bound both the memory and computation overhead even in systems with large numbers of observed events.

History

Journal

IEEE systems journal

Volume

12

Issue

2

Pagination

1667 - 1678

Publisher

Institute of Electrical and Electronics Engineers

Location

Piscataway, N.J.

ISSN

1932-8184

eISSN

1937-9234

Language

eng

Publication classification

C1 Refereed article in a scholarly journal; C Journal article

Copyright notice

2016, IEEE