This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Reducing the Verification Effort for Interfaces of Automotive Infotainment Software
Technical Paper
2015-01-0166
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
Car infotainment systems feature an increasing number of functions to keep pace with consumer needs. The GENIVI Alliance aims to facilitate this evolution of infotainment systems by developing a common baseline where services of different suppliers can easily be integrated on a single hardware platform. Since the huge number of services creates more dependencies and interactions, more effort is required to ensure the same level of quality. We present a novel approach and effective tooling to reduce the effort for the interface verification of in-vehicle software components. Our models create different views of the system. Consistency checks and automated transformations between the views reduce the modeling effort and ensure compatible interactions of distributed software components. Layered reference models separate the description of the structure and the behavior of the services' communication. This simplifies the behavior descriptions and facilitates the usage of different communication technologies, e.g., D-Bus or CAN. Since the reference models are executable specifications, they can be used to verify the communication of the modeled services. This can be tested live or from a trace. In case of required changes to an interface, regression testing can be performed automatically using only the model. We evaluate the benefits and implications of our approach and tool with a case study of an in-vehicle audio function.
Recommended Content
Authors
Topic
Citation
Drabek, C., Paulic, A., and Weiss, G., "Reducing the Verification Effort for Interfaces of Automotive Infotainment Software," SAE Technical Paper 2015-01-0166, 2015, https://doi.org/10.4271/2015-01-0166.Also In
References
- Braun , A. , Bringmann , O. , Rosenstiel , W. Testing with Virtual Prototypes Elektronik Automotive Special Issue MOST 49 51 2011
- Benz , S. Combining test case generation for component and integration testing Proc. of the 3rd Int. Workshop on Advances in model-based testing (A-MOST) 23 33 2007 10.1145/1291535.1291538
- Staats , M. , Whalen , M. , Heimdahl , M. Programs, Tests, and Oracles: The Foundations of Testing Revisited Proc. of the 33rd Int. Conf. on Software Engineering (ICSE) 391 400 2011 10.1145/1985793.1985847
- Peters , D. Automated Testing of Real-Time Systems technical report Memorial Univ. of Newfoundland 1999
- Fuentes , L. , Manrique , J. , Sánchez , P. Pópulo: a tool for debugging UML models Proc. of the 30th Int. Conf. on Software Engineering (ICSE) 955 956 2008 10.1145/1370175.1370205
- Harel , D. , Kugler , H. The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) Integration of Software Specification Techniques for Applications in Engineering 325 354 2004 10.1007/978-3-540-27863-4_19
- Mayerhofer , T. Testing and debugging UML models based on fUML Proc. of the 34th Int. Conf. on Software Engineering (ICSE) 1579 1582 2012 10.1109/ICSE.2012.6227032
- Moura , R.S. , Guedes , L.F. Simulation of industrial applications using the execution environment SCXML Proc. of the 5th IEEE Int. Conf. on Industrial Informatics 255 260 2007 10.1109/INDIN.2007.4384765
- Leucker , M , and Schallhart , C. A brief account of runtime verification The Journal of Logic and Algebraic Programming , The 1st Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'07) 78 5 293 303 2009 10.1016/j.jlap.2008.08.004
- Delgado , N. , Gates , AQ. , Roach , S. A taxonomy and catalog of runtime software-fault monitoring tools IEEE Transactions on Software Engineering 30 12 859 872 2004 10.1109/TSE.2004.91
- Drabek , C. , Pramsohler , T. , Zeller , M. , Weiss , G. Interface Verification Using Executable Reference Models: An Application in the Automotive Infotainment ACESMB@ MoDELS 2013
- Pramsohler , T. , Kafkas , M. , Paulic , A. , Zeller , M. et al. Control Flow Analysis of Automotive Software Components Using Model-Based Specifications of Dynamic Behavior SAE Int. J. Passeng. Cars - Electron. Electr. Syst. 6 2 2013 10.4271/2013-01-0435
- Berg , T. , Jonsson , B. , Raffelt , H. Regular Inference for State Machines with Parameters FASE 2006, LNCS 3922 107 121 2006 10.1007/11693017_10
- Duan L. Model-Based Testing of Automotive HMIs with Consideration for Product Variability Dissertation Ludwig-Maximilians-Universitaet Muenchen 2012
- GENIVI Alliance http://www.genivi.org/ October 2014
- Enterprise Architect http://www.sparxsystems.de/ October 2014
- Rational Rhapsody http://www.ibm.com/ October 2014
- MODENA http://www.berner-mattner.com/ October 2014
- Media Oriented Systems Transport http://www.mostcooperation.com/ October 2014
- Eclipse https://www.eclipse.org/ October 2014
- AUTOSAR Tool Platform User Group https://www.artop.org/ October 2014
- EAST-ADL Tool Platform https://www.eclipse.org/eatop/ October 2014
- D-Bus http://www.freedesktop.org October 2014
- Franca http://eclipse.org/proposals/modeling.franca/ October 2014
- Papyrus http://eclipse.org/papyrus/ October 2014
- Object Management Group (OMG) http://www.omg.org/ October 2014