Engineering automotive software

Proceedings of the IEEE

Volumn 95, Issue 2, 2007, Pages 356-373

  Broy, Manfred ^a   Krüger, Ingolf H ^b   Pretschner, Alexander ^c   Salzmann, Christian ^d  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^b UNIVERSITY OF CALIFORNIA   (United States)

^c ETH ZURICH   (Switzerland)

^d BMW AG   (Germany)

Author keywords

Road vehicle electronics; Software engineering; Systems integration

Indexed keywords

AUTOMOTIVE INDUSTRY;

AUTOMOTIVE SOFTWARE; DIVISION OF LABOR; DRIVING FORCES; KEY COMPETENCIES; LONG-TERM STRATEGY; PRODUCT STRUCTURE; ROAD VEHICLE ELECTRONICS; SYSTEMS INTEGRATION;

SOFTWARE ENGINEERING;

EID: 34548723414     PISSN: 00189219     EISSN: None     Source Type: Journal    
DOI: 10.1109/JPROC.2006.888386     Document Type: Article

References (112)

1. D. Ahern, A. Clouse, and R. Turner, "CMMi distilled-An introduction to multi-discipline process improvement," in SEI Series in Software Engineering, Reading, MA: Addison-Wesley, 2001.
2. J. Ahluwalia, I. H. Krüger, M. Meisinger, and W. Phillips, "Model-based run-time monitoring of end-to-end deadlines," in Proc. Conf. Embedded Syst, Softw, (EMSOFT), 2005, pp. 100-109.
3. I. Alexander, "Misuse cases-use cases with hostile intent," IEEE Software, pp. 58-66, Jan. 2003.
4. A. Angermann, M. Beuschel, M. Rau, and U. Wohlfahrth, Matlab-Simulink-Stateflow. München, Germany: Oldenbourg Verlag, 2003.
5. AUTOSAR consortium, 2006. [Online]. Available: www.autosar.org.
6. J. Axelsson, J. Fröberg, H. Hansson, C. Norström, K. Sandström, and B. Villing, "A comparative case study of distributed network architectures for different automotive applications," MRTC, Tech. Rep. 478, 2003-01-28, 2003.
7. A. Bauer, M. Broy, J. Romberg, ". 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 Proc. SAE 2005 World Congr., Detroit, MI, Apr. 2005, pp. 33-42.
8. M. Bechter, M. Blum, H. Dettmering, and B. Stützel, "Compatibility models," in Proc. 2006 Int. Workshop. Softw. Eng. for Automotive Syst., Shanghai, China, May 2006, pp. 5-12.
9. M. Beine, R. Otterbach, and M. Jungmann, "Development of safety-critical software using automatic code generation," presented at the Proc. SAE World Congr., 2004, paper 2004-01-0708, publication SP-1852: In-vehicle networks and software, electrical wiring harnesses, and electronics and systems reliability.
10. G. Berry and G. Gonthier, "The ESTEREL synchronous programming language: Design, semantics, implementation," Sci. Comput. Program, vol. 19, no. 2, pp. 87-152, Nov. 1992.
11. G. Berry, "The Constructive Semantics of Pure Esterel, Draft Book," Jul. 2, 1999, ver. 3.
12. Bluetooth CIG, Specification of the Bluetooth System, ver. 1.1, Feb. 22, 2001. [Online]. Available: www.bluetooth.com.
13. Robert Bosch GmbH, CAN Specification Ver. 2.0, 1991.
14. F. Boussinot and R. de Simone, "The ESTEREL language," INRIA, Tech. Rep. 1487, Jul. 1991.
15. T. Bowen, F. Dworack, C. Chow, N. Grifeth, G. Herman, and Y. Lin, "The feature interaction problem in telecommunication systems," in Proc 7th Int. Conf. Softw. Eng. Telecommun. Switching Syst., 1989, pp. 59-62.
16. E. Bringmann and A. Krämer, "Systematic testing of the continuous behavior of automotive systems," in Proc. 2006 Int. Workshop Softw. Eng. Automotive Syst., Shanghai, China, May 2006, pp. 13-20.
17. C. Brooks and A. Rakotonirainy, "In-vehicle technologies, advanced driver assistance systems and driver distraction: Research challenges," in Proc. Int. Conf. Driver Distraction, Sydney, Australia, 2005.
18. M. Broy, "Architecture driven modeling in software development," in Proc. 9th Int. Conf. Eng. Complex Comput. Syst., Florence, 2004, pp. 3-14.
19. -, "Challenges in automotive software engineering," in Proc. 28th Intl. Conf. Softw. Eng., Shanghai, China, 2006.
20. M. Broy, F. DeiQenböck, and M. Pizka, "A holistic approach to software quality at work," in Proc. 3rd World Congr. Softw. Quality, Munich, Germany, 2005.
21. M. Broy, ". Jonsson, J.-P. Katoen, M. Leucker, and A. Pretschner, "Model-based testing of reactive systems," in Lecture Notes in Computer Science. Berlin, Germany: Springer-Verlag, 2005, vol. 3472.
22. M. Broy and I. Krüger, "Interaction interfaces-Towards a scientific foundation of a methodological usage of message sequence charts," in Proc. Formal Engineering Methods (ICFEM'98), J. Staples, M. G. Hinchey, and S. Liu, Eds., 1998, pp. 2-15.
23. M. Broy, A. Pretschner, C. Salzmann, and T. Stauner, "Software- intensive systems in the automotive domain: Challenges for research and education," presented at the Proc. SAE World Congress, 2006, paper 2006-01-1458.
24. J. Botaschanjan, L. Kof, C. Kühnel, and M. Spichkova, "Towards verified automotive software," in Proc. 2nd Int. Workshop Softw. Eng. Automotive Syst. SEAS'05, 2005, pp. 1-6.
25. K. Butts, D. Bostic, A. Chutinan, J. Cook, B. Milam, and Y. Wang, "Usage scenarios for an automated model compiler," in Proc. EMSOFT 2001, vol. 2211, LNCS, T. A. Henzinger and C. M. Kirsch, Eds., 2001, pp. 66-79.
26. P. Caspi, A. Curic, A. Maignan, C. Sofronis, S. Tripakis, and P. Niebert, "From simulink to SCADE/lustre to TTA: A layered approach for distributed embedded applications," in Proc. 2003 ACM SIGPLAN Conf. Language, Compiler, and Tool for Embedded Syst., 2003, pp. 153-162.
27. C. Chan and B. Bougler, "Evaluation of cooperative roadside and vehicle-based data collection for assessing intersection conflicts," in Proc. IEEE Intell. Vehicles Symp., 2005, pp. 165-170.
28. B. P. Crow, I. Widjaja, L. G. Kim, and P. T. Sakai, "IEEE 802.11 wireless local area networks," IEEE Commun. Mag., vol. 35, no. 9, pp. 116-126, Sep. 1997.
29. K. Czarnecki and U. Eisenecker, Generative Programming. Reading, MA: Addison-Wesley, 2000.
30. J. Dannenberg and C. Kleinhans, "The coming age of collaboration in the automotive industry," Mercer Manage. J., vol. 18, pp. 88-94, 2004.
31. A. Dornan, The Essential Guide to Wireless Communication Applications: From Mobile Systems to Wi-Fi. Upper Saddle River, NJ: Prentice-Hall, 2002.
32. L. Fanucci, A. Giambastiani, F. Iozzi, C. Marino, and A. Rocchi, "Platform based design for automotive sensor conditioning," in Proc. Conf. Design, Automation and Test in Europe, vol. 3, 2005, pp. 186-191.
33. M. Eckrich, J. Schäuffele, and W. Baumgartner, "New steering system-BMW on the road to success with ASCET-SD, ES1000 and INCA," RealTimes, vol. 1, pp. 20-21, 2001.
34. K. El Eman, J. N. Drouin, and W. Melo, SPICE: The Theory and Practice of Software Process Improvement and Capability Determination. Los Alamitos, CA: IEEE Computer Society Press, 1997, p. 450.
35. B. Emaus, "Hitchhiker's guide to the automotive embedded software universe," in Proc. Keynote Presentation at SEAS'05 Workshop. [Online]. Available: http://www.inf.ethz.ch/personal/pretscha/events/seas05/ bruce-emaus-keynote-050521.pdf.
36. Esterel Technologies Inc. [Online]. Available: http://www.esterel- technologies.com.
37. European Commission/Directorate General Energy and Transport. (2006, Jul.). Road safety evolution in EU. [Online]. Available: http://ec.europa.eu/transport/roadsafety/road-safety-observatory/doc/ historical-evol.pdf.
38. A. Ferrari, G. Gaviani, G. Gentile, M. Stefano, L. Romagnoli, and M. Beine, "Automatic code generation and platform based design methodology: An engine management system design case study," presented at the Proc. SAE World Congr., 2005, paper 2005-01-1360.
39. A. Fleischmann, J. Hartmann, C. Pfaller, M. Rappl, S. Rittmann, and D. Wild, BConcretization and formalization of requirements for automotive embedded software systems development," in Proc. 10th Australian Workshop Requirements Eng., K. Cox, J. L. Cybulski et al., Eds.,Melbourne, Australia, 2005, pp. 60-65.
40. L. Fletcher, L. Petersson, and A. Zelinsky, "Road scene monotony detection in a fatigue management driver assistance system," in Proc. IEEE Intell. Vehicles Symp., 2005, pp. 484-489.
41. U. Freund, H. Lönn, E. Silva, J. Migge, M. Weber, M.-O. Reiser, M. von der Beeck, B. Godard, and D. Bugnot, "The EAST-ADL-A joint effort of the European automotive industry to structure distributed automotive embedded control software," in Proc. 2nd Eur. Congr. Embedded Real Time Soft., Toulouse, France, 2004.
42. J. Fröberg, K. Sandström, C. Norström, H. Hansson, J. Axelsson, and B. Villing, "Correlating business needs and network architectures in automotive applications-A comparative case study," in Proc. 5th IFAC Int. Conf. Fieldbus Systems and Their Applications (FET), Aveiro, Portugal, 2003, pp. 219-228.
43. J. Fröberg, K. Sandström, and C. Norström, "Business situation reflected in automotive electronic architectures: Analysis of four commercial cases," in Proc. 2nd Int. Workshop Softw. Eng. Automotive Syst., St. Louis, MO, May 2005, pp. 1-6.
44. E. Geisberger, "Requirements Engineering eingebetteter Systeme-ein interdisziplinärer Modellierungsansatz," Dissertation TU München, München, Germany, 2005.
45. P. Giusto, A. Ferrari, L. Lavagno, J.-Y. Brunel, E. Fourgeau, and A. Sangiovanni-Vincentelli, "Automotive virtual integration platforms: Why's, what's, and how's," in Proc. IEEE Intl. Conf. Comput. Design: VLSI in Comput. Processors, 2002, pp. 370-378.
46. K. Grimm, "Software technology in an automotive company: Major challenges," in Proc. 25th Int. Conf. Softw. Eng, 2003, pp. 498-503.
47. Hansen, "Software-defined features," The Hansen Report on Automotive Electronics. A Business and Technology Newsletter, vol. 18, no. 4, May 2005.
48. -, "Software process standards gaining influence," The Hansen Report on Automotive Electronics. A Business and Technology Newsletter, vol. 18, no. 6, Jul./Aug. 2005.
49. K. Hänninen, J. Mäki-Turja, and M. Nolin, "Present and future requirements in developing industrial embedded real-time systems-Interviews with designers in the vehicle domain," presented at the 13th Annu. IEEE Int. Conf. Workshop Eng. Comput. Based Syst., Potsdam, Germany, 2006.
50. B. Hardung, T. Kölzow, and A. Krüger, "Reuse of software in distributed embedded automotive systems," in Proc. EMSOFT, 2004, pp. 203-210.
51. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, "The synchronous data-flow programming language LUSTRE," Proc. IEEE, vol. 79, no. 9, pp. 1305-1320, Sep. 1991.
52. G. Halmans and K. Pohl, "Communicating the variability of a software-product family to customers," Softw. Syst. Modeling, vol. 2, no. 1, pp. 15-36, Mar. 1, 2003.
53. G. R. Hellestrand, "The engineering of supersystems," IEEE Comput., vol. 38, no. 1, pp. 103-105, Jan. 2005.
54. -, "Systems architecture: The empirical way-Abstract architecture to optimal systems," in Proc. 5th ACM Int. Conf. Embedded Syst., Sep. 2005, pp. 147-158.
55. T. A. Henzinger, C. M. Kirsch, and S. Matic, "Composable code generation for distributed Giotto," in Proc. 2005 ACM SIGPLAN/SIGBED Conf. Languages, Compilers, and Tools for Embedded Syst., Chicago, IL, Jun. 2005, pp. 21-30.
56. W. Hohmann, "Supporting model-based development with unambiguous specifications, formal verification and correct-by-construction," in Proc. Embedded Softw. World Congr. Exhibition, Detroit, MI, Mar. 2003.
57. K. Huang, M. M. Trivedi, and T. Gandhi, "Driver's view and vehicle surround estimation using omnidirectional video stream," in Proc. IEEE Intell. Vehicles Symp., Columbus, OH, Jun. 9-11, 2003.
58. ISO, Road Vehicles-Interchange of Digital Information-Part 1: Controller Area Network Data Link Layer and Medium Access Control, Standard ISO/CD 11898-1, International Organization for Standardization.
59. ISO, Road Vehicles-Controller Area Network (CAN)-Part 2: High Speed Medium Access, Standard ISO/CD 11898-2, International Organization for Standardization.
60. ISO, Road Vehicles-Controller Area Network (CAN)-Part 4: Time Triggered Communication, Standard ISO/CD 11898-4, International Organization for Standardization, 2001.
61. ITU-TS, Recommendation Z.120: Message Sequence Chart (MSC), Geneva Switzerland, 1999.
62. A. Jameel, M. Stuempfle, D. Jiang, and A. Fuchs, "Web on wheels: Toward internet-enabled cars," Computer, vol. 31, no. 1, pp. 69-76, 1998.
63. M. Jersak, K. Richter, R. Ernst, J. Braam, Z. Jiang, and F. Wolf, "Formal methods for integration of automotive software," in Proc. Conf. Design, Automation and Test in Europe, Mar. 2003, Designers' Forum-Vol. 2.
64. R. K. Jurgen, Automotive Electronics Handbook. New York: McGraw-Hill, 1999.
65. H. Kaaranen, S. Naghian, L. Laitinen, A. Ahtiainen, and V. Niemi, UMTS Networks: Architecture, Mobility and Services. New York: Wiley, 2001.
66. K. Keutzer, A. R. Newton, J. M. Rabaey, and A. Sangiovanni-Vincentelli, "System-level design: Orthogonalization of concerns and platform-based design," IEEE Trans. Comput.-Aided Design of Integr. Circuits Syst., vol. 19, no. 12, pp. 1523-1543, Dec. 2000.
67. H. Kopetz, "The time-triggered approach to real-time system design," in Predictably Dependable Computing Systems, ser. ESPRIT Basic Research Series. Berlin, Germany: Springer-Verlag, 1995.
68. I. H. Krüger, R. Matthew, and M. Meisinger, "Efficient exploration of service-oriented architectures using aspects," in Proc. Int. Conf. Softw. Eng., 2006, pp. 62-71.
69. I. Krüger, E. Nelson, and K. V. Prasad, "Service-based software development for automotive applications," in Proc. CONVERGENCE, 2004, pp. 309-317.
70. K. Lamberg, M. Beine, M. Eschmann, R. Otterbach, M. Conrad, and I. Fey, "Model-based testing of embedded automotive software using Mtest," presented at the Proc. of SAE World Congress 2004, Detroit, MI, 2004, SAE Tech. Paper Series 2004-01-1593.
71. W. Längst, A. Lapp, K. Knorr, H.-P. Schneider, J. Schirmer, D. Kraft, and W. Kiencke, "CARTRONIC-UML models: Basis for partially automated risk analysis in early development phases," in Proc. Workshop on Critical Systems Development With UML, 2002, pp. 3-18.
72. G. Leen, D. Heffernan, and A. Dunne, "Digital networks in the automotive vehicle," Comput. Control Eng. J., vol. 10, no. 6, pp. 257-266, Dec. 1999.
73. G. Leen and D. Heffernan, "Expanding automotive electronic systems," IEEE Comput., vol. 35, no. 1, pp. 88-93, Jan. 2002.
74. -, "TTCAN: A new time-triggered controller area network," Microprocessors and Microsystems, vol. 26, no. 2, pp. 77-94, Mar. 17, 2002.
75. H. Lönn, T. Saxena, M. Nolin, and M. Törngren, "FAR EAST: Modeling an automotive software architecture using the EAST ADL," in Proc. Workshop Softw. Eng. Automotive Syst., pp. 43-50, 2004.
76. S. Matic and T. A. Henzinger, "Trading end-to-end latency for composability," in Proc. 26th IEEE Int. Real-Time Syst. Symp., Dec. 5-8, 2005, pp. 99-110.
77. R. E. McDermott, R. J. Mikulak, and M. R. Beauregard, The Basics of FMEA. New York: Quality Resources, 1996.
78. N. Medvidovic and R. N. Taylor, "A classification and comparison framework for software architecture description languages," IEEE Trans. Softw. Eng., vol. 26, no. 1, pp. 70-93, Jan. 2000.
79. A. Möller, M. Åkerholm, J. Fröberg, and M. Nolin, "Industrial grading of quality requirements for automotive software component technologies," in Proc. Embedded Real-Time Systems Implementation Workshop in Conjunction With the 26th IEEE Int. Real-Time Syst. Symp., Miami, Dec. 2005. [Online]. Available: http://www.cs.york.ac.uk/ rtslab/demos/ertsi/final-papers/anders-moller.pdf.
80. R. Mores, G. Hay, R. Belschner, J. Berwanger, C. Ebner, S. Fluhrer, E. Fuchs, B. Hedenetz, W. Kuffner, A. Krüger, P. Lormann, D. Millinger, M. Peller, J. Ruh, A. Schedl, and M. Sprachmann, "FlexRay-The communication system for advanced automotive control systems," SAE, Doc. No. SAE 2001-01-0676, 2001.
81. S. Neema, J. Sztipanovits, G. Karsai, and K. Butts, "Constraint- based design-space exploration and model synthesis," in Proc. EMSOFT, 2003, pp. 290-305.
82. Object Management Group OMG, CORBA: The common object request broker, architecture and specification, Framingham, 1995.
83. Object Management Group OMG, UML 2.0 Superstructure Specification, 2003, OMG Adopted Specification ptc/03-08-02.
84. D. Parnas, "On the criteria to be used to decompose systems into modules," Commun. ACM, vol. 15, pp. 1053-1058, 1972.
85. F. Pettersson, M. Ivarsson, and P. Öhman, "Automotive use case standard for embedded systems," in Proc. 2nd Int. Workshop Softw. Eng. Automotive Syst., 2005, pp. 1-6.
86. K. Pohl and A. Reuys, "Considering variabilities during component selection in product family development," in Proc. 4th Workshop on Product Family Eng., 2002, pp. 22-37.
87. A. Pretschner, W. Prenninger, S. Wagner, C. Kühnel, M. Baumgartner, ". Sostawa, R. Zölch, and T. Stauner, "One evaluation of model-based testing and IST automation," in Proc. 27th Int. Conf. Softw. Eng., St. Louis, 2005, pp. 392-401.
88. J. Romberg, "Synthesis of distributed systems from synchronous dataflow programs," Ph.D. dissertation, Fakultät für Informatik, Technische Universität, München, Germany, 2006.
89. S. Rittmann, A. Fleischmann, J. Hartmann, C. Pfaller, M. Rappl, and D. Wild, "Integrating service specifications on different levels of abstraction," in Proc. IEEE Int. Workshop Service-Oriented Syst. Eng., 2005, pp. 63-70.
90. C. Salzmann and T. Stauner, "Automotive software engineering," in Languages for System Specification: Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification From FDL'03, pp. 333-347, 2004.
91. S. Sims, R. Cleaveland, K. Butts, and S. Ranville, "Automated validation of software models," in Proc. 16th IEEE Int. Conf. Automated Softw. Eng., 2001, p. 91.
92. J. Snell, D. Tidwell, and P. Kulchenko, Programming Web Services With SOAP. Sebastopol, CA: O'Reilly, 2002.
93. Software Engineering Institute, Capability Maturity Model Integration, CMMI, Version 1.1, Carnegie Mellon Univ., Pittsburgh, PA, 2003.
94. D. H. Stamatis, Failure Mode and Effectanalysis: FMEA From Theory to Execution. Milwaukee, WI: ASQC Quality Press, 1995.
95. J. Staschulat, R. Ernst, A. Schulze, and F. Wolf, "Context sensitive performance analysis of automotive applications," in Proc. Conf. Design, Automation and Test in Europe, Mar. 2005, vol. 3, pp. 165-170.
96. T. Stauner, "Compatibility testing of automotive system components," in Proc. 5th Int. Conf. SW Testing (ICSTEST), Düsseldorf, 2004.
97. I. Stürmer, M. Conrad, I. Fey, and H. Dörr, "Experiences with model and autocode reviews in model-based software development," in Proc. SEAS' Workshop, 2006, pp. 45-52.
98. Sun Microsystems. (2006). Java 2 Platform, Enterprise Edition (J2EE). [Online]. Available: http://java.sun.com/javaee/index.jsp.
99. Y. Suzuki, T. Fujii, and M. Tanimoto, "Parking assistance using multi-camera infrastructure," in Proc. IEEE Intell. Vehicles Symp., 2005, pp. 106-110.
100. J. Thate, L. Kendrick, and S. Nadarajah, "Caterpillar: Automatic code generation," presented at the Proc. SAE World Congress, 2004, paper 2004-01-0894, publication SP-1822: Electronic Engine Controls.
101. S. Thiel and A. Hein, "Modelling and using product line variability in automotive systems," IEEE Software, vol. 19, no. 4, pp. 66-72, Jul./Aug. 2002.
102. K. Tindell, H. Kopetz, F. Wolf, and R. Ernst, "Safe automotive software development," in Proc. Design, Automation and Test in Eur. Conf. Exhibition, 2003, Munich, Germany, Mar. 2003, pp. 616-621.
103. S. Voget and M. Becker, "Establishing a software product line in an immature domain software product lines," in Proc. 2nd Int. Conf. Software Product Lines, San Diego, CA, Aug. 19-22, 2002, pp. 60-67.
104. M. Weber and J. Weisbrod, "Requirements engineering in automotive development: Experiences and challenges," IEEE Softw., 2003, vol. 20, pp. 16-24.
105. R. Weeks and J. J. Moskwa, Automotive Engine Modeling for Real-Time Control Using MATLAB/SIMULINK, 1995, SAE Paper 950 417.
106. D. Wild, A. Fleischmann, J. Hartmann, C. Pfaller, M. Rappl, and S. Rittmann, An Architecture-Centric Approach Towards the Construction of Dependable Automotive Software, SAE, Tech. Paper Series 2006, 2006.
107. C. Wilwert, N. Navet, Y.-Q. Song, and F. Simonot-Lion, "Design of automotive X-by-wire systems," in The Industrial Communication Technology Handbook, R. Zurawski, Ed. Boca Raton, FL: CRC Press, 2004.
108. World Wide Web Consortium (W3C), Web services architecture, Working Group Note. [Online]. Available: http://www.w3.org/TR/ws-arch.
109. X-by-Wire Consortium, X-by-Wire-Safety Related Fault Tolerant Systems in Vehicles-Final Rep., Project BE95/1329, Contract BRPR-CT95-0032, 1998.
110. P. Zave, "Feature interactions and formal specifications in telecommunications," IEEE Computer, vol. 26, no. 8, pp. 20-28, 1993.
111. D. Ziegenbein, P. Braun, U. Freund, A. Bauer, J. Romberg, and B. Schätz, "AutoMoDe-Model-based development of automotive software," in Proc. Conf. Design, Automation and Test in Europe, Mar. 2005, vol. 3, pp. 171-177.
112. H. Zeng, A. Davare, A. Sangiovanni- Vincentelli, S. Sonalkar, S. Kanajan, and C. Pinello, Design Space Exploration of Automotive Platforms in Metropolis, Society of Automotive Engineers Congress, Apr. 2006.