• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on Model-Driven Engineering and Software Development >Model Execution and Debugging: A Process to Leverage Existing Tools
【24h】

Model Execution and Debugging: A Process to Leverage Existing Tools

机译：模型执行和调试：利用现有工具的进程

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Model checking is an effective technique for the verification of critical systems. However, it relies on behavioral models which are costly to write and maintain. Thus, those models shall be validated and debugged thoroughly, and simulation, i.e. model execution, can be used for that purpose. To reduce the development costs of simulators and ensure their behavioral consistency with model verifiers, we advocate the reuse of parts of the model verification tool-chain to implement them. To support this claim, this paper proposes a method illustrated with a realistic case study applied to FIACRE behavioral models. The approach relies on the creation and exploitation of relations between models representing the information required by the user on the one hand, and information produced by the tools, on the other hand.
机译：模型检查是验证关键系统的有效技术。但是，它依赖于编写和维护的成本高昂的行为模型。因此，应彻底验证和调试这些模型，并且模拟即模型执行，可用于此目的。为降低模拟器的开发成本并确保其与模型验证者的行为一致性，我们主张重用模型验证工具链的部分以实现它们。为了支持这一权利要求，本文提出了一种用应用于FIACRE行为模型的现实案例研究所示的方法。该方法依赖于创建和利用模型之间的关系，代表用户一方面所需的信息，另一方面，由工具产生的信息。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号