Distributed fault detection in communication protocols using extended finite state machines

被引：0
|
作者：
Vijayananda, K [1 ]
机构：
[1] SWISS FED INST TECHNOL,LAUSANNE,SWITZERLAND
来源：
1996 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS | 1996年
关键词：
D O I：
10.1109/ICPADS.1996.517577
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：310 / 318
页数：9
相关论文
共 50 条
  • [1] Distributed extended Finite-State Machines: Communication and control
    Mannani, A.
    Yang, Y.
    Gohari, P.
    WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, 2006, : 161 - +
  • [2] Fault diagnosis in extended finite state machines
    El-Fakih, K
    Prokopenko, S
    Yevtushenko, N
    Von Bochmann, G
    TESTING OF COMMUNICATING SYSTEMS, PROCEEDINGS, 2003, 2644 : 197 - 210
  • [3] A Novel Method of State Identification Sequences Generation for testing communication protocols modeled as Extended Finite State Machines
    Shu, Ting
    Sun, Shouqian
    Wang, Haining
    2009 IEEE 10TH INTERNATIONAL CONFERENCE ON COMPUTER-AIDED INDUSTRIAL DESIGN & CONCEPTUAL DESIGN, VOLS 1-3: E-BUSINESS, CREATIVE DESIGN, MANUFACTURING - CAID&CD'2009, 2009, : 1121 - 1126
  • [4] Context independent unique state identification sequences for testing communication protocols modelled as extended finite state machines
    Ramalingom, T
    Thulasiraman, K
    Das, A
    COMPUTER COMMUNICATIONS, 2003, 26 (14) : 1622 - 1633
  • [5] A VERIFICATION METHOD VIA INVARIANT FOR COMMUNICATION PROTOCOLS MODELED AS EXTENDED COMMUNICATING FINITE-STATE MACHINES
    HIGUCHI, M
    SHIRAKAWA, O
    SEKI, H
    FUJII, M
    KASAMI, T
    IEICE TRANSACTIONS ON COMMUNICATIONS, 1993, E76B (11) : 1363 - 1372
  • [6] Passive testing and fault diagnosis for communication finite state machines
    Zhao, Baohua
    Zhang, Wei
    Lin, Huahui
    Li, Peilong
    Hsi-An Chiao Tung Ta Hsueh/Journal of Xi'an Jiaotong University, 2007, 41 (06): : 640 - 644
  • [7] MODELING ROBUST ASYNCHRONOUS COMMUNICATION PROTOCOLS WITH FINITE-STATE MACHINES
    WU, MM
    LOUI, MC
    IEEE TRANSACTIONS ON COMMUNICATIONS, 1993, 41 (03) : 492 - 500
  • [8] AUTOMATED VERIFICATION OF RESPONSIVE PROTOCOLS MODELED BY EXTENDED FINITE-STATE MACHINES
    KAKUDA, Y
    KIKUNO, T
    KAWASHIMA, K
    REAL-TIME SYSTEMS, 1994, 7 (03) : 275 - 289
  • [9] Implementation of state machines in communication protocols
    Luque, J.
    Medina, A.V.
    Informacion Tecnologica, 6 (01):
  • [10] Fault tolerance in finite state machines using fusion
    Balasubramanian, Bharath
    Ogale, Vinit
    Garg, Vijay K.
    DISTRIBUTED COMPUTING AND NETWORKING, PROCEEDINGS, 2008, 4904 : 124 - +
12345