loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Ivan Kurtev 1 ; Mathijs Schuts 2 ; Jozef Hooman 3 and Dirk-Jan Swagerman 2

Affiliations: 1 Altran Netherlands, Netherlands ; 2 Philips, Netherlands ; 3 TNO-ESI and Radboud University, Netherlands

Keyword(s): Interface Modeling, Interface Analysis, Component Verification, Component Monitoring, Model-based Engineering.

Related Ontology Subjects/Areas/Topics: Applications and Software Development ; Component-Based Software Engineering ; Domain-Specific Modeling and Domain-Specific Languages ; Languages, Tools and Architectures ; Model Transformation ; Model-Driven Software Development ; Models ; Paradigm Trends ; Reasoning about Models ; Software Engineering

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 100.26.140.179

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 - MODELSWARD; ISBN 978-989-758-210-3; ISSN 2184-4348, SciTePress, pages 345-352. DOI: 10.5220/0006133103450352

@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 - MODELSWARD},
year={2017},
pages={345-352},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006133103450352},
isbn={978-989-758-210-3},
issn={2184-4348},
}

TY - CONF

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