Zur Kurzanzeige

dc.contributor.authorBertram, Vincent
dc.contributor.authorMaoz, Shahar
dc.contributor.authorRingert, Jan Oliver
dc.contributor.authorRumpe, Bernhard
dc.contributor.authorvon Wenckstern, Michael
dc.contributor.editorTichy, Matthias
dc.contributor.editorBodden, Eric
dc.contributor.editorKuhrmann, Marco
dc.contributor.editorWagner, Stefan
dc.contributor.editorSteghöfer, Jan-Philipp
dc.date.accessioned2018-03-24T21:46:21Z
dc.date.available2018-03-24T21:46:21Z
dc.date.issued2018
dc.identifier.isbn978-3-88579-673-2
dc.identifier.issn1617-5468
dc.identifier.urihttp://dl.gi.de/handle/20.500.12116/16313
dc.description.abstractWe have presented an experience report of applying Component and Connector (C&C) view verification with an industrial partner, at the MoDELS 2017 conference. C&C views are a means for formal yet intuitive structural specification of C&C models. We report on our experience how C&C views and their verification help to address challenges of traceability and evolution in automotive industry. We analyzed the development process at Daimler AG and evaluated our C&C views verification tool on five Simulink models with more than 7700 subsystems in total and C&C views created for 183 textual requirements provided by Daimler AG. We describe our experience in detail and discuss a list of lessons 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.en
dc.language.isoen
dc.publisherGesellschaft für Informatik
dc.relation.ispartofSoftware Engineering und Software Management 2018
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-279
dc.subjectcomponent and connector models
dc.subjectSimulink
dc.subjectarchitecture
dc.subjectindustrial case study
dc.titleComponent and Connector Views in Practiceen
dc.typeText/Conference Paper
dc.pubPlaceBonn
mci.reference.pages97-99
mci.conference.sessiontitleSoftware Engineering 2018 - Wissenschaftliches Hauptprogramm
mci.conference.locationUlm
mci.conference.date5.-9. März 2018


Dateien zu dieser Ressource

Thumbnail

Zur Kurzanzeige