Runtime monitoring of functional component changes with behavior models

5Citations
Citations of this article
11Readers
Mendeley users who have this article in their library.
Get full text

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 available upfront-by 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 run-time 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. © 2012 Springer-Verlag Berlin Heidelberg.

Cite

CITATION STYLE

APA

Ghezzi, C., Mocci, A., & Sangiorgio, M. (2012). Runtime monitoring of functional component changes with behavior models. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7167 LNCS, pp. 152–166). https://doi.org/10.1007/978-3-642-29645-1_17

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free