SMEDL: Combining Synchronous and Asynchronous Monitoring [chapter]

Teng Zhang, Peter Gebhard, Oleg Sokolsky
2016 Lecture Notes in Computer Science  
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 higherlevel ones are checked asynchronously. We present a tool for constructing and deploying monitors based on an architecture specification. Monitor logic and patterns of communication
more » ... en monitors are specified in a language SMEDL. The language and the tool are illustrated using a case study of a robotic simulator. 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.
doi:10.1007/978-3-319-46982-9_32 fatcat:cfjlmvd6hrfereztzhiciyv6we