• DocumentCode
    2522105
  • Title

    Design and simulation of heterogeneous embedded systems

  • Author

    Mueller-Glaser, K.D. ; Sax, E. ; Stork, W. ; Wagner, A. ; Drescher, J. ; Kueh, M.

  • Author_Institution
    Res. Center for Inf. Technol., Karlsruhe Univ., Germany
  • fYear
    2000
  • fDate
    2000
  • Firstpage
    385
  • Lastpage
    390
  • Abstract
    Designing, verifying and testing heterogeneous embedded systems will not feasible without the intensive use of design methodologies and supporting computer aided design tools. Requirements Engineering at the beginning of a top down design flow results in formal specifications for the desired system and component behavior and a list of design constraints. These are the basis for documentation as well as for modeling, system simulation, parameterized component design and hardware/software-codesign. Finite element analysis and simulations on various levels of abstraction are necessary to characterize parameterized functions (e.g. sensors and actuators built on different micro technologies and materials) and generate macro models in a bottom up design flow to verify each design step for component integration, system integration, packaging and interconnects, especially dealing with parasitics and cross sensitivities. As an example, several design tasks for a miniaturized (currently the worlds smallest) laser Doppler velocimeter are discussed
  • Keywords
    embedded systems; finite element analysis; formal specification; hardware-software codesign; Requirements Engineering; bottom up design flow; computer aided design tools; cross sensitivities; design constraints; design methodologies; finite element analysis; formal specifications; hardware/software-codesign; heterogeneous embedded systems; macro models; packaging; parameterized component design; parameterized functions; parasitics; system integration; system simulation; top down design flow; Computational modeling; Design engineering; Design methodology; Documentation; Embedded computing; Embedded system; Finite element methods; Formal specifications; Hardware; System testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Integrated Circuits and Systems Design, 2000. Proceedings. 13th Symposium on
  • Conference_Location
    Manaus
  • Print_ISBN
    0-7695-0843-X
  • Type

    conf

  • DOI
    10.1109/SBCCI.2000.876059
  • Filename
    876059