Fault-Free Refinements for Interface Automata

被引：0
|
作者：
Schinko, Ayleen [1 ]
Vogler, Walter [1 ]
机构：
[1] Univ Augsburg, Inst Informat, Augsburg, Germany
来源：
2018 18TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD) | 2018年
关键词：
D O I：
10.1109/ACSD.2018.00017
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
A refinement preorder for a model of concurrent systems should be compositional (i.e. a precongruence for parallel composition) and should not introduce faults into a fault-free specification. Arguably, the coarsest such precongruence is the optimal refinement preorder. For the model of interface automata, faults are communication errors in the form of unexpected inputs. The respective optimal preorder has been characterized as the inclusion of two trace sets. Here, we extend this result by regarding also quiescence (quiescence and divergence resp.) as faults. The latter preorder is coarser, i.e. better, than an earlier preorder regarding errors, quiescence and divergence. We also present conjunction operators for our settings, avoiding flaws that can be found in the literature.
引用
收藏
页码：86 / 95
页数：10
相关论文
共 50 条
  • [21] Fault-free Hamiltonian cycles in faulty butterfly graphs
    Hwang, SC
    Chen, GH
    SEVENTH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 2000, : 307 - 312
  • [22] Towards fault-free Permanent Way for MTR Corporation
    Keefe, RM
    Lai, ICK
    INTERNATIONAL CONFERENCE ON FAULT-FREE INFRASTRUCTURE: EFFECTIVE SOLUTIONS TO IMPROVE EFFICIENCY, 1999, 1999 (11): : 135 - +
  • [23] EXPERIMENTAL INVESTIGATION OF FAULT-FREE LIFE OF SPOTWELDING ELECTRODES
    VYSOKOVSKII, ES
    LAPINSKII, LF
    WELDING PRODUCTION, 1971, 18 (10): : 1 - +
  • [24] Disruptive Innovations for the Development and the Deployment of Fault-Free Software
    Lecomte, Thierry
    FORMAL METHODS, 2018, 10951 : 686 - 689
  • [25] Fault-free Hamiltonian cycles in faulty arrangement graphs
    Hsieh, SY
    Chen, GH
    Ho, CW
    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 1999, 10 (03) : 223 - 237
  • [26] Fault-Free Cycles in Conditional Faulty Folded Hypercubes
    Kuo, Che-Nan
    Hsieh, Sun-Yuan
    ALGORITHMS AND ARCHITECTURES FOR PARALLEL PROCESSING, PROCEEDINGS, 2009, 5574 : 439 - 448
  • [27] CIT-9: A Fault-Free Gmelinite Zeolite
    Dusselier, Michiel
    Kang, Jong Hun
    Xie, Dan
    Davis, Mark E.
    ANGEWANDTE CHEMIE-INTERNATIONAL EDITION, 2017, 56 (43) : 13475 - 13478
  • [28] Longest fault-free paths in star graphs with edge faults
    Hsieh, SY
    Chen, GH
    Ho, CW
    IEEE TRANSACTIONS ON COMPUTERS, 2001, 50 (09) : 960 - 971
  • [29] A BIRA using Fault-Free Memory Region for Area Reduction
    Oh, Chang-Hyun
    Kim, Sae-Eun
    Yang, Joon-Sung
    2016 IEEE ASIA PACIFIC CONFERENCE ON CIRCUITS AND SYSTEMS (APCCAS), 2016, : 480 - 482
  • [30] A further result on fault-free cycles in faulty folded hypercubes
    Hsieh, Sun-Yuan
    Kuo, Che-Nan
    Chou, Hsin-Hung
    INFORMATION PROCESSING LETTERS, 2009, 110 (02) : 41 - 43
12345