Integrated FDT-based protocol verification system

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

研究成果: Article同行評審

摘要

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.

原文English
頁(從 - 到)233-244
頁數12
期刊Software engineering journal
10
發行號6
DOIs
出版狀態Published - 1995 一月 1

All Science Journal Classification (ASJC) codes

  • 電腦科學(全部)
  • 工程 (全部)

指紋

深入研究「Integrated FDT-based protocol verification system」主題。共同形成了獨特的指紋。

引用此