ABSTRACT
Over the last decade, Architecture Description Languages (ADLs) are attracting considerable attention by automotive companies because they consider them as one of the key solutions to improve the quality of automotive electronic and software systems. Automotive ADLs like EAST-ADL, AADL, TADL, and AML are being defined to address not only the architectural description or the representation issues but also as a method to enable requirements traceability and early analysis of a system. Besides the automotive specific ADLs, SysML and MARTE are emerging as viable modeling approaches for automotive systems engineering domain as well. However, all these modeling approaches lack the capability of ensuring the architectural quality. This paper identifies an architectural inconsistency between the different architectural levels as one of the key issues regarding architectural quality of automotive systems and proposes a rule-based method to enforce consistency between these levels. Since there is no standard ADL for automotive systems, we first evaluated a set of modeling approaches based on the automotive specific modeling requirements and selected SysML mainly due to its flexibility, and mature and accessible tool support. We modeled a Cruise Control system to demonstrate modeling of an automotive system in SysML and to evaluate the method for the architectural consistency checking using SysML.
- ISO/IEC 25010:2011 Systems and software engineering - Systems and software Quality Requirements and Evaluation (SQuaRE) - System and software quality models. http://www.iso.org/. (Accessed January 27, 2012).Google Scholar
- ISO/IEC 9126--1 Software Engineering - Product Quality Part1. http://www.iso.org, 2001. (Accessed January 27, 2012).Google Scholar
- E. Andrianarison and J.-D. Piques. SysML for embedded automotive systems: A practical approach. In ERTS, Toulouse, France, 2010.Google Scholar
- N. Anquetil and T. Lethbridge. Comparative study of clustering algorithms and abstract representations for software remodularisation. In IEE Proceedings - Software, volume 150, pages 185--201, 2003.Google ScholarCross Ref
- L. Apvrille and A. Becoulet. Prototyping an embedded automotive system from its UML/SysML models. In ERTS, Toulouse, France, 2012.Google Scholar
- ATESST2. EAST-ADL Domain Model Specification version 2.1. http://www.atesst.org/, 2010. (Accessed January 27, 2012).Google Scholar
- M. Biehl and W. Löwe. Automated architecture consistency checking for model driven software development. In QoSA, pages 36--51. Springer-Verlag, 2009. Google ScholarDigital Library
- B. W. Boehm. Software engineering economics. Prentice-Hall, 1981. Google ScholarDigital Library
- P. Braun and M. Rappl. A model-based approach for automotive software development. In OMER, pages 100--105, 2001.Google Scholar
- M. Broy. Challenges in automotive software engineering. In ICSE, pages 33--42, USA, 2006. Google ScholarDigital Library
- P. Cuenot, P. Frey, R. Johansson, H. Lönn, Y. Papadopoulos, M.-O. Reiser, A. Sandberg, D. Servat, R. T. Kolagari, M. Törngren, and M. Weber. The EAST-ADL Architecture Description Language for Automotive Embedded Software. Springer Verlag, 2010.Google ScholarCross Ref
- Y. Dajsuren, M. Goldstein, and D. Moshkovich. Modernizing legacy software using a System Grokking technology. In ICSM, pages 1--7, 2010. Google ScholarDigital Library
- Y. Dajsuren, M. G. J. van den Brand, and A. Serebrenik. Evolution mechanisms of automotive architecture description languages. In BENEVOL, pages 24--25, 2011.Google Scholar
- P. H. Feiler, D. P. Gluch, and J. 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.Google ScholarCross Ref
- S. Friedenthal, A. Moore, and R. Steiner. A Practical Guide to SysML: The Systems Modeling Language. Morgan Kaufmann/OMG Press, 2011.Google Scholar
- H. Grönniger, J. Hartmann, H. Krahn, S. Kriebel, L. Rothhardt, and B. Rumpe. View-centric modeling of automotive logical architectures. In MBEES, pages 3--12, 2008.Google Scholar
- ISO/IEC/IEEE 42010:2011. Systems and software engineering - architecture description. http://www.iso-architecture.org/ieee-1471, 2011. (Accessed January 27, 2012).Google Scholar
- E. Korshunova, M. Petković, M. G. J. van den Brand, and M. R. Mousavi. CPP2XMI: Reverse engineering of UML class, sequence, and activity diagrams from C++source code. In WCRE, pages 297--298, 2006. Google ScholarDigital Library
- R. Koschke and D. Simon. Hierarchical reflexion models. In WCRE, pages 36--45, 2003. Google ScholarDigital Library
- R. Krikhaar. Software Architecture Reconstruction. PhD thesis, University of Amsterdam, 1999.Google Scholar
- D. Makartetskiy and R. Sisto. An approach to refinement checking of SysML requirements. In ETFA, pages 1--4, 2011.Google ScholarCross Ref
- N. Medvidović and R. Taylor. A classification and comparison framework for software architecture description languages. volume 26, pages 70--93, 2000. Google ScholarDigital Library
- G. C. Murphy, D. Notkin, and K. Sullivan. Software reflexion models: bridging the gap between source and high-level models. In SIGSOFT Software Engineering Notes, volume 20, pages 18--28, New York, NY, USA, 1995. Google ScholarDigital Library
- N. Navet and F. Simonot-Lion. Automotive Embedded Systems Handbook. CRC Press, Inc., USA, 2009. Google ScholarDigital Library
- OMG. Systems Modeling Language (SysML) Specification version 1.2. www.sysml.org/specs, 2010. (Accessed January 27, 2012).Google Scholar
- OMG. UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems Version 1.1. http://www.omg.org/spec/MARTE/1.1, 2011. (Accessed April 12, 2012).Google Scholar
- A. C. Rao, G. Dhadyalla, R. P. Jones, R. McMurran, and D. White. Systems modelling of a driver information system -- automotive industry case study. In System of Systems Engineering, pages 254--259, Los Alamitos, CA, USA, 2006.Google Scholar
- A. Raza, G. Vogel, and E. Plödereder. Bauhaus -- a tool suite for program analysis and reverse engineering. In Ada-Europe, pages 71--82, 2006. Google ScholarDigital Library
- J. Rosik, J. Buckley, and M. A. Babar. Design requirements for an architecture consistency tool. In PPIG, Limerick, Ireland, 2009.Google Scholar
- S. A. Roubtsov, A. Serebrenik, A. Mazoyer, and M. G. J. van den Brand. I2SD: Reverse engineering sequence diagrams from enterprise Java Beans with interceptors. In SCAM, pages 155--164, 2011. Google ScholarDigital Library
- S. Shiraishi and M. Abe. Automotive system development based on collaborative modeling using multiple adls. In ESEC/FSE, Szeged, Hungary, 2011.Google Scholar
- The TIMMO Consortium. TADL: Timing Augmented Description Language version 2. http://www.timmo-2-use.org/timmo/index.htm, 2009. (Accessed January 27, 2012).Google Scholar
- M. G. J. van den Brand, Z. Protić, and T. Verhoeff. A generic solution for syntax-driven model co-evolution. In TOOLS, pages 36--51, 2011. Google ScholarDigital Library
- S. Vestal. MetaH support for real-time multi-processor avionics. In Parallel and Distributed Real-Time Systems workshop, pages 11--21, 1997. Google ScholarDigital Library
- M. von der Beeck, P. Braun, U. Freund, and M. Rappl. Architecture Centric Modeling of Automotive Control Software. In SAE Technical Paper Series 2003-01-0856, 2003.Google Scholar
Index Terms
- Automotive ADLS: a study on enforcing consistency through multiple architectural levels
Recommendations
Modelling large-scale information systems using ADLs - An industrial experience report
We report on the experience gained using an ADL to model a large information system.Specialised ADL can have benefits over a general modelling language like UML.The ADL's graphical notation plays an important role in its adoption and acceptance.Familiar ...
Breeze/ADL: Graph Grammar Support for an XML-Based Software Architecture Description Language
COMPSAC '13: Proceedings of the 2013 IEEE 37th Annual Computer Software and Applications ConferenceArchitecture description languages (ADLs) play an important role in specifying the software architectures. While most of these ADLs are unable to deal with the change directly, especially for dynamic evolution of software systems. This paper proposes an ...
Formally modelling software architectures with the UML 2.0 profile for π-ADL
A key aspect of the design of any software system is its architecture. An architecture description, from a runtime perspective, should provide a formal model of the architecture in terms of components and connectors, their ports and behaviours, and how ...
Comments