• DocumentCode
    646958
  • Title

    FERAL — Framework for simulator coupling on requirements and architecture level

  • Author

    Kuhr, Thomas ; Forster, T. ; Braun, Torsten ; Gotzhein, Reinhard

  • Author_Institution
    Fraunhofer IESE, Kaiserslautern, Germany
  • fYear
    2013
  • fDate
    18-20 Oct. 2013
  • Firstpage
    11
  • Lastpage
    22
  • Abstract
    Simulation technologies are imperative for embedded systems development. They enable the evaluation of decisions already early in development processes. Simulators are focused on a subset of effects that affect the operation of embedded systems. Accurate prediction of embedded system behavior on system level, however, requires the consideration of multiple effects, e.g. communication behavior, system environments, and functional behavior of all relevant system components. This requires the coupling of specialized simulators to create holistic simulation scenarios. In this paper, we present FERAL, our framework for simulator coupling, which enables the integration of simulators with heterogeneous simulation models. We describe the overall coupling approach of FERAL, its simulation model, and its approach for the horizontal and vertical integration of simulation models. We show the applicability of FERAL by a realistic example that demonstrates the potential of simulator coupling for early fault detection.
  • Keywords
    digital simulation; embedded systems; fault diagnosis; FERAL; FERAL coupling approach; early fault detection; embedded system behavior prediction; framework for efficient simulator coupling on requirements and architecture level; heterogeneous simulation models; horizontal integration; system components; system level; vertical integration; Adaptation models; Computational modeling; Couplings; Integrated circuit modeling; Ports (Computers); Semantics; Software packages; FERAL; Simulator coupling; architecture; early simulation; framework; requirements;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Formal Methods and Models for Codesign (MEMOCODE), 2013 Eleventh IEEE/ACM International Conference on
  • Conference_Location
    Portland, OR
  • Print_ISBN
    978-1-4799-0903-2
  • Type

    conf

  • Filename
    6670936