Title: Towards a more Flexible LARVA Runtime Monitoring Framework

Abstract:
Although the popularity of runtime monitoring has increased in recent years, many approaches are centered around particular technologies or programming languages. Any monitoring architecture is usually composed of two components: the property specification and verification component and the instrumentation component. By separating these two parts and allowing them to be replaced by pluggable components, a monitoring framework can become much more versatile in the properties which can be verified and universal in the technologies supported. 

In this talk, we show how the Larva monitoring framework, previously only supporting Java, has been reimplemented to become a customisable monitoring architecture supporting potentially numerous specification languages and platforms and technologies.