Ehpvs: A protocol verification system for verifying protocols specified in estelle

Chung Ming Huang, Jenq Muh Hsu

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

Protocol verification is an activity to detect logical errors in communication protocols. In this paper, we propose a hybrid technique for verifying protocols specified in the Extended Communicating Finite State Machine (ECFSM) model. The hybrid technique is achieved as follows: (1) modify the CFSM-based maximal progress state exploration technique to be ECFSM-based; (2) incorporate the dead and live variables concept. Our hybrid protocol verification technique is therefore applicable to ECFSM-based Formal Description Techniques (FDTs), e.g. ISO’s Estelle or CCITT’s SDL. Based on the hybrid verification technique, an Estelle-based Hybrid Protocol Verification System (EHPVS) has been developed on SUN SPARC workstations. In this way, protocol designers can use our EHPVS to verify Estelle-specified protocols.

Original languageEnglish
Pages (from-to)379-390
Number of pages12
JournalJournal of the Chinese Institute of Engineers, Transactions of the Chinese Institute of Engineers,Series A/Chung-kuo Kung Ch'eng Hsuch K'an
Volume18
Issue number3
DOIs
Publication statusPublished - 1995 Jan 1

All Science Journal Classification (ASJC) codes

  • Engineering(all)

Fingerprint Dive into the research topics of 'Ehpvs: A protocol verification system for verifying protocols specified in estelle'. Together they form a unique fingerprint.

  • Cite this