• DocumentCode
    3042975
  • Title

    Comprehensive platform and component modeling of heterogeneous interconnected systems

  • Author

    Zimmermann, Jochen ; Bringmann, Oliver ; Gerlach, Joachim ; Schaefer, Florian ; Nageldinger, Ulrich

  • Author_Institution
    FZI Karlsruhe, Karlsruhe
  • fYear
    2008
  • fDate
    23-25 Sept. 2008
  • Firstpage
    227
  • Lastpage
    232
  • Abstract
    In this paper, we propose an approach for modeling distributed embedded systems in a holistic way starting from an abstract specification of system requirements. We use the unified modeling language (UML), which is very popular in software modeling and development, for describing both the target platform and the functionality, which has to be performed on that target platform, at a high abstraction level - even at system level. Therefore, we extended the existing UML profile MARTE to meet the requirements of distributed systems. These extensions enable to associate the elements of the model semantically and hence to use UML as a common underlying data model for system representation. Based on the holistic modeling approach an executable simulation model is generated in SystemC to facilitate exploration and verification of system behavior.
  • Keywords
    Unified Modeling Language; distributed processing; embedded systems; formal specification; formal verification; MARTE; SystemC; abstract specification; component modeling; comprehensive platform; distributed embedded systems; heterogeneous interconnected systems; system behavior verification; unified modeling language; Data models; Embedded system; Hardware; Interconnected systems; Microelectronics; Power system interconnection; Radio frequency; Software performance; Telecommunication network reliability; Unified modeling language;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Specification, Verification and Design Languages, 2008. FDL 2008. Forum on
  • Conference_Location
    Stuttgart
  • Print_ISBN
    978-1-4244-2264-7
  • Type

    conf

  • DOI
    10.1109/FDL.2008.4641450
  • Filename
    4641450