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

More Information
  • Received Date: May 31, 2011
  • Revised Date: June 30, 2011
  • Published Date: October 24, 2011
  • 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%).
  • Related Articles

    [1]SUN Xiaohui, WEN Tao, WEN Chenglin, CHENG Xingshuo, WU Yunkai. High-Order Extended Strong Tracking Filter[J]. Chinese Journal of Electronics, 2021, 30(6): 1152-1158. DOI: 10.1049/cje.2021.08.010
    [2]SUN Xiaohui, WEN Chenglin, WEN Tao. High-Order Extended Kalman Filter Design for a Class of Complex Dynamic Systems with Polynomial Nonlinearities[J]. Chinese Journal of Electronics, 2021, 30(3): 508-515. DOI: 10.1049/cje.2021.04.004
    [3]DENG Hui, LI Zhi. Nondeterministic Fuzzy Simulation and Bisimulation[J]. Chinese Journal of Electronics, 2020, 29(2): 297-303. DOI: 10.1049/cje.2020.01.007
    [4]CHEN Linshu, WANG Jiayang, WANG Weicheng, LI Li. A New Granular Computing Model Based on Algebraic Structure[J]. Chinese Journal of Electronics, 2019, 28(1): 136-142. DOI: 10.1049/cje.2018.09.006
    [5]TANG Rui, ZHAO Jihong, QU Hua. Performance Tradeoff Between Energy Conservation and User Fairness for D2D Communication Underlaying Cellular Networks[J]. Chinese Journal of Electronics, 2017, 26(3): 600-607. DOI: 10.1049/cje.2016.11.011
    [6]CAI Fei, FAN Hongqi, FU Qiang. Bernoulli Filter for Extended Target in Clutter Using Poisson Models[J]. Chinese Journal of Electronics, 2015, 24(2): 326-331. DOI: 10.1049/cje.2015.04.017
    [7]CUI Ting, JIN Chenhui. Impossible Differential Evaluations for New-Structure Series[J]. Chinese Journal of Electronics, 2014, 23(2): 357-360.
    [8]XIE Chunli, LI Bixin, LIAO Li, WANG Xifeng. Combining Control Structure and Composition Condition for Web Services Reliability Prediction[J]. Chinese Journal of Electronics, 2012, 21(3): 425-429.
    [9]CAI Yongquan, PENG Xiaoyu. Rational Secret Sharing Protocol with Fairness[J]. Chinese Journal of Electronics, 2012, 21(1): 149-152.
    [10]WAN Yang, WANG Shouyong. A Track-Before-Detect Algorithm Based on Extended H Particle Filter[J]. Chinese Journal of Electronics, 2011, 20(2): 375-379.

Catalog

    Article Metrics

    Article views (846) PDF downloads (706) Cited by()
    Related

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return