BMR+17.pdf (1019.25 kB)
Download file

Component and Connector Views in Practice: An Experience Report

Download (1019.25 kB)
conference contribution
posted on 29.05.2018, 15:10 by Vincent Bertram, Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern
Component and Connector (C&C) view specifications, with corresponding verification and synthesis techniques, have been recently suggested as a means for formal yet intuitive structural specification of C&C models. In this paper we report on our recent experience in applying C&C views in industrial practice, where we aimed to answer questions such as: could C&C views be practically used in industry, what are challenges of systems engineers that the use of C&C views could address, and what are some of the technical obstacles in bringing C&C views to the hands of systems engineers. We describe our experience in detail and discuss a list of lessons we have learned, including, e.g., a missing abstraction concept in C&C models and C&C views that we have identified and added to the views language and tool, that engineers can create graphical C&C views quite easily, and how verification algorithms scale on real-size industry models. Furthermore, we report on the non-negligible technical effort needed to translate Simulink block diagrams to C&C models. We make all materials mentioned and used in our experience electronically available for inspection and further research.

Funding

This research was supported by a Grant from the GIF, the German-Israeli Foundation for Scientific Research and Development.

History

Citation

20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, 2017, pp. 167-177

Author affiliation

/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Informatics

Source

20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA

Version

AM (Accepted Manuscript)

Published in

20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems

Publisher

Institute of Electrical and Electronics Engineers (IEEE)

isbn

978-1-5386-3492-9

Copyright date

2017

Available date

29/05/2018

Publisher version

https://ieeexplore.ieee.org/document/8101260/

Temporal coverage: start date

17/09/2017

Temporal coverage: end date

22/09/2017

Language

en

Usage metrics

Categories

Exports