Analyzing Airspace Data with RACE

Mehlitz, Peter; Giannakopoulou, Dimitra; Shafiei, Nastaran

doi:10.1109/dasc43569.2019.9081664

Cited by 2 publications

(2 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In these ICS, we monitor for correctness of system properties. Additionally we monitor for mutual separation between all pairs of aircraft in RACE [12] dataset, that consists of SBS messages from aircrafts. For more details about each of the systems along with the LOLA specifications refer to the Appendix XI-C.…”

Section: B Case Studies: Decentralized Ics and Flight Control Rvmentioning

confidence: 99%

See 1 more Smart Citation

Stream-based Decentralized Runtime Verification

Ganguly¹,

Bonakdarpour²

2023

Preprint

View full text Add to dashboard Cite

Industrial Control Systems (ICS) are often built from geographically distributed components and often use programmable logic controllers for localized processes. Since verification of such systems is challenging because of both time sensitivity of the system specifications and the inherent asynchrony in distributed components, developing runtime assurance that verifies not just the correctness of different components, but also generates aggregated statistics of the systems is of interest. In this paper, we first present a general technique for runtime monitoring of distributed applications whose behavior can be modeled as input/output streams with an internal computation module in the partially synchronous semantics, where an imperfect clock synchronization algorithm is assumed. Second, we propose a generalized stream-based decentralized runtime verification technique. We also rigorously evaluate our algorithm on extensive synthetic experiments and several ICS and aircraft SBS message datasets.

show abstract

Section: B Case Studies: Decentralized Ics and Flight Control Rvmentioning

confidence: 99%

“…and command injection attacks such as Illegal Setpoint, Illegal PID Command, etc. d) RACE Dataset: Runtime for Airspace Concept Evaluation (RACE) [12] is a framework developed by NASA that is used to build an event based, reactive airspace simulation. We use a dataset developed using this RACE framework.…”

Section: Industrial Control Systemsmentioning

confidence: 99%