首页> 外文会议>IEEE/ACM International Conference on Formal Methods and Models for Codesign >FERAL - Framework for Simulator Coupling on Requirements and Architecture Level
【24h】

FERAL - Framework for Simulator Coupling on Requirements and Architecture Level

机译:野性 - 模拟器耦合耦合要求和建筑级别

获取原文

摘要

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.
机译:仿真技术对嵌入式系统的开发势在必行。它们能够评估已在开发过程中已经早期的决策。模拟器专注于影响嵌入式系统操作的效果子集。然而,对系统级别的嵌入式系统行为的精确预测需要考虑多种效果,例如,所有相关系统组件的通信行为,系统环境和功能行为。这需要专门的模拟器耦合来创建整体模拟场景。在本文中,我们展示了我们的模拟器耦合框架,这使得模拟器与异构仿真模型集成。我们描述了野兽,其仿真模型的整体耦合方法及其仿真模型水平和垂直集成的方法。我们通过现实示例展示了野生的适用性,该实际示例展示了用于早期故障检测的模拟器耦合的潜力。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号