research-article

Formalizing correspondence rules for automotive architecture views

Authors:

Yanja Dajsuren,

Christine M. Gerpheide,

Alexander Serebrenik,

Bogdan Vasilescu,

Mark G.J. van den BrandAuthors Info & Claims

QoSA '14: Proceedings of the 10th international ACM Sigsoft conference on Quality of software architectures

Pages 129 - 138

https://doi.org/10.1145/2602576.2602588

Published: 27 June 2014 Publication History

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.

References

[1]

The Open Group Architectural Framework (TOGAF). http://www.opengroup.org/togaf/.

[2]

N. Boucké, D. Weyns, R. Hilliard, T. Holvoet, and A. Helleboogh. Characterizing relations between architectural views. In R. Morrison, D. Balasubramaniam, and K. Falkner, editors, Software Architecture, volume 5292 of Lecture Notes in Computer Science, pages 66--81. Springer Berlin Heidelberg, 2008.

Digital Library

[3]

P. Braun and M. Rappl. A model-based approach for automotive software development. In P. Hofmann and A. Schürr, editors, OMER, volume 5 of LNI, pages 100--105. GI, 2001.

[4]

M. Broy. Challenges in automotive software engineering. In Proceedings of the 28th international conference on Software engineering, pages 33--42. ACM, 2006.

Digital Library

[5]

M. Broy, M. Gleirscher, S. Merenda, D. Wild, P. Kluge, and W. Krenzer. Toward a holistic and standardized automotive architecture description. Computer, 42(12):98--101, 2009.

Digital Library

[6]

R. Buhr. Use case maps as architectural entities for complex systems. Software Engineering, IEEE Transactions on, 24(12):1131--1155, 1998.

Digital Library

[7]

P. Cuenot, P. Frey, R. Johansson, H. Lönn, Y. Papadopoulos, M. Reiser, A. Sandberg, D. Servat, R. T. Kolagari, M. Törngren, and M. Weber. The EAST-ADL Architecture Description Language for Automotive Embedded Software. In Model-Based Engineering of Embedded Real-Time Systems, pages 297--307. Springer Verlag, 2011.

Digital Library

[8]

DAF Trucks N.V. Adaptive Cruise Control. http://www.daf.com/SiteCollectionDocuments/Products/Safety\_and\_comfor%t\_systems/DAF-ACC-EN.pdf, 2013.

[9]

Y. Dajsuren, A. Serebrenik, R. Huisman, and M. G. J. van den Brand. A quality framework for evaluating automotive architecture. In Proceedings of the FISITA World Automotive Congress, 2014.

[10]

Y. Dajsuren, M. G. J. van den Brand, A. Serebrenik, and R. Huisman. Automotive ADLs: a study on enforcing consistency through multiple architectural levels. In Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures, pages 71--80. ACM, 2012.

Digital Library

[11]

Y. Dajsuren, M. G. J. van den Brand, A. Serebrenik, and S. Roubtsov. Simulink models are also software: Modularity assessment. In Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures, pages 99--106. ACM, 2013.

Digital Library

[12]

R. Dijkman, D. Quartel, and M. van Sinderen. Consistency in multi-viewpoint design of enterprise information systems. Information and Software Technology, 50(7):737--752, 2008.

Digital Library

[13]

A. Egyed. Automatically validating model consistency during refinement. In 23rd International Conference on Software Engineering (ICSE 2001), Toronto, Ontario, Canada, pages 12--19, 2000.

[14]

A. Egyed. Scalable consistency checking between diagrams - The VIEWINTEGRA approach. In Automated Software Engineering, 2001.(ASE 2001). Proceedings. 16th Annual International Conference on, pages 387--390. IEEE, 2001.

Digital Library

[15]

M. Elaasar and L. Briand. An overview of UML consistency management. Carleton University, Canada, Technical Report SCE-04--18, 2004.

[16]

D. Emery and R. Hilliard. Every architecture description needs a framework: Expressing architecture frameworks using ISO/IEC 42010. In Software Architecture, 2009 European Conference on Software Architecture. WICSA/ECSA 2009. Joint Working IEEE/IFIP Conference on, pages 31 --40, 2009.

[17]

G. Fairbanks and D. Garlan. Just Enough Software Architecture: A Risk-Driven Approach. Marshall & Brainerd, 2010.

[18]

P. Feiler, D. Gluch, and J. Hudak. The architecture analysis & design language (AADL): An introduction. Technical Report Carnegie Mellon University/SEI-2006-TN-011, Software Engineering Institute, Carnegie Mellon University, 2006.

[19]

H. Góngora, T. Gaudré, and S. Tucci-Piergiovanni. Towards an architectural design framework for automotive systems development. In M. Aiguier, Y. Caseau, D. Krob, and A. Rauzy, editors, Complex Systems Design and Management, pages 241--258. Springer Berlin Heidelberg, 2013.

[20]

R. Hilliard, I. Malavolta, H. Muccini, and P. Pelliccione. On the composition and reuse of viewpoints across architecture frameworks. In Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, WICSA-ECSA '12, pages 131--140, Washington, DC, USA, 2012. IEEE Computer Society.

Digital Library

[21]

IBM. Rational Rhapsody Designer for systems engineers. http://www.ibm.com/software/products/.

[22]

ISO. ISO/IEC 10746--1 Information technology -- Open Distributed Processing -- Reference Model: Overview. December 1998.

[23]

ISO/IEC/IEEE 42010:2011. Systems and software engineering--architecture description. http://www.iso.org/iso/catalogue_detail.htm?csnumber=50508, 2011.

[24]

J. Knodel and D. Popescu. A comparison of static architecture compliance checking approaches. In Software Architecture, 2007. WICSA'07. The Working IEEE/IFIP Conference on, pages 12--12. IEEE, 2007.

Digital Library

[25]

R. Koschke and D. Simon. Hierarchical reflexion models. In Proceedings of the 10th Working Conference on Reverse Engineering, page 36. IEEE Computer Society, 2003.

Digital Library

[26]

Y. Kotb and T. Katayama. Consistency checking of UML model diagrams using the xml semantics approach. In Special interest tracks and posters of the 14th international conference on World Wide Web, pages 982--983. ACM, 2005.

Digital Library

[27]

P. B. Kruchten. The 4

[28]

1 View Model of architecture. Software, IEEE, 12(6):42--50, Nov. 1995.

Digital Library

[29]

D. Liu, K. Subramaniam, B. Far, and A. Eberlein. Automating transition from use-cases to class model. In Electrical and Computer Engineering, 2003. IEEE CCECE 2003. Canadian Conference on, volume 2, pages 831--834. IEEE, 2003.

[30]

J. Muskens, R. Bril, and M. R. V. Chaudron. Generalizing consistency checking between software views. In Software Architecture, 2005. WICSA 2005. 5th Working IEEE/IFIP Conference on, pages 169--180, 2005.

Digital Library

[31]

N. Navet and F. Simonot-Lion. Automotive Embedded Systems Handbook. CRC Press, Inc., USA, 2009.

Digital Library

[32]

C. Nentwich, L. Capra, W. Emmerich, and A. Finkelsteiin. xlinkit: A consistency checking and smart link generation service. ACM Transactions on Internet Technology (TOIT), 2(2):151--185, 2002.

Digital Library

[33]

B. M. of Defence. MOD Architecture Framework. http://www.modaf.org.uk/.

[34]

OMG. Systems Modeling Language (SysML) Specification version 1.2. http://www.sysml.org/specs, 2010.

[35]

J. Romero, J. Jaen, and A. Vallecillo. Realizing correspondences in multi-viewpoint specifications. In Enterprise Distributed Object Computing Conference, 2009. EDOC '09. IEEE International, pages 163--172, 2009.

Digital Library

[36]

J. Romero and A. Vallecillo. Well-formed rules for viewpoint correspondences specification. In Enterprise Distributed Object Computing Conference Workshops, 2008 12th, pages 441--443, 2008.

Digital Library

[37]

J. Rosik, J. Buckley, and M. Ali Babar. Design requirements for an architecture consistency tool. In 21st Annual Psychology of Programming Interest Group Conference, pages 1--15, 2009.

[38]

B. Shishkov, Z. Xie, K. Lui, and J. Dietz. Using norm analysis to derive use case from business processes. In 5th Workshop on Organizations semiotics. June, pages 14--15, 2002.

[39]

The TIMMO Consortium. TADL: Timing Augmented Description Language version 2. http://www.timmo-2-use.org/timmo/index.htm.

[40]

C. Zapata, G. González, and A. Gelbukh. A rule-based system for assessing consistency between UML models. MICAI 2007: Advances in Artificial Intelligence, pages 215--224, 2007.

Digital Library

Cited By

Ratzke APost SKoch JGrimm C(2024)Constructive Model Analysis of SysMLv2 Models by Constraint Propagation2024 19th Annual System of Systems Engineering Conference (SoSE)10.1109/SOSE62659.2024.10620947(239-244)Online publication date: 23-Jun-2024
https://doi.org/10.1109/SOSE62659.2024.10620947
Nolte MMaurer M(2024)Architektursichten für FahrzeugautomatisierungssystemeHandbuch Assistiertes und Automatisiertes Fahren10.1007/978-3-658-38486-9_39(1035-1076)Online publication date: 31-Jul-2024
https://doi.org/10.1007/978-3-658-38486-9_39
Staron M(2022)Introduction to the Metrics ThemeAccelerating Digital Transformation10.1007/978-3-031-10873-0_9(155-161)Online publication date: 20-Oct-2022
https://doi.org/10.1007/978-3-031-10873-0_9
Show More Cited By

Index Terms

Formalizing correspondence rules for automotive architecture views
1. Software and its engineering
  1. Software organization and properties
    1. Software system structures
      1. Software architectures

Recommendations

Automotive architecture description and its quality
ESEC/FSE 2013: Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering

This research is part of the Hybrid Innovations for Trucks (HIT), an ongoing multi-disciplinary project with the objectives of CO$_2$ emission reduction and fuel saving for long haul vehicles. Achieving this goal necessitates definition of a proper ...
An integrated view on business- and IT-architecture
SAC '08: Proceedings of the 2008 ACM symposium on Applied computing

The paper outlines the domains of enterprise architecture and fundamental design techniques. The consolidation of architecture description to three basic views is proposed. The component view describes the elements of architecture and their ...
A Hybrid Architecture Framework for Simulations in a Service-Oriented Environment

Service orientation, and more recently, the notions of cloud technology that service orientation enable, are designed to accommodate the need for flexible enterprise business processes. Through standardized interfaces, a service-oriented architecture ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

QoSA '14: Proceedings of the 10th international ACM Sigsoft conference on Quality of software architectures

June 2014

158 pages

ISBN:9781450325769

DOI:10.1145/2602576

General Chair:
Lionel Seinturier
Université Lille 1, France
,
Program Chairs:
Tomas Bures
Charles University, Czech Republic
,
John D. McGregor
Clemson University, USA

Copyright © 2014 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 27 June 2014

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Dutch Automotive Innovation Programme (HTAS)
Nederlandse Organisatie voor Wetenschappelijk Onderzoek

Conference

CompArch'14

Sponsor:

SIGSOFT

CompArch'14: Federated Events on Component-Based Software Engineering and Software Architecture

June 30 - July 4, 2014

Marcq-en-Bareul, France

Acceptance Rates

QoSA '14 Paper Acceptance Rate 15 of 47 submissions, 32%;

Overall Acceptance Rate 46 of 131 submissions, 35%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

23
Total Citations
View Citations
164
Total Downloads

Downloads (Last 12 months)13
Downloads (Last 6 weeks)1

Reflects downloads up to 25 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Ratzke APost SKoch JGrimm C(2024)Constructive Model Analysis of SysMLv2 Models by Constraint Propagation2024 19th Annual System of Systems Engineering Conference (SoSE)10.1109/SOSE62659.2024.10620947(239-244)Online publication date: 23-Jun-2024
https://doi.org/10.1109/SOSE62659.2024.10620947
Nolte MMaurer M(2024)Architektursichten für FahrzeugautomatisierungssystemeHandbuch Assistiertes und Automatisiertes Fahren10.1007/978-3-658-38486-9_39(1035-1076)Online publication date: 31-Jul-2024
https://doi.org/10.1007/978-3-658-38486-9_39
Staron M(2022)Introduction to the Metrics ThemeAccelerating Digital Transformation10.1007/978-3-031-10873-0_9(155-161)Online publication date: 20-Oct-2022
https://doi.org/10.1007/978-3-031-10873-0_9
Jongeling RCiccozzi FCicchetti ACarlson J(2022)Chapter 6 Lightweight Consistency Checking for Agile Model-Based Development in PracticeAccelerating Digital Transformation10.1007/978-3-031-10873-0_8(131-151)Online publication date: 20-Oct-2022
https://doi.org/10.1007/978-3-031-10873-0_8
Berger CEklund U(2022)Chapter 5 Expectations and Challenges from Scaling Agile in Mechatronics-Driven Companies – A Comparative Case StudyAccelerating Digital Transformation10.1007/978-3-031-10873-0_7(119-130)Online publication date: 20-Oct-2022
https://doi.org/10.1007/978-3-031-10873-0_7
Martini ABesker TBosch J(2022)Chapter 4 Technical Debt Tracking: Current State of Practice: A Survey and Multiple Case Study in 15 Large OrganizationsAccelerating Digital Transformation10.1007/978-3-031-10873-0_6(87-118)Online publication date: 20-Oct-2022
https://doi.org/10.1007/978-3-031-10873-0_6
Berger CCarlson J(2022)Introduction to the Continuous Architecture ThemeAccelerating Digital Transformation10.1007/978-3-031-10873-0_5(85-86)Online publication date: 20-Oct-2022
https://doi.org/10.1007/978-3-031-10873-0_5
Mårtensson TStåhl DMartini ABosch J(2022)Chapter 3 Efficient and Effective Exploratory Testing of Large-Scale Software SystemsAccelerating Digital Transformation10.1007/978-3-031-10873-0_4(51-81)Online publication date: 20-Oct-2022
https://doi.org/10.1007/978-3-031-10873-0_4
Ståhl DBosch J(2022)Chapter 2 Modeling Continuous Integration Practice Differences in Industry Software DevelopmentAccelerating Digital Transformation10.1007/978-3-031-10873-0_3(23-49)Online publication date: 20-Oct-2022
https://doi.org/10.1007/978-3-031-10873-0_3
Holmström Olsson HAlahyari HBosch J(2022)Chapter 1 Climbing the Stairway to HeavenAccelerating Digital Transformation10.1007/978-3-031-10873-0_2(7-22)Online publication date: 20-Oct-2022
https://doi.org/10.1007/978-3-031-10873-0_2
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents