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

被引：0
|
作者：
Poznan Univ of Technology, Poznan, Poland [1 ]
机构：
来源：
Proceedings of the IEEE Symposium on Reliable Distributed Systems | 2000年
关键词：
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 条
  • [1] Detection of livelocks in communication protocols by means of a polygon time structure
    Brzezinski, J
    Sajkowski, M
    19TH IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS - PROCEEDINGS, 2000, : 84 - 93
  • [2] Signature-based method for run-time fault detection in communication protocols
    Noubir, G
    Vijayananda, K
    Nussbaumer, HJ
    COMPUTER COMMUNICATIONS, 1998, 21 (05) : 405 - 421
  • [3] Signature-based method for run-time fault detection in communication protocols
    CSEM SA, Neuchatel, Switzerland
    Comput Commun, 5 (405-421):
  • [4] Anomaly Detection in Cyclic Communication in OT Protocols
    Smolarczyk, Milosz
    Plamowski, Sebastian
    Pawluk, Jakub
    Szczypiorski, Krzysztof
    ENERGIES, 2022, 15 (04)
  • [5] AN EFFICIENT COMMUNICATION STRUCTURE FOR DISTRIBUTED COMMIT PROTOCOLS
    GHAFOOR, A
    BERRA, PB
    IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, 1989, 7 (03) : 375 - 389
  • [6] Application of real-time temporal logic to design fault detection in responsive communication protocols
    Nagano, S
    Fujita, H
    Kakuda, Y
    Kikuno, T
    SEVENTH ASIAN TEST SYMPOSIUM (ATS'98), PROCEEDINGS, 1998, : 408 - 412
  • [7] FREE TIME AND MEANS OF COMMUNICATION: TOWARDS A PRISON TIME
    Sebastian Levis, Diego
    QUESTION, 2006, 1 (12):
  • [8] FREE TIME AND MEANS OF COMMUNICATION: TOWARDS A PRISON TIME
    Sebastian Levis, Diego
    QUESTION, 2010, 1 (28):
  • [9] Communication Protocols with Testing Prototype for the Detection of Parametric Faults
    Wang, Jinhe
    2009 3RD INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICAL ENGINEERING, VOLS 1-11, 2009, : 1223 - 1226
  • [10] Modeling and verification of time-triggered communication protocols
    Sorea, Maria
    Dutertre, Bruno
    Steiner, Wilfried
    ISORC 2008: 11TH IEEE SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING - PROCEEDINGS, 2008, : 422 - +
12345