Runtime monitoring of functional component changes with behavior models

Authors:
Carlo Ghezzi;Andrea Mocci;Mario Sangiorgio
Affiliations:
Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milano, MI, Italy;Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, MA;Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milano, MI, Italy
Venue:
MODELS'11 Proceedings of the 2011th international conference on Models in Software Engineering
Year:
2011

Citing 11
Cited 2

Typestate: A programming language concept for enhancing software reliability

IEEE Transactions on Software Engineering
Program Development in Java: Abstraction, Specification, and Object-Oriented Design

Program Development in Java: Abstraction, Specification, and Object-Oriented Design
Software Abstractions: Logic, Language, and Analysis

Software Abstractions: Logic, Language, and Analysis
A journey to highly dynamic, self-adaptive service-based applications

Automated Software Engineering
Quality Assurance of Software Applications Using the In Vivo Testing Approach

ICST '09 Proceedings of the 2009 International Conference on Software Testing Verification and Validation
Synthesizing intensional behavior models by graph transformation

ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Using Model-Based Traces as Runtime Models

Computer
Models@ Run.time to Support Dynamic Adaptation

Computer
Generating test cases for specification mining

Proceedings of the 19th international symposium on Software testing and analysis
Self-Supervising BPEL Processes

IEEE Transactions on Software Engineering
Automated Abstractions for Contract Validation

IEEE Transactions on Software Engineering

Runtime monitoring of component changes with Spy@Runtime

Proceedings of the 34th International Conference on Software Engineering
A runtime model for fUML

Proceedings of the 7th Workshop on Models@run.time

Quantified Score

Hi-index	0.00

Visualization

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.