• DocumentCode
    2036202
  • Title

    Heterogeneous system-level modeling for small and medium enterprises

  • Author

    Attarzadeh Niaki, Seyed Hosein ; Beserra, G.S. ; Andersen, N. ; Verdon, M. ; Sander, Ingo

  • Author_Institution
    Electron. Syst., KTH R. Inst. of Technol., Stockholm, Sweden
  • fYear
    2012
  • fDate
    Aug. 30 2012-Sept. 2 2012
  • Firstpage
    1
  • Lastpage
    6
  • Abstract
    The design of today´s electronic embedded systems is an increasingly complicated task. This is especially problematic for Small and Medium Enterprises (SMEs) which have limited resources. In this work, we identify a set of common design practices used in industry, with a special focus on problems faced by smaller companies, and formulate them as design scenarios. We show how SMEs can benefit from a system-level design approach by customizing a formal heterogeneous system modeling framework for each scenario. The applicability of this approach is demonstrated by two industrial use cases, an impulse-radio radar and a UART-based protocol.
  • Keywords
    C++ language; design; embedded systems; formal specification; formal verification; small-to-medium enterprises; SME; SystemC; UART-based protocol; design practice; design scenario; electronic embedded system; heterogeneous system-level modeling; impulse-radio radar; small-and-medium enterprise; system-level design approach; Analytical models; Companies; Computational modeling; Consumer electronics; Embedded systems; Semantics;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Integrated Circuits and Systems Design (SBCCI), 2012 25th Symposium on
  • Conference_Location
    Brasilia
  • Print_ISBN
    978-1-4673-2606-3
  • Type

    conf

  • DOI
    10.1109/SBCCI.2012.6344450
  • Filename
    6344450