XU Guangquan, PANG Shanchen, GAO Honghao, XIAO Yingyuan, LI Xiaohong, FENG Zhiyong. State/Action-based Fairness Verification for Non-determinism[J]. Chinese Journal of Electronics, 2011, 20(4): 603-606.
Citation: XU Guangquan, PANG Shanchen, GAO Honghao, XIAO Yingyuan, LI Xiaohong, FENG Zhiyong. State/Action-based Fairness Verification for Non-determinism[J]. Chinese Journal of Electronics, 2011, 20(4): 603-606.

State/Action-based Fairness Verification for Non-determinism

  • Received Date: 2011-06-01
  • Rev Recd Date: 2011-07-01
  • Publish Date: 2011-10-25
  • Most of the existing work about fairness verification was carried out by checking the fairness based on state, action, or process respectively. It is hard to resolve the fairness issue for complex software systems, especially in life-critical systems and safety-critical systems. In this paper, we verify the fairness based on both state and action, which is realized mainly by introducing an extended Kripke structure and four kinds of fairness (weak global/local fairness and strong global/local fairness). The experimental results show the superiority of our method by the savings in memory (2.08%) and time consumption (26.45%).
  • loading
  • 加载中

Catalog

    通讯作者: 陈斌, bchen63@163.com
    • 1. 

      沈阳化工大学材料科学与工程学院 沈阳 110142

    1. 本站搜索
    2. 百度学术搜索
    3. 万方数据库搜索
    4. CNKI搜索

    Article Metrics

    Article views (586) PDF downloads(696) Cited by()
    Proportional views
    Related

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return