Skip to main content
SpringerLink
Log in

Das AutoMoDe-Projekt

Modellbasierte Entwicklung softwareintensiver Systeme im Automobil

  • Reguläre Beiträge
  • Published:
Informatik - Forschung und Entwicklung

Zusammenfassung

Die Entwicklung eingebetteter Software für Automobile ist inhärent komplex und vereint verschiedene Entwicklungsphasen, mehrere fachliche Disziplinen, sowie verschiedene Akteure in beteiligten Unternehmen. Der AutoMoDe-Ansatz zur Entwicklung automotiver Software beschreibt Systeme auf verschiedenen Abstraktionsebenen und definiert schrittweise Übergänge zwischen diesen Ebenen. Neben der Definition geeigneter Ebenen werden zur Modellierung von Echtzeitsystemen ein einheitliches Berechnungsmodell sowie domänenspezifische Beschreibungstechniken verwendet. Automatisierte Anbindungen für Analyse und Synthese komplexer Softwaresysteme mit dem Ziel eines konsistenzbetonten Entwicklungsprozesses wurden realisiert. Die beschriebenen Techniken wurden in den Werkzeugprototypen AutoFocus integriert und im Zusammenspiel mit einer Werkzeugkette demonstriert.

Abstract

Development of embedded automotive software is inherently complex and involves different stakeholders, phases, and disciplines. The AutoMoDe approach to automotive software development defines distinct levels of abstraction for integrated development, and defines stepwise transitions between the levels. Along with the definition of suitable abstraction levels, to support modeling of real-time systems, a homogeneous operational model along with domain-specific notations are used. Automated backend functionalities for analysis and synthesis of complex software systems, with the goal of a consistent development process, were devised. The techniques described have been integrated into the tool prototype AutoFocus and have been demonstrated by the construction of a tool chain.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Literatur

  1. Das Projekt EAST-EEA – Eine middlewarebasierte Softwarearchitektur für vernetzte Kfz-Steuergeräte. In: VDI-Kongress Elektronik im Kraftfahrzeug. Number 1789 in VDI Berichte. Baden-Baden, 2003

  2. Amálio N, Polack F (2003) Comparison of formalisation approaches of UML class constructs in Z and Object-Z. In: ZB 2003. volume 2651 of LNCS. Springer

  3. Baleani M, Ferrari A, Mangeruca L, Sangiovanni-Vincentelli AL, Freund U, Schlenker E, Wolff HJ (2005) Correct by construction transformations across design environments for model-based embedded software development. In: DATE 05

  4. Bauer A, Romberg J (2004) Model-based deployment in automotive embedded software. In: MOMPES 2004

  5. Bauer A, Romberg J, Schätz B (2005) Integrierte Entwicklung von Automotive-Software mit AutoFocus. Informatik Forsch Entw 19(4):194–205

    Article  Google Scholar 

  6. Benveniste A, Caspi P, Edwards S, Halbwachs N, Guernic PL, Simone RD (2003) The Synchronous Languages Twelve Years Later. Proc IEEE 91(1):64–83

    Article  Google Scholar 

  7. Benveniste A, Caspi P, Guernic PL, Halbwachs N (1993) Data-Flow Synchronous Languages. In: REX School/Symposium pp 1–45

  8. Braun P, Lötzbeyer H, Schätz B, Slotosch O (2000) Consistent integration of formal methods. In: TACAS 2000 number LNCS 2280. Springer

  9. Broy M, Huber F, Schätz B (1999) AutoFocus – Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme. Informatik Forsch Entw 14(3):121–134

    Article  Google Scholar 

  10. Broy M, Stølen K (2001) Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer

  11. Damm W (2006) Embedded system development for automotive applications: trends and challenges. In: EMSOFT. ACM. ed by Min SL, Yi W

  12. ETAS GmbH (2001) ASCET-SD Benutzerhandbuch

  13. ETAS GmbH (2005) INTECRIO User Guide V 1.0

  14. France R, Evans A, Lano K, Rumpe B (1998) The UML as a formal modeling notation. Comput Stand Interf 19(7):325–334

    Article  Google Scholar 

  15. Giese H, Burmester S, Schäfer W, Oberschelp O (2004) Modular design and verification of component-based mechatronic systems with online-reconfiguration. In: FSE-12. ACM

  16. Huber F, Schätz B, Einert G (1997) Consistent Graphical Specification of Distributed Systems. In: FME’97, LNCS 1313. Springer

  17. LiveDevices York (2005) RTA-OSEK User Guide V 4.0

  18. Maraninchi F, Raymond Y (2003) Mode-automata: a new domain-specific construct for the development of safe critical systems. Sci Comput Program 46(3):219–254

    Article  MATH  Google Scholar 

  19. The MathWorks Inc. (2000) Using Simulink

  20. Müller-Glaser KD, Frick G, Sax E, Kühl M (2004) Multiparadigm Modeling in Embedded Systems Design. IEEE Trans Control Syst Technol 12(2):279–292, March

    Article  Google Scholar 

  21. Mutz M, Huhn M, Goltz U, Krömke C (2003) Model based system development in automotive. In: SAE World Congress

  22. Poledna S, Mocken T, Scheimann J, Beck T (1995) Ercos: An operationg system for automotive applications. In: SAE World Congress

  23. Romberg J (2006) Synthesis of distributed systems from synchronous dataflow programs. PhD thesis TU-München

  24. Scharnhorst T, Heinecke H, Schnelle KP, Fennel H, Bortolazzi J, Lundh L, Heitkämper P, Leflour J, Mate J, Nishikawa K (2005) Autosar – challenges and achievements. In: Elektronik im Kraftfahrzeug 2005, VDI, October

  25. Schätz B, Braun P, Huber F, Wisspeintner A (2005) Checking and transforming models with AutoFocus. In: ECBS 2005. IEEE

  26. Schäuffele J Zurawka T (2003) Automotive Software Engineering. Vieweg Verlag, Wiesbaden

    Google Scholar 

  27. Tindell K, Clark J (1994) Holistic schedulability analysis for distributed hard real-time systems. Eur J 40:117–134

    Google Scholar 

  28. von der Beeck M, Braun P, Rappl M, Schröder C (2003) Automotive UML. In: Selic B, Martin G, Lavagno L (eds), UML for Real Design of Embedded Real-Time Systems, number ISBN 1-4020-7501-4. Kluwer Academic Publishers

Download references

Author information

Authors and Affiliations

  1. Software&Systems Engineering, Institut für Informatik, Technische Universität München, Boltzmannstr. 3, 85748, Garching b. München, Deutschland

    Andreas Bauer, Manfred Broy, Jan Romberg & Bernhard Schätz

  2. Validas AG, Lichtenbergstr. 8, 85748, Garching b. München, Deutschland

    Peter Braun

  3. ETAS GmbH, Borsigstr. 14, 70469, Stuttgart, Deutschland

    Ulrich Freund & Nuria Mata

  4. BMW AG, 80788, München, Deutschland

    Robert Sandner

  5. PMSF IT Consulting, Ludwig-Thoma-Str. 11, 87724, Ottobeuren, Deutschland

    Pierre Mai

  6. Robert Bosch GmbH, Postfach 30 02 40, 70442, Stuttgart, Deutschland

    Dirk Ziegenbein

Authors
  1. Andreas Bauer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Manfred Broy
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jan Romberg
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Bernhard Schätz
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Peter Braun
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Ulrich Freund
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Nuria Mata
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. Robert Sandner
    View author publications

    You can also search for this author in PubMed Google Scholar

  9. Pierre Mai
    View author publications

    You can also search for this author in PubMed Google Scholar

  10. Dirk Ziegenbein
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Andreas Bauer.

Additional information

CR subject classification

D.2.2

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bauer, A., Broy, M., Romberg, J. et al. Das AutoMoDe-Projekt . Informatik Forsch. Entw. 22, 45–57 (2007). https://doi.org/10.1007/s00450-007-0028-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00450-007-0028-y

Schlagworte

Keywords

Search

Navigation