Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

FERAL - Framework for Simulator Coupling on Requirements and Architecture Level

 
: Kuhn, Thomas; Forster, Thomas; Braun, Tobias; Gotzhein, Reinhard

IEEE Computer Society:
Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2013. Proceedings : 8-20 Oct. 2013, Portland, OR
Los Alamitos: IEEE Computer Society, 2013
ISBN: 978-1-4799-0903-2
S.11-22
International Conference on Formal Methods and Models for Codesign (MEMOCODE) <11, 2013, Portland/Or.>
Englisch
Konferenzbeitrag
Fraunhofer IESE ()
requirement; framework architecture; simulation; simulator coupling; FERAL

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.

: http://publica.fraunhofer.de/dokumente/N-277795.html