
Departmental Papers (CIS)
Date of this Version
9-2016
Document Type
Conference Paper
Recommended Citation
Teng Zhang, Peter Gebhard, and Oleg Sokolsky, "SMEDL: Combining Synchronous and Asynchronous Monitoring", The 16th Conference on Runtime Verification (RV 2016) , 482-490. September 2016.
Abstract
Two major approaches have emerged in runtime verification, based on synchronous and asynchronous monitoring. Each approach has its advantages and disadvantages and is applicable in different situations. In this paper, we explore a hybrid approach, where low-level properties are checked synchronously, while higher-level ones are checked asynchronously. We present a tool for constructing and deploying monitors based on an architecture specification. Monitor logic and patterns of communication between monitors are specified in a language SMEDL. The language and the tool are illustrated using a case study of a robotic simulator.
Subject Area
CPS Formal Methods
Publication Source
The 16th Conference on Runtime Verification (RV 2016)
Start Page
482
Last Page
490
Keywords
monitor generation, synchronous monitoring, asynchronous monitoring
Date Posted: 05 February 2017
This document has been peer reviewed.
Comments
The 16th Conference on Runtime Verification (RV 2016), pp. 482--490. Madrid, Spain, September 2016.