Integrating Interface Modeling and Analysis in an Industrial Setting

Ivan Kurtev, Mathijs Schuts, Jozef Hooman, Dirk-Jan Swagerman

2017

Abstract

Precise specification of system component interfaces enables analysis of component behavior and checking of conformance of an implementation to the interface specification. Very often component interfaces are only defined by their signature and without a formal description of the admissible behavior and timing assumptions. In this paper we present a framework named ComMA (Component Modeling and Analysis) that supports model-based engineering (MBE) of high-tech systems by formalizing interface specifications. ComMA provides a family of domain-specific languages that integrate existing techniques from formal behavioral and time modeling and is easily extensible. It contains tools that support different phases of the development process and can be integrated in the industrial way of working. The framework is applied in the context of the family of interventional X-ray machines developed by Philips.

Paper Citation

in Harvard Style

Kurtev I., Schuts M., Hooman J. and Swagerman D. (2017). Integrating Interface Modeling and Analysis in an Industrial Setting . In Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-210-3, pages 345-352. DOI: 10.5220/0006133103450352

in Bibtex Style

@conference{modelsward17,
author={Ivan Kurtev and Mathijs Schuts and Jozef Hooman and Dirk-Jan Swagerman},
title={Integrating Interface Modeling and Analysis in an Industrial Setting},
booktitle={Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2017},
pages={345-352},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006133103450352},
isbn={978-989-758-210-3},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Integrating Interface Modeling and Analysis in an Industrial Setting
SN - 978-989-758-210-3
AU - Kurtev I.
AU - Schuts M.
AU - Hooman J.
AU - Swagerman D.
PY - 2017
SP - 345
EP - 352
DO - 10.5220/0006133103450352