Runtime Monitoring Based on Interface Specifications
| Autor: | Jozef Hooman, Mathijs Schuts, Ivan Kurtev |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
Domain-specific language
Informatics Interface (Java) Computer science Domain Specific Language Framework 02 engineering and technology computer.software_genre Software 0202 electrical engineering electronic engineering information engineering Code (cryptography) ComMA TS - Technical Sciences Focus (computing) Industrial Innovation Finite-state machine Programming language business.industry Runtime verification Component modeling 020207 software engineering ESI - Embedded Systems Innovations Information and Communications Technology ICT Component analyis 020201 artificial intelligence & image processing business computer |
| Zdroj: | ModelEd, TestEd, TrustEd ISBN: 9783319682693 ModelEd, TestEd, TrustEd Lecture Notes in Computer Science, 335–356 |
| DOI: | 10.1007/978-3-319-68270-9_17 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|