A Monitoring Methodology and Framework to Partition Embedded Systems Requirements

Behnaz Rezvani, Cameron Patterson

2024

Abstract

The adoption of runtime monitoring has historically been limited to experts, primarily due to the intricate complexities associated with formal notations and the verification process. In response to this limitation, this paper introduces GROOT, a methodology and framework specifically designed for the automated synthesis of runtime verification monitors from structured English requirements. GROOT is tailored to address the challenges of adhering to both functional and timing constraints within complex real-time embedded systems. It accomplishes this through a dual approach that handles functional and timing requirements separately, allowing customized verification processes for each category. To demonstrate GROOT’s practical utility, its monitors are applied to an autonomous system modeled in Simulink.

Paper Citation

in Harvard Style

Rezvani B. and Patterson C. (2024). A Monitoring Methodology and Framework to Partition Embedded Systems Requirements. In Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE; ISBN 978-989-758-696-5, SciTePress, pages 563-570. DOI: 10.5220/0012696300003687

in Bibtex Style

@conference{enase24,
author={Behnaz Rezvani and Cameron Patterson},
title={A Monitoring Methodology and Framework to Partition Embedded Systems Requirements},
booktitle={Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE},
year={2024},
pages={563-570},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0012696300003687},
isbn={978-989-758-696-5},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE
TI - A Monitoring Methodology and Framework to Partition Embedded Systems Requirements
SN - 978-989-758-696-5
AU - Rezvani B.
AU - Patterson C.
PY - 2024
SP - 563
EP - 570
DO - 10.5220/0012696300003687
PB - SciTePress