Integrated FDT-based protocol verification system

Chung Ming Huang, Jenq Muh Hsu, Huei Yang Lai, Duen Tay Huang

Research output: Contribution to journalArticlepeer-review


A communication protocol is a set of rules that govern interactions and co-ordination among communicating entities in distributed systems and computer networks. Therefore, deriving error-free protocols is crucial to ensure reliable distributed systems and computer networks. A protocol verification software tool to design error-free protocols is presented. The Extended Communicating Finite State Machine (ECFSM) model, which belongs to the state transition model, is widely used to formally specify protocols with context variables and predicates. Global state reachability analysis is one of the most straightforward ways to verify communication protocols specified in the state transition model. By modifying a CFSM-based reduction technique to be ECFSM-based, then integrating with an ECFSM-based reduction technique, a new protocol verification technique for ECFSM-based n-entity protocols is proposed. The integrated ECFSM-based verification technique can be directly applied to ISO's Estelle, which is an ECFSM-based Formal Description Technique (FDT). With this technique, an Integrated FDT-based Protocol Verification System (IFPVS) is developed, which consists of an Estelle translator, a global state analyser, and a graphic user interface.

Original languageEnglish
Pages (from-to)233-244
Number of pages12
JournalSoftware engineering journal
Issue number6
Publication statusPublished - 1995 Jan 1

All Science Journal Classification (ASJC) codes

  • Computer Science(all)
  • Engineering(all)


Dive into the research topics of 'Integrated FDT-based protocol verification system'. Together they form a unique fingerprint.

Cite this