Software Engineering for Automotive Systems: A Roadmap

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.

[1]  Thomas Stauner,et al.  Properties of Hybrid Systems—A Computer Science Perspective , 2004, Formal Methods Syst. Des..

[2]  Bernd Hardung,et al.  Reuse of software in distributed embedded automotive systems , 2004, EMSOFT '04.

[3]  Alexander Pretschner,et al.  Abstractions for Model-Based Testing , 2005, Electron. Notes Theor. Comput. Sci..

[4]  S. Buhne,et al.  Modeling features for multi-criteria product-lines in the automotive industry , 2004, ICSE 2004.

[5]  Alberto Ferrari,et al.  Automatic Code Generation and Platform Based Design Methodology: An Engine Management System Design Case Study , 2005 .

[6]  Alberto L. Sangiovanni-Vincentelli,et al.  Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA) , 2004, EMSOFT '04.

[7]  Gérard Berry,et al.  The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..

[8]  Pamela Zave,et al.  Feature interactions and formal specifications in telecommunications , 1993, Computer.

[9]  Paul Clements,et al.  Software product lines - practices and patterns , 2001, SEI series in software engineering.

[10]  Alexander Pretschner,et al.  One evaluation of model-based testing and its automation , 2005, ICSE.

[11]  Ingo Stürmer,et al.  Code Generator Testing in Practice , 2004, GI Jahrestagung.

[12]  Gabor Karsai,et al.  Model-integrated development of embedded software , 2003, Proc. IEEE.

[13]  Alexander Pretschner,et al.  Methodological Issues in Model-Based Testing , 2004, Model-Based Testing of Reactive Systems.

[14]  Ken Butts,et al.  Usage Scenarios for an Automated Model Compiler , 2001, EMSOFT.

[15]  Leonid Kof.  Text analysis for requirements engineering , 2005 .

[16]  Matthias Weber,et al.  Requirements engineering in automotive development-experiences and challenges , 2002, Proceedings IEEE Joint International Conference on Requirements Engineering.

[17]  Jan Romberg,et al.  Synthesis of distributed systems from synchronous dataflow programs , 2006 .

[18]  Ingolf H. Krüger,et al.  Service-Based Software Development for Automotive Applications , 2004 .

[19]  Manfred Broy,et al.  Engineering Automotive Software , 2007, Proceedings of the IEEE.

[20]  Ingolf Krüger,et al.  Model-based run-time monitoring of end-to-end deadlines , 2005, EMSOFT.

[21]  Rainer Otterbach,et al.  Development of Safety-Critical Software Using Automatic Code Generation , 2004 .

[22]  Thomas A. Henzinger,et al.  The Embedded Systems Design Challenge , 2006, FM.

[23]  Pascal Raymond,et al.  The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

[24]  Ingolf Krüger,et al.  Hybrid Sequence Charts , 2000, Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607).

[25]  Eva Geisberger,et al.  Requirements Engineering Reference Model (REM) , 2007, Softwaretechnik-Trends.

[26]  John J. Moskwa,et al.  Automotive Engine Modeling for Real-Time Control Using MATLAB/SIMULINK , 1995 .

[27]  Robert Mores,et al.  FlexRay - The Communication System for Advanced Automotive Control Systems , 2001 .

[28]  Manfred Broy,et al.  AutoMoDe - Notations, Methods, and Tools for Model-Based Development of Automotive Software , 2005 .

[29]  M. Blum,et al.  Compatibility models , 2006, SEAS '06.

[30]  Bernhard Spitzer.  Modellbasierter Hardware-in-the-Loop Test von eingebetteten elektronischen Systemen [online] , 2001 .

[31]  Wolfgang Pree,et al.  Modeling with the Timing Definition Language (TDL) , 2006, ASWSD.