Software engineering for automotive systems: A roadmap

FoSE 2007: Future of Software Engineering

Volumn , Issue , 2007, Pages 55-71

  Pretschner, Alexander ^a   Broy, Manfred ^b   Krüger, Ingolf H ^c   Stauner, Thomas ^d  

^a ETH ZURICH   (Switzerland)

^b TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^c UNIVERSITY OF CALIFORNIA   (United States)

^d BMW GROUP   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMOTIVE ENGINEERING; DATA STORAGE EQUIPMENT;

ON-BOARD SOFTWARE; PREMIUM CLASS VEHICLES; ROADMAP;

SOFTWARE ENGINEERING;

EID: 34748851553     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FOSE.2007.22     Document Type: Conference Paper

References (39)

1. J. Ahluwalia, I. Krüger, M. Meisinger, W. Phillips: "Model-Based Run-Time Monitoring of End-to-End Deadlines". Proc. EMSOFT, 2005
2. AUTOSAR consortium: www.autosar.org, 2006
3. 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
4. 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 and B. Stützel: "Compatibility models". Proc. 3rd Intl. Workshop on SW Engineering for Automotive Systems, pp. 5-12, 2006
6. 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
7. G. Berry, G. Gonthier: "The ESTEREL synchronous programming language: design, semantics, implementation". Sci. Comput. Program. 19,2 (Nov. 1992), 87-152, 1992
8. M. Broy, I. Krüger, A. Pretschner, C. Salzmann: "Engineering Automotive Software". To appear in Proceedings of the IEEE, 2007
9. st Intl. Workshop on SW Engineering for Automotive Systems, pp. 9-16, 2004
10. M. Beine, R. Otterbach, M. Jungmann: "Development of Safety-Critical Software Using Automatic Code Generation". Proc. SAE World Congress, 2004
11. Robert Bosch GmbH: "CAN Specification Version 2.0", 1991
12. P. Clements, L. Northrop: "Software Product Lines-Practices and Patterns", Addison Wesley, 2001
13. J. Dannenberg, C. Kleinhans: "The Coming Age of Collaboration in the Automotive Industry", Mercer Management Journal 18:88-94, 2004
14. Decomsys: "Designer Pro", http://www.decomsys. com/htm/frs/3_flexraydesign_pro.htm, 2006
15. 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. E. Geisberger, M. Broy, B. Berenbach, J. Kazmeier, D. Paulish, A. Rudorfer: "Requirements EngineeringReference Model (REM)". Internal Report, Software & Systems Engineering, TU München and Siemens Corporate Research Princeton
17. 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
18. 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. B. Hardung, T. Kölzow, A. Krüger: "Reuse of Software in Distributed Embedded Automotive Systems". Proc. EMSOFT, 203-210, 2004
20. T. Henzinger, J. Sifakis: "The Embedded Systems Design Challenge", 2006
21. ISO. Road Vehicles - Controller Area Network (CAN) - Part 4: Time Triggered Comunication. Standard ISO/CD 11898-4, International Organization for Standardization, 2001
22. L. Kof: "Text Analysis for Requirements Engineering". PhD thesis, TU München, 2005
23. I. Krüger, E. Nelson. K. V. Prasad: "Service-based Software Development for Automotive Applications". Proc. CONVERGENCE 2004, 2004
24. G. Karsai, J. Sztipanovits, A. Ledeczi, T. Bapty: "Model-Integrated Development of Embedded Software". Proceedings of the IEEE, January, 2003
25. The MathWorks. Inc., www.mathworks.com. 2006
26. 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. preeTEC: "TDL Tool Suite". http://www.preetec.com/. 2006
28. W. Prenninger, A. Pretschner: "Abstractions for Model-Based Testing". ENTCS 116:59-71, 2004
29. A. Pretschner, J. Philipps: "Methodological Issues in Model-Based Testing". Model Based Testing of Reactive Systems, LNCS 3472, pp. 281-291,2005
30. th Intl. Conf on Software Engineering, St. Louis, 2005, pp.392-401
31. W. Pree, J. Tempi: "Modeling with the Timing Definition Language TDL". Proc. Automotive Software Workshop, San Diego, 2006
32. J. Romberg: "Synthesis of distributed systems from synchronous dataflow programs". Dissertation, Technische Universität München, 2006.
33. I. Stürmer, M. Conrad: "Code Generator Testing in Practice". Proc. GI Jahrestagung (2), pp. 33-37, 2004
34. B. Spitzer: "Modellbasierter Hardware-in-the Loop Test von eingebetteten elektronischen Systemen". PhD Dissertation, Univ. Karlsruhe, 2001
35. T. Stauner: "Properties of Hybrid Systems - A Computer Science Perspective". Formal Methods in System Design 24(3):223-259, 2004.
36. R. Weeks, J.J. Moskwa, "Automotive Engine Modeling for Real-Time Control Using MATLAB/SMULINK". SAE Paper 950417, 1995
37. M. Weber and J. Weisbrod: "Requirements engineering in automotive development: Experiences and challenges". IEEE Software 20 (2003) 16-24
38. 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. P. Zave. "Feature Interactions and Formal Specifications in Telecommunications". IEEE Computer 26(8):20-28, 1993