Article

Free access

Software Engineering for Automotive Systems: A Roadmap

Authors:

Alexander Pretschner,

Manfred Broy,

Ingolf H. Kruger,

Thomas StaunerAuthors Info & Claims

FOSE '07: 2007 Future of Software Engineering

Pages 55 - 71

https://doi.org/10.1109/FOSE.2007.22

Published: 23 May 2007 Publication History

PDF eReader

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]

{AKMP05} J. Ahluwalia, I. Krüger, M. Meisinger, W. Phillips: "Model-Based Run-Time Monitoring of End-to-End Deadlines". Proc. EMSOFT, 2005.

Digital Library

Google Scholar

[2]

{Aut06} AUTOSAR consortium: www.autosar.org, 2006.

Google Scholar

[3]

{BBC+01} K. Butts, D. Bostic, A. Chutinan, J. Cook, B. Milam, and Y. Wang, "Usage Scenarios for an Automated Model Compiler". Proc. EMSOFT, LNCS 2211, pp. 66- 79, 2001.

Digital Library

Google Scholar

[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.

Crossref

Google Scholar

[5]

{BBD+06} M. Bechter, M. Blum, H. Dettmering and B. Stützel: "Compatibility models". Proc. 3rd Intl. Workshop on SW Engineering for Automotive Systems, pp. 5-12, 2006.

Digital Library

Google Scholar

[6]

{BCC+04} A. Benveniste, B. Caillaud, L. Carloni, P. Caspi, A. Sangiovanni-Vincentelli: "Heterogeneous Reactive Systems Modeling: Capturing Causality and the Correctness of Loosely Time-Triggered Architectures (LTTA)". Proc. EMSOFT, September 2004.

Digital Library

Google Scholar

[7]

{BG92} G. Berry, G. Gonthier: "The ESTEREL synchronous programming language: design, semantics, implementation". Sci. Comput. Program. 19, 2 (Nov. 1992), 87-152, 1992.

Digital Library

Google Scholar

[8]

{BKP+07} M. Broy, I. Krüger, A. Pretschner, C. Salzmann: "Engineering Automotive Software". To appear in Proceedings of the IEEE, 2007.

Google Scholar

[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.

Crossref

Google Scholar

[10]

{BOJ04} M. Beine, R. Otterbach, M. Jungmann: "Development of Safety-Critical Software Using Automatic Code Generation". Proc. SAE World Congress, 2004.

Crossref

Google Scholar

[11]

{Bos01} Robert Bosch GmbH: "CAN Specification Version 2.0", 1991.

Google Scholar

[12]

{CN01} P. Clements, L. Northrop: "Software Product Lines--Practices and Patterns", Addison Wesley, 2001.

Google Scholar

[13]

{DK04} J. Dannenberg, C. Kleinhans: "The Coming Age of Collaboration in the Automotive Industry", Mercer Management Journal 18:88-94, 2004.

Google Scholar

[14]

{D06} Decomsys: "Designer Pro", http://www.decomsys. com/htm/frs/3_flexraydesign_pro.htm, 2006.

Google Scholar

[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.

Crossref

Google Scholar

[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.

Google Scholar

[17]

{GKS00} R. Grosu, I. Krüger, T. Stauner: "Hybrid Sequence Charts". Proc. 3rd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), IEEE, 2000.

Digital Library

Google Scholar

[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.

Crossref

Google Scholar

[19]

{HKK04} B. Hardung, T. Kölzow, A. Krüger: "Reuse of Software in Distributed Embedded Automotive Systems". Proc. EMSOFT, 203-210, 2004.

Digital Library

Google Scholar

[20]

{HS06} T. Henzinger, J. Sifakis: "The Embedded Systems Design Challenge", 2006.

Google Scholar

[21]

{ISO01} ISO. Road Vehicles - Controller Area Network (CAN) - Part 4: Time Triggered Comunication. Standard ISO/CD 11898-4, International Organization for Standardization, 2001.

Google Scholar

[22]

{Kof05} L. Kof: "Text Analysis for Requirements Engineering". PhD thesis, TU München, 2005.

Google Scholar

[23]

{KNP04} I. Krüger, E. Nelson. K.V. Prasad: "Service-based Software Development for Automotive Applications". Proc. CONVERGENCE 2004, 2004.

Google Scholar

[24]

{KSL+03} G. Karsai, J. Sztipanovits, A. Ledeczi, T. Bapty: "Model-Integrated Development of Embedded Software". Proceedings of the IEEE, January, 2003.

Crossref

Google Scholar

[25]

{Mat06} The MathWorks, Inc., www.mathworks.com, 2006.

Google Scholar

[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.

Google Scholar

[27]

{P06} preeTEC: "TDL Tool Suite". http://www.preetec.com/, 2006.

Google Scholar

[28]

{PP04} W. Prenninger, A. Pretschner: "Abstractions for Model-Based Testing". ENTCS 116:59-71, 2004.

Digital Library

Google Scholar

[29]

{PP05} A. Pretschner, J. Philipps: "Methodological Issues in Model-Based Testing". Model Based Testing of Reactive Systems, LNCS 3472, pp. 281-291, 2005.

Crossref

Google Scholar

[30]

{PPW+05} 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 ist Automation". Proc. 27th Intl. Conf. on Software Engineering, St. Louis, 2005, pp. 392-401.

Digital Library

Google Scholar

[31]

{PT06} W. Pree, J. Templ: "Modeling with the Timing Definition Language TDL". Proc. Automotive Software Workshop, San Diego, 2006.

Google Scholar

[32]

{Rom06} J. Romberg: "Synthesis of distributed systems from synchronous dataflow programs". Dissertation, Technische Universität München, 2006.

Google Scholar

[33]

{SC04} I. Stürmer, M. Conrad: "Code Generator Testing in Practice". Proc. GI Jahrestagung (2), pp. 33-37, 2004.

Google Scholar

[34]

{Spi01} B. Spitzer: "Modellbasierter Hardware-in-the Loop Test von eingebetteten elektronischen Systemen". PhD Dissertation, Univ. Karlsruhe, 2001.

Google Scholar

[35]

{Sta04} T. Stauner: "Properties of Hybrid Systems--A Computer Science Perspective". Formal Methods in System Design 24(3):223-259, 2004.

Digital Library

Google Scholar

[36]

{WM95} R. Weeks, J. J. Moskwa, "Automotive Engine Modeling for Real-Time Control Using MATLAB/SIMULINK". SAE Paper 950417, 1995.

Crossref

Google Scholar

[37]

{WW03} M. Weber and J. Weisbrod: "Requirements engineering in automotive development: Experiences and challenges". IEEE Software 20 (2003) 16-24.

Digital Library

Google Scholar

[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.

Google Scholar

[39]

{Zav93} P. Zave. "Feature Interactions and Formal Specifications in Telecommunications". IEEE Computer 26(8):20-28, 1993.

Digital Library

Google Scholar

Cited By

View all

Creff SNoir JLenormand EMadelénat SLopez-Herrejon R(2020)Towards facilities for modeling and synthesis of architectures for resource allocation problem in systems engineeringProceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A10.1145/3382025.3414963(1-11)Online publication date: 19-Oct-2020
https://dl.acm.org/doi/10.1145/3382025.3414963
Vogelsang A(2020)Feature dependencies in automotive software systemsJournal of Systems and Software10.1016/j.jss.2019.110458160:COnline publication date: 1-Feb-2020
https://dl.acm.org/doi/10.1016/j.jss.2019.110458
Ozkaya I(2019)If It Does Not Scale, It Does Not Work!IEEE Software10.1109/MS.2018.288599136:2(4-7)Online publication date: 1-Mar-2019
https://dl.acm.org/doi/10.1109/MS.2018.2885991
Show More Cited By

Index Terms

Software Engineering for Automotive Systems: A Roadmap
1. Software and its engineering

Recommendations

Challenges in automotive software engineering
ICSE '06: Proceedings of the 28th international conference on Software engineering

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 ...
Automotive software and systems engineering
MEMOCODE '05: Proceedings of the 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design

Information technology has become the driving force of innovation in many areas of technology and, in particular, in the form of embedded systems in vehicles. Embedded hardware/software systems control innovative functions in cars, support and assist ...
Automotive software engineering: an emerging application domain for software engineering
Languages for system specification

As the innovations in the automotive field shift more and more from mechanical solutions to electronic functions, the automotive domain emerges to one of the most potential application domains of software engineering. In this paper we explain the ...

Comments

Information & Contributors

Information

Published In

FOSE '07: 2007 Future of Software Engineering

May 2007

382 pages

ISBN:0769528295

Publisher

IEEE Computer Society

United States

Publication History

Published: 23 May 2007

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

48
Total Citations
View Citations
4,307
Total Downloads

Downloads (Last 12 months)148
Downloads (Last 6 weeks)45

Reflects downloads up to 04 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Creff SNoir JLenormand EMadelénat SLopez-Herrejon R(2020)Towards facilities for modeling and synthesis of architectures for resource allocation problem in systems engineeringProceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A10.1145/3382025.3414963(1-11)Online publication date: 19-Oct-2020
https://dl.acm.org/doi/10.1145/3382025.3414963
Vogelsang A(2020)Feature dependencies in automotive software systemsJournal of Systems and Software10.1016/j.jss.2019.110458160:COnline publication date: 1-Feb-2020
https://dl.acm.org/doi/10.1016/j.jss.2019.110458
Ozkaya I(2019)If It Does Not Scale, It Does Not Work!IEEE Software10.1109/MS.2018.288599136:2(4-7)Online publication date: 1-Mar-2019
https://dl.acm.org/doi/10.1109/MS.2018.2885991
Daun MBrings JKrajinski LWeyer TSutton SArmbrust OHebig R(2019)On the benefits of using dedicated models in validation processes for behavioral specificationsProceedings of the International Conference on Software and System Processes10.1109/ICSSP.2019.00016(44-53)Online publication date: 25-May-2019
https://dl.acm.org/doi/10.1109/ICSSP.2019.00016
Lazreg SCordy MCollet PHeymans PMosser SAtlee JBultan TWhittle J(2019)Multifaceted automated analyses for variability-intensive embedded systemsProceedings of the 41st International Conference on Software Engineering10.1109/ICSE.2019.00092(854-865)Online publication date: 25-May-2019
https://dl.acm.org/doi/10.1109/ICSE.2019.00092
Eder J(2018)Exploration of hardware topologies based on functions, variability and timingProceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings10.1145/3270112.3275333(145-149)Online publication date: 14-Oct-2018
https://dl.acm.org/doi/10.1145/3270112.3275333
Wohlrab RPelliccione PKnauss ELarsson MKuhrmann MO'Connor RHouston D(2018)Boundary objects in Agile practicesProceedings of the 2018 International Conference on Software and System Process10.1145/3202710.3203155(31-40)Online publication date: 26-May-2018
https://dl.acm.org/doi/10.1145/3202710.3203155
Juhnke KTichy MHoudek FChaudron MCrnkovic IChechik MHarman M(2018)Challenges with automotive test case specificationsProceedings of the 40th International Conference on Software Engineering: Companion Proceeedings10.1145/3183440.3195070(131-132)Online publication date: 27-May-2018
https://dl.acm.org/doi/10.1145/3183440.3195070
Bertram VMaoz SRingert JRumpe Bvon Wenckstern MBatory D(2017)Component and connector views in practiceProceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems10.1109/MODELS.2017.29(167-177)Online publication date: 17-Sep-2017
https://dl.acm.org/doi/10.1109/MODELS.2017.29
Hussein MNouacer RRadermacher A(2017)Safe adaptation of vehicle software systemsMicroprocessors & Microsystems10.1016/j.micpro.2017.06.01452:C(272-286)Online publication date: 1-Jul-2017
https://dl.acm.org/doi/10.1016/j.micpro.2017.06.014
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations

Challenges in automotive software engineering

Automotive software and systems engineering

Automotive software engineering: an emerging application domain for software engineering

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Share

Share this Publication link

Share on social media

Affiliations