• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on Computer Science and Network Technology >Event-B based modeling for landing gear extend and retract control system
【24h】

Event-B based modeling for landing gear extend and retract control system

机译：基于事件B的起落架伸缩控制系统建模

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

摘要

The control system has become more and more complex with an increasing demanding of dependability. Sometimes we want to know whether the system is what exactly we want. The use of formal modeling methods and refinement shows a great potential in solving this problem. In this paper, we proposed an modeling method for control system based on Event-B. Through preprocessing of requirements we can facilitate and guide our modeling. With Rodin platform we instantiate the method using the landing gear control system. The use of invariants as safety constraints and animation helps to complete the verification process. This method not only makes formal modeling easy and approachable, but also helps us find some of the missing requirements.
机译：随着对可靠性的要求越来越高，控制系统变得越来越复杂。有时我们想知道系统是否正是我们想要的。形式化建模方法的使用和改进显示出解决此问题的巨大潜力。本文提出了一种基于事件B的控制系统建模方法。通过需求的预处理，我们可以促进和指导我们的建模。在Rodin平台上，我们使用起落架控制系统实例化该方法。使用不变量作为安全约束和动画有助于完成验证过程。这种方法不仅使正式的建模变得容易且容易上手，而且还可以帮助我们找到一些遗漏的需求。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号