Component and Connector Views in Practice
| dc.contributor.author | Bertram, Vincent | |
| dc.contributor.author | Maoz, Shahar | |
| dc.contributor.author | Ringert, Jan Oliver | |
| dc.contributor.author | Rumpe, Bernhard | |
| dc.contributor.author | von Wenckstern, Michael | |
| dc.contributor.editor | Tichy, Matthias | |
| dc.contributor.editor | Bodden, Eric | |
| dc.contributor.editor | Kuhrmann, Marco | |
| dc.contributor.editor | Wagner, Stefan | |
| dc.contributor.editor | Steghöfer, Jan-Philipp | |
| dc.date.accessioned | 2019-03-29T10:24:02Z | |
| dc.date.available | 2019-03-29T10:24:02Z | |
| dc.date.issued | 2018 | |
| dc.description.abstract | We 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.identifier.isbn | 978-3-88579-673-2 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/21125 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik | |
| dc.relation.ispartof | Software Engineering und Software Management 2018 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-279 | |
| dc.subject | component and connector models | |
| dc.subject | Simulink | |
| dc.subject | architecture | |
| dc.subject | industrial case study | |
| dc.title | Component and Connector Views in Practice | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 99 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 97 | |
| gi.conference.date | 5.-9. März 2018 | |
| gi.conference.location | Ulm | |
| gi.conference.sessiontitle | Software Engineering 2018 - Wissenschaftliches Hauptprogramm |
Dateien
Originalbündel
1 - 1 von 1