• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>IEEE International Conference on Emerging Technologies and Factory Automation >Generation of safe operation sequences using iterative refinements and abstractions of timed automata
【24h】

Generation of safe operation sequences using iterative refinements and abstractions of timed automata

机译：使用定时自动机的迭代优化和抽象生成安全操作序列

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

摘要

The main objective of operation procedure engineering for complex and critical systems is to provide action sequences satisfying safety requirements specifications. A classical limit of the use of formal generation approaches for this purpose is the combinatorial explosion due to the size and the number of required models. This article addresses this issue by proposing an iterative approach for the generation of safe operation sequences, using timed automata, and based on reachability analysis. The originality of this approach is to combine a bottom-up framework to build progressively system models by abstraction, and a top-down iterative action sequence generation.
机译：复杂和关键系统的操作程序工程设计的主要目标是提供满足安全要求规格的动作序列。为此目的使用形式生成方法的经典限制是由于所需模型的大小和数量而导致的组合爆炸。本文通过提出一种使用定时自动机并基于可达性分析来生成安全操作序列的迭代方法，来解决此问题。这种方法的独创性是将自下而上的框架通过抽象与自上而下的迭代操作序列生成相结合，以逐步构建系统模型。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号