Formalizing correspondence rules for automotive architectural views

Y. Dajsuren, C.M. Gerpheide, A. Serebrenik, A.J. Wijs, B.N. Vasilescu, M.G.J. Brand, van den

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

8 Citations (Scopus)
1 Downloads (Pure)

Abstract

Architecture views have long been used in software industry to systematically model complex systems by representing them from the perspective of related stakeholder concerns. However, consensus has not been reached for the architecture views between automotive architecture description languages and automotive architecture frameworks. Therefore, this paper presents the automotive architecture views based on an elaborate study of existing automotive architecture description techniques. Furthermore, we propose a method to formalize correspondence rules between architecture views to enforce consistency between architecture views. The approach was implemented in a Java plugin for IBM Rational Rhapsody and evaluated in a case study based on the Adaptive Cruise Control system. The outcome of the evaluation is considered to be a useful approach for formalizing correspondences between different views and a useful tool for automotive architects.
Original languageEnglish
Title of host publicationTenth International ACM Sigsoft Conference on the Quality of Software Architectures (QoSA 2014, Lille, France, June 30-July 4, 2014)
EditorsL. Seinturier, T. Bures, J.D. McGregor
Place of PublicationNew York NY
PublisherAssociation for Computing Machinery, Inc
Pages129-138
ISBN (Print)978-1-4503-2576-9
DOIs
Publication statusPublished - 2014
Event10th International ACM Sigsoft Conference on the Quality of Software Architectures (QoSA 2014) - Lille, France
Duration: 30 Jun 20144 Jul 2014
Conference number: 10

Conference

Conference10th International ACM Sigsoft Conference on the Quality of Software Architectures (QoSA 2014)
Abbreviated titleQoSA 2014
CountryFrance
CityLille
Period30/06/144/07/14
OtherPart of: CompArch'14 Federated Events on Component-Based Software Engineering and Software Architecture

Fingerprint Dive into the research topics of 'Formalizing correspondence rules for automotive architectural views'. Together they form a unique fingerprint.

Cite this