实时系统时间并行模型确定性分析
DOI:
CSTR:
作者:
作者单位:

昆明理工大学

作者简介:

王剑平

通讯作者:

中图分类号:

TP393

基金项目:

基于实时交互规约的分布嵌入式软件可确定调度方法研究;基于广义超测度空间的离散实时并行网络可测研究;领域特定的可复用软件资源聚集与验证技术和工具


Determinacy analysis of timed concurrent model for real-time systems
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    研究实时并行系统的确定性, 采用面向执行体构件建模和广义测度固定点理论研究系统收敛条件. 把实时
    系统构建为用时间信号联系的面向执行的构件集合, 采用超致密时间(SDT) 表示混合系统信号标签模型, 定义构件
    为时间模型上的偏序集函数, 构成有反馈作用的偏序集函数组合, 用广义超测度空间固定点理论分析时间并行模型
    因果构件的收敛性和系统响应的存在和唯一性.

    Abstract:

    This paper presents a research of the determinacy of the timed concurrent system and the condition of convergence.
    Time signals of linked concurrent components are used to represent real-time system. Super dense time(SDT) is used
    to represent the modeling of mixed signals tag. The component are defined by the poset function of time model and
    are composed by the poset function using feedback. Based on the fixed point theorem and generalized ultrametrics, the
    convergence of causal components is analyzed and the uniqueness of the system response is proved.

    参考文献
    相似文献
    引证文献
引用本文

王剑平 张云生 张果 张晶.实时系统时间并行模型确定性分析[J].控制与决策,2012,27(12):1859-1863

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2011-07-20
  • 最后修改日期:2011-11-22
  • 录用日期:
  • 在线发布日期: 2012-12-20
  • 出版日期:
文章二维码