New protocol modeling methods based on ESTELLE formal description

This paper describes proposed methods to establish the protocol's OPNET simulation model on the basis of ESTELLE formal description. Firstly, we use the processes tree in OPNET to realize the embedded modules mechanism in ESTELLE, then the ESTELLE module FSM is converted to OPNET process FSM. The course of building MIL-STD 188-220C protocol simulation model in this way is also introduced. The advantage of using these methods is that the performance analysis, verification and other works in protocol development which can be carried out on basis of common ESTELLE formal description, not only guarantees the concordance for each phase in protocol project, but also reduces the development difficulty and increases efficiency.