Runtime Monitoring of Functional Component Changes with Behavior Models ?

[e-mail] 2011.

计算机科学;

Carlo Ghezzi ; Andrea Mocci ; Mario Sangiorgio

Others  :  http://ceur-ws.org/Vol-794/paper_4.pdf
PID  :  42241

学科分类：计算机科学（综合）

来源: CEUR

【 摘 要 】

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