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 条
  • [41] Enhanced reliability of finite-state machines in FPGA through efficient fault detection and correction
    Tiwari, A
    Tomko, KA
    IEEE TRANSACTIONS ON RELIABILITY, 2005, 54 (03) : 459 - 467
  • [42] Joint state monitoring and fault detection using distributed particle filtering
    Cheng, Qi
    Varshney, Pramod K.
    CONFERENCE RECORD OF THE FORTY-FIRST ASILOMAR CONFERENCE ON SIGNALS, SYSTEMS & COMPUTERS, VOLS 1-5, 2007, : 715 - +
  • [43] Improving the timing of extended finite state machines via catalyst
    Huang, SY
    VLSI DESIGN, 2002, 15 (03) : 629 - 635
  • [44] Estimating the feasibility of transition paths in extended finite state machines
    Derderian, Karnig
    Hierons, Robert M.
    Harman, Mark
    Guo, Qiang
    AUTOMATED SOFTWARE ENGINEERING, 2010, 17 (01) : 33 - 56
  • [45] Modeling session initiation protocol with extended finite state machines
    Sun Wenhui
    Liu Feng
    Dai Gang
    Li Honghui
    EIGHTH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING, APPLICATIONS AND TECHNOLOGIES, PROCEEDINGS, 2007, : 488 - 492
  • [46] Estimating the feasibility of transition paths in extended finite state machines
    Karnig Derderian
    Robert M. Hierons
    Mark Harman
    Qiang Guo
    Automated Software Engineering, 2010, 17
  • [47] Multiple fault diagnostics for communicating nondeterministic finite state machines
    Belhassine-Cherif, R
    Ghedamsi, L
    PROCEEDINGS OF THE SIXTH IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, 2001, : 661 - 666
  • [48] Distributed Fault Estimation for Nonlinear Systems With Sensor Saturation and Deception Attacks Using Stochastic Communication Protocols
    Sun, Weiwei
    Gao, Xinci
    Ding, Lusong
    Chen, Xiangyu
    IEEE-CAA JOURNAL OF AUTOMATICA SINICA, 2024, 11 (08) : 1865 - 1876
  • [49] Distributed Fault Estimation for Nonlinear Systems With Sensor Saturation and Deception Attacks Using Stochastic Communication Protocols
    Weiwei Sun
    Xinci Gao
    Lusong Ding
    Xiangyu Chen
    IEEE/CAA Journal of Automatica Sinica, 2024, 11 (08) : 1865 - 1876
  • [50] Testing Timed Finite State Machines with Guaranteed Fault Coverage
    El-Fakih, Khaled
    Yevtushenko, Nina
    Fouchal, Hacene
    TESTING OF SOFTWARE AND COMMUNICATION SYSTEMS, PROCEEDINGS, 2009, 5826 : 66 - +
12345