Detection of livelocks in communication protocols by means of a polygon time structure

被引:0
|
作者
Poznan Univ of Technology, Poznan, Poland [1 ]
机构
关键词
Algorithms - Computational complexity - Computational geometry - Computer hardware description languages - Data communication systems - Database systems - Finite automata - Linguistics;
D O I
暂无
中图分类号
学科分类号
摘要
As has been shown, the polygon time structure overcomes the main limitations of the interval time structure, and allows to verify communication protocols, in which the explicit concurrency of both competing and supporting events is considered. In this paper we have applied the polygon time structure to the verification of dynamic properties (like livelocks) of a simple protocol. As a result, we have shown that an application of the previously used interval time structure may lead to the evaluation of a protocol as incorrect, while it is livelock free.
引用
收藏
页码:84 / 93
相关论文
共 50 条
  • [21] The Discourje project: run-time verification of communication protocols in Clojure
    Hamers, Ruben
    Horlings, Erik
    Jongmans, Sung-Shik
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2022, 24 (05) : 757 - 782
  • [22] The Discourje project: run-time verification of communication protocols in Clojure
    Ruben Hamers
    Erik Horlings
    Sung-Shik Jongmans
    International Journal on Software Tools for Technology Transfer, 2022, 24 : 757 - 782
  • [23] Deterministic protocols for real-time communication in multiple access networks
    Norden, S
    Balaji, S
    Manimaran, G
    Murthy, CSR
    COMPUTER COMMUNICATIONS, 1999, 22 (02) : 128 - 136
  • [24] Temporally enhanced erasure codes for real-time communication protocols
    Choi, S
    Kim, Y
    2000 INTERNATIONAL CONFERENCE ON COMMUNICATION TECHNOLOGY PROCEEDINGS, VOLS. I & II, 2000, : 1530 - 1533
  • [25] Extended Formulations from Communication Protocols in Output-Efficient Time
    Aprile, Manuel
    Faenza, Yuri
    INTEGER PROGRAMMING AND COMBINATORIAL OPTIMIZATION, IPCO 2019, 2019, 11480 : 43 - 56
  • [26] Extended formulations from communication protocols in output-efficient time
    Aprile, Manuel
    Faenza, Yuri
    MATHEMATICAL PROGRAMMING, 2020, 183 (1-2) : 41 - 59
  • [27] Real time performance analysis of secure IoT protocols for microgrid communication
    Kondoro, Aron
    Ben Dhaou, Imed
    Tenhunen, Hannu
    Mvungi, Nerey
    FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2021, 116 : 1 - 12
  • [28] Observability of Discrete-Time Linear Systems with Communication Protocols and Dropouts
    Tanwani, Aneel
    Jungers, Raphael
    Heemels, W. P. M. H.
    2018 IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2018, : 4194 - 4199
  • [29] Distributed fault detection in communication protocols using extended finite state machines
    Vijayananda, K
    1996 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1996, : 310 - 318
  • [30] Fault Detection for Fuzzy Systems With Multiplicative Noises Under Periodic Communication Protocols
    Luo, Yuqiang
    Wang, Zidong
    Wei, Guoliang
    IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2018, 26 (04) : 2384 - 2395