• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Computational Intelligence and Multimedia Applications, 2005 >Specification of timed finite state machine in Z for distributedreal-time systems
【24h】

Specification of timed finite state machine in Z for distributedreal-time systems

机译：Z分布式实时系统中的定时有限状态机规范

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The authors' approach for real-time systems is based on definingnfinite state machines (FSMs) and time constraints in Z while integratingnthe two into a new model, called timed finite state machines (TFSM).nThey introduce into the FSM model the two concepts related to time, timenstamps and time constraints, and then redefine the concept of events andnintroduce an event history. Three types of time constraints are definednwhich can be applied to the transitions in the FSMs creating a new setnof transitions in the FSMs creating a new set of transitions,nconstrained transitions. These types are: absolute constraints. Thenevent history is a sequence of events which have occurred since theninitialization of the system. This sequence can also be constrained by anset of consistency invariants (i.e. constraints applied to the sequencenas a whole, such as monotonicity). All constraints on the TFSM arenexpressed as predicates using the first-order logic of Z
机译：作者针对实时系统的方法基于在Z中定义有限状态机（FSM）和时间约束，同时将二者集成到称为时限有限状态机（TFSM）的新模型中。n他们将与这两个概念相关的概念引入FSM模型。时间，时间戳和时间约束，然后重新定义事件的概念并介绍事件历史。定义了三种类型的时间约束，这些时间约束可应用于FSM中的过渡，从而在FSM中创建新的过渡集，从而创建新的过渡集，即约束过渡。这些类型是：绝对约束。事件历史记录是自系统初始化以来发生的一系列事件。该序列还可以受一组一致性不变量的约束（即，应用于序列整体的约束，例如单调性）。使用Z的一阶逻辑将TFSM上的所有约束都作为谓词来表示

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号