Informatik - Forschung und Entwicklung

, Volume 22, Issue 1, pp 45–57 | Cite as

Das AutoMoDe-Projekt

Modellbasierte Entwicklung softwareintensiver Systeme im Automobil
  • Andreas Bauer
  • Manfred Broy
  • Jan Romberg
  • Bernhard Schätz
  • Peter Braun
  • Ulrich Freund
  • Nuria Mata
  • Robert Sandner
  • Pierre Mai
  • Dirk Ziegenbein
Reguläre Beiträge

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.

Schlagworte

Automotive Software Engineering  Eingebette Software  Synchrone Sprachen  AutoMoDe 

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.

Keywords

Automotive software engineering  embedded software  synchronous languages  AutoMoDe 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. 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, 2003Google Scholar
  2. 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. SpringerGoogle Scholar
  3. 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 05Google Scholar
  4. 4.
    Bauer A, Romberg J (2004) Model-based deployment in automotive embedded software. In: MOMPES 2004Google Scholar
  5. 5.
    Bauer A, Romberg J, Schätz B (2005) Integrierte Entwicklung von Automotive-Software mit AutoFocus. Informatik Forsch Entw 19(4):194–205CrossRefGoogle Scholar
  6. 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–83CrossRefGoogle Scholar
  7. 7.
    Benveniste A, Caspi P, Guernic PL, Halbwachs N (1993) Data-Flow Synchronous Languages. In: REX School/Symposium pp 1–45Google Scholar
  8. 8.
    Braun P, Lötzbeyer H, Schätz B, Slotosch O (2000) Consistent integration of formal methods. In: TACAS 2000 number LNCS 2280. SpringerGoogle Scholar
  9. 9.
    Broy M, Huber F, Schätz B (1999) AutoFocus – Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme. Informatik Forsch Entw 14(3):121–134CrossRefGoogle Scholar
  10. 10.
    Broy M, Stølen K (2001) Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. SpringerGoogle Scholar
  11. 11.
    Damm W (2006) Embedded system development for automotive applications: trends and challenges. In: EMSOFT. ACM. ed by Min SL, Yi WGoogle Scholar
  12. 12.
    ETAS GmbH (2001) ASCET-SD BenutzerhandbuchGoogle Scholar
  13. 13.
    ETAS GmbH (2005) INTECRIO User Guide V 1.0Google Scholar
  14. 14.
    France R, Evans A, Lano K, Rumpe B (1998) The UML as a formal modeling notation. Comput Stand Interf 19(7):325–334CrossRefGoogle Scholar
  15. 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. ACMGoogle Scholar
  16. 16.
    Huber F, Schätz B, Einert G (1997) Consistent Graphical Specification of Distributed Systems. In: FME’97, LNCS 1313. SpringerGoogle Scholar
  17. 17.
    LiveDevices York (2005) RTA-OSEK User Guide V 4.0Google Scholar
  18. 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–254MATHCrossRefGoogle Scholar
  19. 19.
    The MathWorks Inc. (2000) Using SimulinkGoogle Scholar
  20. 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, MarchCrossRefGoogle Scholar
  21. 21.
    Mutz M, Huhn M, Goltz U, Krömke C (2003) Model based system development in automotive. In: SAE World CongressGoogle Scholar
  22. 22.
    Poledna S, Mocken T, Scheimann J, Beck T (1995) Ercos: An operationg system for automotive applications. In: SAE World CongressGoogle Scholar
  23. 23.
    Romberg J (2006) Synthesis of distributed systems from synchronous dataflow programs. PhD thesis TU-MünchenGoogle Scholar
  24. 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, OctoberGoogle Scholar
  25. 25.
    Schätz B, Braun P, Huber F, Wisspeintner A (2005) Checking and transforming models with AutoFocus. In: ECBS 2005. IEEEGoogle Scholar
  26. 26.
    Schäuffele J Zurawka T (2003) Automotive Software Engineering. Vieweg Verlag, WiesbadenGoogle Scholar
  27. 27.
    Tindell K, Clark J (1994) Holistic schedulability analysis for distributed hard real-time systems. Eur J 40:117–134Google Scholar
  28. 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 PublishersGoogle Scholar

Copyright information

© Springer-Verlag 2007

Authors and Affiliations

  • Andreas Bauer
    • 1
  • Manfred Broy
    • 1
  • Jan Romberg
    • 1
  • Bernhard Schätz
    • 1
  • Peter Braun
    • 2
  • Ulrich Freund
    • 3
  • Nuria Mata
    • 3
  • Robert Sandner
    • 4
  • Pierre Mai
    • 5
  • Dirk Ziegenbein
    • 6
  1. 1.Software&Systems Engineering, Institut für InformatikTechnische Universität MünchenGarching b. MünchenDeutschland
  2. 2.Validas AGGarching b. MünchenDeutschland
  3. 3.ETAS GmbHStuttgartDeutschland
  4. 4.BMW AGMünchenDeutschland
  5. 5.PMSF IT ConsultingOttobeurenDeutschland
  6. 6.Robert Bosch GmbHStuttgartDeutschland

Personalised recommendations