Runtime Monitoring of Functional Component Changes with Behavior Models

Abstract

Abstract. We consider the problem of run-time discovery and continuous monitoring of new components that live in an open environment. We focus on extracting a formal model-which may not be availableby observing the behavior of the running component. We show how the model built at run time can be enriched through new observations (dynamic model update). We also use the inferred model to perform runtime verification. That is, we try to identify if any changes are made to the component that modify its original behavior, contradict the previous observations, and invalidate the inferred model.

A Study on Run Time Assurance for Complex Cyber Physical Systems

“…They present a handful of approaches to generating the monitors (using rewriting specifications written in Maude) in order to explore the feasibility and efficiency of the approaches. Ghezzi et al [215] attempt to infer the structure of the runtime monitor from observations. Though this approach necessarily has serious limitations, the idea of consistency checking between collected data and monitor representations could be useful for RTA applications.…”

Detecting component changes at run time with behavior models

“…To describe every possible component interaction outside the Bem scope, we introduce a second kind of behavior model that generalizes the Bem through an abstraction: the Pbm s [12]. Pbm s provide an abstracted, less precise but generalized description of the interaction protocol with the component rather than the precise description in a limited scope provided by Bem s. The two kind of models have a very tight relationship because they describe the behavior of the class at different abstraction levels.…”