Runtime Monitoring Based on Interface Specifications
conference paper
Unclear descriptions of software interfaces between components often lead to integration issues during development and maintenance. To address this, we have developed a framework named ComMA (Component Modeling and Analysis) that supports model-based engineering of components. ComMA is a combination of Domain Specific Languages (DSLs) for the specification of interface signatures, state machines to express the allowed interaction behaviour, and constraints on data and timing. From ComMA models a number of artefacts can be generated automatically such as proxy code, visualizations, tests, and simulation models. In this paper, the focus is on the generation of runtime monitors to check interface conformance, including the state machine behaviour and the specified data and time constraints. We report about the development of this approach in close collaboration with the development of medical applications at Philips.
Topics
TNO Identifier
781802
ISBN
978-3-319-68270-9
Publisher
Springer
Source title
Symposium on ModelEd, TestEd, TrustEd in honor of Ed Brinksma on the occasion of his 60th birthday, 2017. 18 October 2017 through 18 October 2017
Editor(s)
Katoen, J.P.
Langerak, R.
Rensink, A.
Langerak, R.
Rensink, A.
Pages
335–356
Files
To receive the publication files, please send an e-mail request to TNO Repository.