Software Engineering for Automotive Systems: A Roadmap

ABSTRACT

The first pieces of software were introduced into cars in 1976. By 2010, premium class vehicles are expected to contain one gigabyte of on-board software. We present research challenges in the domain of automotive software engineering.

REFERENCES

• 1: Jaswinder Ahluwalia , Ingolf H. Krüger , Walter Phillips , Michael Meisinger, Model-based run-time monitoring of end-to-end deadlines, Proceedings of the 5th ACM international conference on Embedded software, September 18-22, 2005, Jersey City, NJ, USA [doi>10.1145/1086228.1086248]
• 2: [Aut06] AUTOSAR consortium: www.autosar.org, 2006.
• 3: Ken Butts , Dave Bostic , Alongkrit Chutinan , Jeffrey Cook , Bill Milam , Yanxin Wang, Usage Scenarios for an Automated Model Compiler, Proceedings of the First International Workshop on Embedded Software, p.66-79, October 08-10, 2001
• 4: [BBJ+05] A. Bauer, M. Broy, J. Romberg, B. Schätz, P. Braun, U. Freund, N. Mata, R. Sandner, and D. Ziegenbein: "AutoMoDe--Notations, Methods, and Tools for Model-Based Development of Automotive Software". Proc. SAE 2005 World Congress, Detroit, MI, April 2005. Society of Automotive Engineers.
• 5: M. Bechter , M. Blum , H. Dettmering , B. Stützel, Compatibility models, Proceedings of the 2006 international workshop on Software engineering for automotive systems, May 23-23, 2006, Shanghai, China [doi>10.1145/1138474.1138478]
• 6: Albert Benveniste , Benoît Caillaud , Luca P. Carloni , Paul Caspi , Alberto L. Sangiovanni-Vincentelli, Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA), Proceedings of the 4th ACM international conference on Embedded software, September 27-29, 2004, Pisa, Italy [doi>10.1145/1017753.1017790]
• 7: Gérard Berry , Georges Gonthier, The ESTEREL synchronous programming language: design, semantics, implementation, Science of Computer Programming, v.19 n.2, p.87-152, Nov. 1992 [doi>10.1016/0167-6423(92)90005-V]
• 8: [BKP+07] M. Broy, I. Krüger, A. Pretschner, C. Salzmann: "Engineering Automotive Software". To appear in Proceedings of the IEEE, 2007.
• 9: [BLP04] S. Bühne, K. Lauenroth, K. Pohl, M. Weber: "Modeling Features for Multi-Criteria Product-Lines in the Automotive Industry". Proc. 1st Intl. Workshop on SW Engineering for Automotive Systems, pp. 9-16, 2004.
• 10: [BOJ04] M. Beine, R. Otterbach, M. Jungmann: "Development of Safety-Critical Software Using Automatic Code Generation". Proc. SAE World Congress, 2004.
• 11: [Bos01] Robert Bosch GmbH: "CAN Specification Version 2.0", 1991.
• 12: [CN01] P. Clements, L. Northrop: "Software Product Lines--Practices and Patterns", Addison Wesley, 2001.
• 13: [DK04] J. Dannenberg, C. Kleinhans: "The Coming Age of Collaboration in the Automotive Industry", Mercer Management Journal 18:88-94, 2004.
• 14: [D06] Decomsys: "Designer Pro", http://www.decomsys. com/htm/frs/3_flexraydesign_pro.htm, 2006.
• 15: [FGG05] A. Ferrari, G. Gaviani, G. Gentile, M. Stefano, L. Romagnoli, M. Beine: "Automatic Code Generation and Platform Based Design Methodology: An Engine Management System Design Case Study". Proc. SAE World Congress, paper 2005-01-1360, 2005.
• 16: [GBB+06] E. Geisberger, M. Broy, B. Berenbach, J. Kazmeier, D. Paulish, A. Rudorfer: "Requirements Engineering Reference Model (REM)". Internal Report, Software & Systems Engineering, TU München and Siemens Corporate Research Princeton.
• 17: Radu Grosu , Ingolf Krüger , Thomas Stauner, Hybrid Sequence Charts, Proceedings of the Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, p.104, March 15-17, 2000
• 18: [HCR+91] N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud: "The synchronous data-flow programming language LUSTRE". Proceedings of the IEEE, 79(9):1305-1320, September 1991.
• 19: Bernd Hardung , Thorsten Kölzow , Andreas Krüger, Reuse of software in distributed embedded automotive systems, Proceedings of the 4th ACM international conference on Embedded software, September 27-29, 2004, Pisa, Italy [doi>10.1145/1017753.1017787]
• 20: [HS06] T. Henzinger, J. Sifakis: "The Embedded Systems Design Challenge", 2006.
• 21: [ISO01] ISO. Road Vehicles - Controller Area Network (CAN) - Part 4: Time Triggered Comunication. Standard ISO/CD 11898-4, International Organization for Standardization, 2001.
• 22: [Kof05] L. Kof: "Text Analysis for Requirements Engineering". PhD thesis, TU München, 2005.
• 23: [KNP04] I. Krüger, E. Nelson. K.V. Prasad: "Service-based Software Development for Automotive Applications". Proc. CONVERGENCE 2004, 2004.
• 24: [KSL+03] G. Karsai, J. Sztipanovits, A. Ledeczi, T. Bapty: "Model-Integrated Development of Embedded Software". Proceedings of the IEEE, January, 2003.
• 25: [Mat06] The MathWorks, Inc., www.mathworks.com, 2006.
• 26: [MHB+01] R. Mores, G. Hay, R. Belschner et al.: "FlexRay - The Communication System for Advanced Automotive Control Systems". Doc. No. SAE 2001-01-0676, SAE, 2001.
• 27: [P06] preeTEC: "TDL Tool Suite". http://www.preetec.com/, 2006.
• 28: [PP04] W. Prenninger, A. Pretschner: "Abstractions for Model-Based Testing". ENTCS 116:59-71, 2004.
• 29: [PP05] A. Pretschner, J. Philipps: "Methodological Issues in Model-Based Testing". Model Based Testing of Reactive Systems, LNCS 3472, pp. 281-291, 2005.
• 30: A. Pretschner , W. Prenninger , S. Wagner , C. Kühnel , M. Baumgartner , B. Sostawa , R. Zölch , T. Stauner, One evaluation of model-based testing and its automation, Proceedings of the 27th international conference on Software engineering, May 15-21, 2005, St. Louis, MO, USA [doi>10.1145/1062455.1062529]
• 31: [PT06] W. Pree, J. Templ: "Modeling with the Timing Definition Language TDL". Proc. Automotive Software Workshop, San Diego, 2006.
• 32: [Rom06] J. Romberg: "Synthesis of distributed systems from synchronous dataflow programs". Dissertation, Technische Universität München, 2006.
• 33: [SC04] I. Stürmer, M. Conrad: "Code Generator Testing in Practice". Proc. GI Jahrestagung (2), pp. 33-37, 2004.
• 34: [Spi01] B. Spitzer: "Modellbasierter Hardware-in-the Loop Test von eingebetteten elektronischen Systemen". PhD Dissertation, Univ. Karlsruhe, 2001.
• 35: Thomas Stauner, Properties of Hybrid Systems—A Computer Science Perspective, Formal Methods in System Design, v.24 n.3, p.223-259, May 2004 [doi>10.1023/B:FORM.0000026091.03793.cf]
• 36: [WM95] R. Weeks, J. J. Moskwa, "Automotive Engine Modeling for Real-Time Control Using MATLAB/SIMULINK". SAE Paper 950417, 1995.
• 37: [WW03] M. Weber and J. Weisbrod: "Requirements engineering in automotive development: Experiences and challenges". IEEE Software 20 (2003) 16-24.
• 38: [XBW98] X-by-Wire Consortium, "X-by-wire - Safety related fault tolerant systems in vehicles - final report". Project BE95/1329, Contract BRPR-CT95-0032, 1998.
• 39: Pamela Zave, Feature Interactions and Formal Specifications in Telecommunications, Computer, v.26 n.8, p.20-29, August 1993 [doi>10.1109/2.223539]

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.0 General

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.m Miscellaneous

General Terms:
Theory