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.
CITATION STYLE
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
Mendeley helps you to discover research relevant for your work.