Formalizing correspondence rules for automotive architecture views

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.

[1]  Danny Weyns,et al.  Characterizing Relations between Architectural Views , 2008, ECSA.

[2]  Peter H. Feiler,et al.  The Architecture Analysis & Design Language (AADL): An Introduction , 2006 .

[3]  Manfred Broy,et al.  Toward a Holistic and Standardized Automotive Architecture Description , 2009, Computer.

[4]  Alexander Serebrenik,et al.  Automotive ADLS: a study on enforcing consistency through multiple architectural levels , 2012, QoSA '12.

[5]  Ambrose Goikoetxea.  The Open Group's Architectural Framework (TOGAF) , 2007 .

[6]  ITU-T Rec. X.901 (08/97) Information technology - Open distributed processing - Reference Model: Overview , 1998 .

[7]  Alexander F. Egyed.  Automatically Validating Model Consistency during Refinement , 2001 .

[8]  Licia Capra,et al.  xlinkit: a consistency checking and smart link generation service , 2002, TOIT.

[9]  Carlos Mario Zapata Jaramillo,et al.  A Rule-Based System for Assessing Consistency Between UML Models , 2007, MICAI.

[10]  Rolf Johansson,et al.  The EAST-ADL Architecture Description Language for Automotive Embedded Software , 2007, Model-Based Engineering of Embedded Real-Time Systems.

[11]  Rich Hilliard,et al.  Every architecture description needs a framework: Expressing architecture frameworks using ISO/IEC 42010 , 2009, 2009 Joint Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architecture.

[12]  Peter Braun,et al.  A Model-Based Approach for Automotive Software Development , 2001, OMER.

[13]  Maged Elaasar,et al.  An Overview of UML Consistency Management , 2004 .

[14]  Philippe Kruchten,et al.  The 4+1 View Model of Architecture , 1995, IEEE Softw..

[15]  Muhammad Ali Babar,et al.  Design Requirements for an Architecture Consistency Tool , 2009, PPIG.

[16]  KruchtenPhilippe.  The 4+1 View Model of Architecture , 1995 .

[17]  Jens Knodel,et al.  A Comparison of Static Architecture Compliance Checking Approaches , 2007, 2007 Working IEEE/IFIP Conference on Software Architecture (WICSA'07).

[18]  Alexander Serebrenik,et al.  Simulink models are also software: modularity assessment , 2013, QoSA '13.

[19]  Takuya Katayama,et al.  Consistency checking of UML model diagrams using the XML semantics approach , 2005, WWW '05.

[20]  Reinder J. Bril,et al.  Generalizing Consistency Checking between Software Views , 2005, 5th Working IEEE/IFIP Conference on Software Architecture (WICSA'05).

[21]  Antonio Vallecillo,et al.  Realizing Correspondences in Multi-viewpoint Specifications , 2009, 2009 IEEE International Enterprise Distributed Object Computing Conference.

[22]  Rgm Rudolf Huisman,et al.  A quality framework for evaluating automotive architecture , 2014 .

[23]  Dong Liu,et al.  Automating transition from use-cases to class model , 2003, CCECE 2003 - Canadian Conference on Electrical and Computer Engineering. Toward a Caring and Humane Technology (Cat. No.03CH37436).

[24]  Herbert Hanselmann,et al.  Challenges in automotive software engineering , 2008, ICSE Companion '08.

[25]  Sara Tucci Piergiovanni,et al.  Towards an Architectural Design Framework for Automotive Systems Development , 2012, CSDM.

[26]  Raymond J. A. Buhr,et al.  Use Case Maps as Architectural Entities for Complex Systems , 1998, IEEE Trans. Software Eng..

[27]  Henry Muccini,et al.  On the Composition and Reuse of Viewpoints across Architecture Frameworks , 2012, 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture.

[28]  Rainer Koschke,et al.  Hierarchical reflexion models , 2003, 10th Working Conference on Reverse Engineering, 2003. WCRE 2003. Proceedings..

[29]  Remco M. Dijkman,et al.  Consistency in multi-viewpoint design of enterprise information systems , 2008, Inf. Softw. Technol..

[30]  Antonio Vallecillo,et al.  Well-formed Rules for Viewpoint Correspondences Specification , 2008, 2008 12th Enterprise Distributed Object Computing Conference Workshops.

[31]  Alexander Egyed,et al.  Scalable consistency checking between diagrams - the VIEWINTEGRA approach , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).