Differentiated Monitor Generation for Real-Time Systems

Behnaz Rezvani, Cameron Patterson

2023

Abstract

Safety-critical real-time systems require correctness to be validated beyond the design phase. In these systems, response time is as critical as correct functionality. Runtime verification is a promising approach for validating the correctness of system behaviors during runtime using monitors derived from formal system specifications. However, practitioners often lack formal method backgrounds, and no standard notation exists to capture system properties that serve their needs. To encourage the adoption of formal methods in industry, we present GROOT, a runtime monitoring tool for real-time systems that automatically generates efficient monitors from structured English statements. GROOT is designed with two branches, one for functional requirements and one for specifications with metric time constraints, which use appropriate formalisms to synthesize monitors. This paper introduces TIMESPEC, a structured English dialect for specifying timing requirements. Our tool also automates formal analysis to certify the C monitors’ construction. We apply GROOT to timing specifications from an industrial component and a simulated autonomous system in Simulink.

Paper Citation

in Harvard Style

Rezvani B. and Patterson C. (2023). Differentiated Monitor Generation for Real-Time Systems. In Proceedings of the 18th International Conference on Software Technologies - Volume 1: ICSOFT; ISBN 978-989-758-665-1, SciTePress, pages 353-360. DOI: 10.5220/0012080600003538

in Bibtex Style

@conference{icsoft23,
author={Behnaz Rezvani and Cameron Patterson},
title={Differentiated Monitor Generation for Real-Time Systems},
booktitle={Proceedings of the 18th International Conference on Software Technologies - Volume 1: ICSOFT},
year={2023},
pages={353-360},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0012080600003538},
isbn={978-989-758-665-1},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 18th International Conference on Software Technologies - Volume 1: ICSOFT
TI - Differentiated Monitor Generation for Real-Time Systems
SN - 978-989-758-665-1
AU - Rezvani B.
AU - Patterson C.
PY - 2023
SP - 353
EP - 360
DO - 10.5220/0012080600003538
PB - SciTePress