Manfred Broy
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.
- AutoFocus - Webseite, http://autofocus.in.tum.de, 2005.]]Google Scholar
- AutoFocus 2 - Webseite, http://www4.in.tum.de/~af2/, 2006.]]Google Scholar
- AutoRAID - Webseite, http://www4.in.tum.de/~autoraid/, 2005.]]Google Scholar
- AUTOSAR consortium: www.autosar.org, 2005.]]Google Scholar
- AUTOSAR Development Partnership. www.autosar.com]]Google Scholar
- 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.]]Google ScholarCross Ref
- M. Bloos: Echtzeitanalyse der Kommunikation in KfZ-Bordnetzen auf Basis des CAN Protokolls, Dissertation TU München, 1999.]]Google Scholar
- BMW Group: Annual Report 2004.]]Google Scholar
- J. Botaschanjan, L. Kof, Ch. Kühnel, M. Spichkova: Towards Verified Automotive Software. ICSE, SEAS Workshop, St. Louis, Missouri, USA May 21, 2005.]] Google ScholarDigital Library
- M. Broy, K. Stølen: Specification and development of interactive systems - Focus on Streams, Interfaces and Refinement, Springer, 2001.]] Google ScholarDigital Library
- M. Broy: Automotive Software Engineering. Proc. ICSE 2003, pp. 719--720.]] Google ScholarDigital Library
- 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.]]Google ScholarCross Ref
- 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.]]Google Scholar
- M. Broy, A. Pretschner, C. Salzmann, T. Stauner: Software-intensive systems in the automotive domain: challenges for research and education. SAE 2006, to appear.]]Google Scholar
- 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.]]Google Scholar
- D. Herzberg, M. Broy: Modeling layered distributed communication systems. Applicable Formal Methods. Springer Verlag, Volume 17, Number 1, May 2005.]] Google ScholarCross Ref
- M. Broy, B. Jonsson, J.-P. Katoen, M. Leucker, A. Pretschner (Eds.); Model-Based Testing of Reactive Systems, Advanced Lectures, Springer-Verlag Berlin Heidelberg 2005.]] Google ScholarDigital Library
- Manfred Broy, Andreas Rausch: Das Neue V-Modell XT, Informatik Spektrum A 12810, Band 28, Heft 3, June 2005.]]Google Scholar
- 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.]]Google Scholar
- E. Geisberger: Requirements Engineering eingebetteter Systeme - ein interdisziplinärer Modellierungsansatz, Dissertation TU München, 2005.]]Google Scholar
- K. Grimm: Software Technology in an Automotive Company-Major Challenges. Proc ICSE 2003, pp. 498--505.]] Google ScholarDigital Library
- B. Hardung, T. Kölzow, A. Krüger: Reuse of Software in Distributed Embedded Automotive Systems. Proc. EMSOFT'04, pp. 203--210, 2004.]] Google ScholarDigital Library
- H. Heinecke: Automotive System Design-Challenges and Potential. Proc. DATE'05.]] Google ScholarDigital Library
- 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.]] Google ScholarDigital Library
- A. Pretschner, C. Salzmann, T. Stauner: SW engineering for automotive systems at ICSE'04. Software Engineering Notes 29(5):5--6, 2004.]] Google ScholarDigital Library
- A. Pretschner, C. Salzmann, T. Stauner: SW engineering for automotive systems at ICSE'05. To appear in Software Engineering Notes, 2005.]] Google ScholarDigital Library
- 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.]]Google Scholar
- S. Rittmann, A. Fleischmann, J. Hartmann, C. Pfaller, M. Rappl, D. Wild: Integrating Service Specifications on Different Levels of Abstraction, In: IEEE International Workshop on Service-Oriented System Engineering (SOSE), IEEE (ed.), IEEE, 2005.]] Google ScholarDigital Library
- Robert Bosch GmbH. CAN Specification Version 2.0, 1991.]]Google Scholar
- C. Salzmann, T. Stauner: Automotive Software Engineering. Languages for system specification: Selected contributions on UML, systemC, system Verilog, mixed-signal systems, and property specification from FDL'03, pp. 333--347, Kluwer 2004.]] Google ScholarDigital Library
- 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.]]Google Scholar
- B. Schätz, A. Fleischmann, E. Geisberger, M. Pister. Model-Based Requirements Engineering with AutoRAID. In: Informatik 2005, Springer, 2005.]]Google Scholar
- B. Schätz, Interface Descriptions for Embedded Components. In: Object-oriented Modeling of Embedded Real-Time Systems (OMER'05), Paderborn 2005.]]Google Scholar
- T. Stauner. Compatibility Testing of Automotive System Components. 5th Int. Conf. on SW Testing (ICSTEST), Düsseldorf, 2004.]]Google Scholar
- 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.]]Google Scholar
Index Terms
- Challenges in automotive software engineering
Recommendations
Revealing the complexity of automotive software
ESEC/FSE 2020: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software EngineeringSoftware continues its procession into the core of the modern cars. Sophisticated functionalities, like connectivity and active safety, provide gratifying comfort to its users. With the sophisticated functionality, however, comes the underlying ...
Automotive software engineering
A comprehensive survey of literature on Automotive Software Engineering (ASE).679 primary studies were identified, classified and analyzed with respect to five dimensions.Three most investigated areas include software architecture & design, testing and ...
Automotive software engineering: an emerging application domain for software engineering
Languages for system specificationAs 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