Challenges in automotive software engineering

ABSTRACT

The amount of software in cars grows exponentially. Driving forces of this development are cheaper and more powerful hardware and the demand for innovations by new functions. The rapid increase of software and software based functionality brings various challenges (see [21], [23], [25], [26]) for the automotive industries, for their organization, key competencies, processes, methods, tools, models, product structures, division of work, logistics, maintenance, and long term strategies. From a software engineering perspective, the automotive industry is an ideal and fascinating application domain for advanced techniques. Although the automotive industry may adopt general results and solutions from the software engineering body of knowledge gained in other domains, the specific constraints and domain specific requirements in the automotive industry ask for individual solutions and bring various challenges for automotive software engineering. In cars we find literally all interesting problems and challenging issues of software and systems engineering.

REFERENCES

• 1: AutoFocus - Webseite, http://autofocus.in.tum.de, 2005.
• 2: AutoFocus 2 - Webseite, http://www4.in.tum.de/~af2/, 2006.
• 3: AutoRAID - Webseite, http://www4.in.tum.de/~autoraid/, 2005.
• 4: AUTOSAR consortium: www.autosar.org, 2005.
• 5: AUTOSAR Development Partnership. www.autosar.com
• 6: A. Bauer, M. Broy, J. Romberg, B. Schätz, P. Braun, U. Freund, N. Mata, R. Sandner, and D. Ziegenbein. Auto-MoDe-Notations, Methods, and Tools for Model-Based Development of Automotive Software. In Proceedings of the SAE 2005 World Congress, Detroit, MI, Apr. 2005. Society of Automotive Engineers.
• 7: M. Bloos: Echtzeitanalyse der Kommunikation in KfZ-Bordnetzen auf Basis des CAN Protokolls, Dissertation TU München, 1999.
• 8: BMW Group: Annual Report 2004.
• 9: J. Botaschanjan , L. Kof , C. Kühnel , M. Spichkova, Towards verified automotive software, Proceedings of the second international workshop on Software engineering for automotive systems, p.1-6, May 21-21, 2005, St. Louis, Missouri
• 10: Manfred Broy , Ketil Stølen, Specification and development of interactive systems: focus on streams, interfaces, and refinement, Springer-Verlag New York, Inc., Secaucus, NJ, 2001
• 11: Manfred Broy, Automotive software engineering, Proceedings of the 25th International Conference on Software Engineering, May 03-10, 2003, Portland, Oregon
• 12: M. Broy: Modeling Services and Layered Architectures. H. König, M. Heiner, A. Wolisz (Eds.): Formal Techniques for Networked and Distributed Systems. Berlin 2003, Lecture Notes in Computer Science 2767, Springer 2003, 48--61.
• 13: M. Broy: Service-oriented Systems Engineering: Specification and Design of Services and Layered Architectures - The Janus Approach. In: Manfred Broy, Johannes Grunbauer, David Harel and Tony Hoare; Engineering Theories of Software Intensive Systems, Marktoberdorf, 3-15 August 2004, Germany, NATO Science Series, II. Mathematics, Physics and Chemistry - Vol 195, Springer.
• 14: M. Broy, A. Pretschner, C. Salzmann, T. Stauner: Software-intensive systems in the automotive domain: challenges for research and education. SAE 2006, to appear.
• 15: M. Broy, F. Deiβenböck, M. Pizka: A Holistic Approach to Software Quality at Work. 3rd World Congress for Software Quality (3WCSQ)J.Dannenberg, C.Kleinhans,: The Coming Age of Collaboration in the Automotive Industry, Mercer Management Journal 18:88--94, 2004.
• 16: D. Herzberg , M. Broy, Modeling layered distributed communication systems, Formal Aspects of Computing, v.17 n.1, p.1-18, May 2005 [doi>10.1007/s00165-004-0051-8]
• 17: Manfred Broy , Bengt Jonsson , Joost-Pieter Katoen , Martin Leucker , Alexander Pretschner, Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science), Springer-Verlag New York, Inc., Secaucus, NJ, 2005
• 18: Manfred Broy, Andreas Rausch: Das Neue V-Modell XT, Informatik Spektrum A 12810, Band 28, Heft 3, June 2005.
• 19: A. Fleischmann, J. Hartmann, C. Pfaller, M. Rappl, S. Rittmann, D. Wild: Concretization and Formalization of Requirements for Automotive Embedded Software Systems Development, In: The Tenth Australian Workshop on Requirements Engineering (AWRE), Melbourne, Australia, K. Cox, J.L. Cybulski et.al (ed.), 2005, 60--65.
• 20: E. Geisberger: Requirements Engineering eingebetteter Systeme - ein interdisziplinärer Modellierungsansatz, Dissertation TU München, 2005.
• 21: Klaus Grimm, Software technology in an automotive company: major challenges, Proceedings of the 25th International Conference on Software Engineering, May 03-10, 2003, Portland, Oregon
• 22: 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]
• 23: Harald Heinecke, Automotive System Design - Challenges and Potential, Proceedings of the conference on Design, Automation and Test in Europe, p.656-657, March 07-11, 2005 [doi>10.1109/DATE.2005.79]
• 24: M. Kuhrmann, D. Niebuhr, A. Rausch: Application of the V-Modell XT - Report from A Pilot Project. In: Unifying the Software Process Spectrum, International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, Mingshu Li, Barry Boehm, Leon J. Osterweil (ed.), pp. 463--473, Springer, 2005.
• 25: Alexander Pretschner , Christian Salzmann , Thomas Stauner, Software engineering for automotive systems at ICSE 2004 workshop summary, ACM SIGSOFT Software Engineering Notes, v.29 n.5, September 2004 [doi>10.1145/1022494.1022506]
• 26: A. Pretschner, C. Salzmann, T. Stauner: SW engineering for automotive systems at ICSE'05. To appear in Software Engineering Notes, 2005.
• 27: A. Rausch, Ch. Bartelt, Th. Ternité, M. Kuhrmann: The V-Modell XT Applied - Model-Driven and Document-Centric Development. In: 3rd World Congress for Software Quality, VOLUME III, Online Supplement, 2005, pp. 131--138.
• 28: S. Rittmann , A. Fleischmann , J. Hartmann , C. Pfaller , M. Rappl , D. Wild, Integrating Service Specifications at Different Levels of Abstraction, Proceedings of the IEEE International Workshop, p.71-78, October 20-21, 2005 [doi>10.1109/SOSE.2005.18]
• 29: Robert Bosch GmbH. CAN Specification Version 2.0, 1991.
• 30: Christian Salzmann , Thomas Stauner, Automotive software engineering: an emerging application domain for software engineering, Languages for system specification: Selected contributions on UML, systemC, system Verilog, mixed-signal systems, and property specification from FDL'03, Kluwer Academic Publishers, Norwell, MA, 2004
• 31: C. Salzmann, H. Heinecke, M. Rudorfer, M. Thiede, T. Ochs, P. Hoser, M. Mössmer, A. Münnich. Erfahrungen mit der technischen Anwendung einer AUTOSAR Runtime Environment, VDI Tagung Elektronik im Kraftfahrzeug, Baden-Baden, 2005.
• 32: B. Schätz, A. Fleischmann, E. Geisberger, M. Pister. Model-Based Requirements Engineering with AutoRAID. In: Informatik 2005, Springer, 2005.
• 33: B. Schätz, Interface Descriptions for Embedded Components. In: Object-oriented Modeling of Embedded Real-Time Systems (OMER'05), Paderborn 2005.
• 34: T. Stauner. Compatibility Testing of Automotive System Components. 5th Int. Conf. on SW Testing (ICSTEST), Düsseldorf, 2004.
• 35: D. Wild, A. Fleischmann, J. Hartmann, C. Pfaller, M. Rappl, S. Rittmann: An Architecture-Centric Approach towards the Construction of Dependable Automotive Software, SAE Technical Paper Series 2006, Detroit, 2006.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.1 Requirements/Specifications
        D.2.10 Design**
        D.2.11 Software Architectures
      D.2.2 Design Tools and Techniques
  D.3 PROGRAMMING LANGUAGES
      D.3.1 Formal Definitions and Theory

General Terms:
Design, Economics, Experimentation, Human Factors, Reliability, Standardization

Keywords:
automotive software engineering, embedded systems, model driven development