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.

References

  1. Barringer, H., Rydeheard, D. E., and Havelund, K. (2007). Rule systems for run-time monitoring: From Eagle to RuleR. In Sokolsky, O. and Tasiran, S., editors, Runtime Verification, RV 2007 , volume 4839 of Lecture Notes in Computer Science, pages 111-125. Springer.
  2. Behrmann, G., David, A., and Larsen, K. G. (2004). A tutorial on Uppaal. In Bernardo, M. and Corradini, F., editors, Formal Methods for the Design of Real-Time Systems, volume 3185 of Lecture Notes in Computer Science, pages 200-236. Springer.
  3. Bettini, L. (2013). Implementing Domain-Specific Languages with Xtext and Xtend. Packt Publishing Ltd.
  4. Falcone, Y., Havelund, K., and Reger, G. (2013). A tutorial on runtime verification. In Broy, M., Peled, D. A., and Kalus, G., editors, Engineering Dependable Software Systems, volume 34 of NATO Science for Peace and Security Series, D: Information and Communication Security, pages 141-175. IOS Press.
  5. Groote, J. F. and Mousavi, M. R. (2014). Modeling and Analysis of Communicating Systems. MIT Press.
  6. Kim, H., Fried, D., Menegay, P., Soremekun, G., and Oster, C. (2013). Application of integrated modeling and analysis to development of complex systems. Procedia Computer Science, 16:98 - 107.
  7. Leucker, M. and Schallhart, C. (2009). A brief account of runtime verification. The Journal of Logic and Algebraic Programming, 78(5):293 - 303.
  8. Ouaknine, J. and Worrell, J. (2008). Some recent results in metric temporal logic. In Cassez, F. and Jard, C., editors, Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings, volume 5215 of Lecture Notes in Computer Science, pages 1-13. Springer.
  9. G.H. Broadfoot (2005). ASD case notes: Costs and benefits of applying formal methods to industrial control software. In Fitzgerald, J., Hayes, I., and Tarlecki, A., editors, FM 2005: Formal Methods, LNCS, vol. 3582, pages 548-551. Springer, Heidelberg.
  10. Theelen, B. D., Florescu, O., Geilen, M., Huang, J., van der Putten, P., and Voeten, J. (2007). Software/Hardware Engineering with the Parallel Object-Oriented Specification Language. In Proc. of MEMOCODE'07, pages 139-148. IEEE.
  11. van Deursen, A. and Klint, P. (1998). Little languages: little maintenance? Journal of Software Maintenance, 10(2):75-92.
Download


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