Informatik - Forschung und Entwicklung

, Volume 19, Issue 4, pp 194–205 | Cite as

Integrierte Entwicklung von Automotive-Software mit AutoFocus

  • Andreas Bauer
  • Jan Romberg
  • Bernhard Schätz
Original Article

Zusammenfassung

Zur Beherrschung der komplexen vernetzten und verteilten Funktionen von Automotive-Software ist eine Beschreibung des zu erstellenden Systems auf verschiedenen Abstraktionsebenen und schrittweise Übergänge zwischen diesen Ebenen notwendig. Neben der Definition geeigneter Ebenen werden zur Unterstützung echtzeitkritischer Systemanteile ein einheitliches Berechnungsmodell, ebenenspezifische Beschreibungstechniken, sowie methodische Regeln für diese Abstraktionsebenen eingeführt und in den Werkzeugprototypen AutoFocus integriert.

Abstract

For tackling the development of complex networked and distributed functionalities of Automotive software, a description of the system on different levels of abstraction, accompanied by stepwise transitions between those levels, is essential. In this article, a homogeneous model of computation, as well as notations and methodological rules corresponding to abstraction levels, are introduced for describing real-time software systems. The techniques described have been integrated into the tool prototype AutoFocus.

Keywords

Automotive software engineering Embedded software Synchronous languages AutoFocus 

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 (2003) In: VDI-Kongress Elektronik im Kraftfahrzeug, VDI Berichte, vol 1789, Baden-BadenGoogle Scholar
  2. 2.
    Bauer A, Romberg J (2004) Model-based Deployment in Automotive Embedded Software: From a High-Level View to Low-Level Implementations. In: Proceedings of the 1st International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, Hamilton, Ontario, Canada, June 2004Google Scholar
  3. 3.
    Benveniste A, Caspi P, Guernic PL, Halbwachs N (1993) Data-Flow Synchronous Languages. In: REX School/Symposium, pp 1–45Google Scholar
  4. 4.
    Braun P, Lötzbeyer H, Schätz B, Slotosch O (2000) Consistent Integration of Formal Methods. In: Graf S, Schwartzbach M (eds) Tool and Algorithms for the Construction and Analysis of Systems (TACAS 2000), LNCS, vol 2280. Springer VerlagGoogle Scholar
  5. 5.
    Braun P, von der Beeck M, Rappl M, Schröder C (2002) Automotive Software Development: A Model-Based Approach. In: Congress of Automotive Engineers, SAE Transactions PaperGoogle Scholar
  6. 6.
    Broy M, Huber F, Schätz B (1999) AutoFocus – Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme. Informatik Forschung und Entwicklung 14(3):121–134Google Scholar
  7. 7.
    ETAS Engineering Tools GmbH (2001) ASCET-SD BenutzerhandbuchGoogle Scholar
  8. 8.
    Gelernter D, Carriero N (1992) Coordination languages and their significance. Communications of the ACM 35(2):97–107Google Scholar
  9. 9.
    The MathWorks Inc. (2000) Using SimulinkGoogle Scholar
  10. 10.
    Object Management Group OMG (2004) www.uml.org. Unified Modeling Language: Superstructure. Version 2.0. OMG Adopted Specification ptc/03-08-02Google Scholar
  11. 11.
    OMG Object Management Group (2003) www.uml.org. UML Profile for Schedulability, Performance, and Time Specification. Version 1.0 formal/03-09-01Google Scholar
  12. 12.
    Romberg J, Bauer A (2004) Loose Synchronization of Event-Triggered Networks for Distribution of Synchronous Programs. In: ACM Conference on Embedded Software (EMSOFT)Google Scholar
  13. 13.
    Schätz B (2001) The ODL operation definition language and the AutoFocus/Quest application framework AQuA. Technical Report TUM-I0111, TU MünchenGoogle Scholar
  14. 14.
    Schätz B, Braun P, Huber F, Wisspeintner A (2005) Checking and Transforming Models with AutoFocus. In: 12th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS). IEEE Computer SocietyGoogle Scholar
  15. 15.
    Selic B, Gullekson G, Ward P (1994) Real-Time Object Oriented Modelling. WileyGoogle Scholar

Copyright information

© Springer-Verlag 2005

Authors and Affiliations

  • Andreas Bauer
    • 1
  • Jan Romberg
    • 1
  • Bernhard Schätz
    • 1
  1. 1.Institut für InformatikTechnische Universität MünchenGarching b. MünchenGermany

Personalised recommendations