• DocumentCode
    1573135
  • Title

    AutoFOCUS and the MoDe tool

  • Author

    Romberg, Jan ; Jürjens, Jan ; Wimmel, Guido ; Slotosch, Oscar ; Hahn, Gabor

  • Author_Institution
    Technische Univ. Munchen, Garching, Germany
  • fYear
    2003
  • Firstpage
    249
  • Lastpage
    250
  • Abstract
    Software engineering for distributed automotive applications is shifting from a subsystem-level perspective, where the focus is on optimization of a single electronic control unit, towards a system-level view. However, optimization of distributed systems with respect to non-functional properties remains a challenging task. The goal of the MoDe (model based deployment) approach is to give early guidance for design decisions using architectural-level models of the system. In its current version, MoDe supports those architecture-level decisions that require a performance model of the overall system. The MoDe approach is based on a formal design notation, AutoFocus, which is used for specifying system models, functional models enriched with abstractions for communication and scheduling. The MoDe tool offers automated support for compiling platform abstractions into the system model, so MoDe allows a highly flexible evaluation of different architectural choices.
  • Keywords
    automotive engineering; distributed programming; formal specification; real-time systems; software tools; systems analysis; AutoFOCUS tool; MoDe tool; architectural level model; distributed automotive applications; distributed systems optimization; formal design notation; model based deployment approach; software engineering; subsystem-level perspecctive; system design; Application software; Automotive applications; Computer architecture; Control systems; Embedded system; Network synthesis; Software engineering; Testing; Unified modeling language; Yarn;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Application of Concurrency to System Design, 2003. Proceedings. Third International Conference on
  • Print_ISBN
    0-7695-1887-7
  • Type

    conf

  • DOI
    10.1109/CSD.2003.1207727
  • Filename
    1207727