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 条
  • [41] CONTROLLING WINDOW PROTOCOLS FOR TIME-CONSTRAINED COMMUNICATION IN MULTIPLE ACCESS NETWORKS
    KUROSE, JF
    SCHWARTZ, M
    YEMINI, Y
    IEEE TRANSACTIONS ON COMMUNICATIONS, 1988, 36 (01) : 41 - 49
  • [42] On communication structure planning for multisensor detection systems
    Kasetkasem, T
    Varshney, PK
    CONFERENCE RECORD OF THE THIRTY-SECOND ASILOMAR CONFERENCE ON SIGNALS, SYSTEMS & COMPUTERS, VOLS 1 AND 2, 1998, : 598 - 602
  • [43] Communication structure planning for multisensor detection systems
    Kasetkasem, T
    Varshney, PK
    IEE PROCEEDINGS-RADAR SONAR AND NAVIGATION, 2001, 148 (01) : 2 - 8
  • [44] Comparison of IoT Communication Protocols Using Anomaly Detection with Security Assessments of Smart Devices
    Bhardwaj, Akashdeep
    Kaushik, Keshav
    Bharany, Salil
    Elnaggar, Mohamed F.
    Mossad, Mohamed, I
    Kamel, Salah
    PROCESSES, 2022, 10 (10)
  • [45] Advanced fault detection methodologies and communication protocols for DC micro grid -A technical review
    Shivadasan, Athira Earath
    Shanmugam, Prabhakar Karthikeyan
    RESULTS IN ENGINEERING, 2025, 25
  • [46] Intrusion Detection System for wide Automation Network Based on the Ethernet Compatible Communication Protocols
    Kadlec, Jaroslav
    Vrba, Radimir
    Kuchta, Radek
    PROCEEDINGS OF THE SIXTH INTERNATIONAL CONFERENCE ON SYSTEMS (ICONS 2011), 2011, : 95 - 98
  • [47] Putting Communication above Structure——On the Object and Means of Foreign Language Teaching
    张有
    内蒙古师范大学学报(教育科学版), 2003, (01) : 83 - 87
  • [48] Adversary Model for Attacks Against IEC 61850 Real-Time Communication Protocols
    Nweke, Livinus Obiora
    Weldehawaryat, Goitom Kahsay
    Wolthusen, Stephen D.
    2020 16TH INTERNATIONAL CONFERENCE ON THE DESIGN OF RELIABLE COMMUNICATION NETWORKS DRCN 2020, 2020,
  • [49] TEMPORAL MODELING OF REAL-TIME COMMUNICATION PROTOCOLS BASED ON A PROCESS CHANNEL APPROACH
    RODD, MG
    ALROWAIHI, SF
    REAL-TIME SYSTEMS, 1994, 6 (03) : 243 - 262
  • [50] Real-Time Service-oriented Communication Protocols on Resource Constrained Devices
    Moritz, Guido
    Prueter, Steffen
    Timmermann, Dirk
    Golatowski, Frank
    2008 INTERNATIONAL MULTICONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY (IMCSIT), VOLS 1 AND 2, 2008, : 646 - +
12345