TY - GEN
T1 - New protocol modeling methods based on ESTELLE formal description
AU - Li, Guoqing
AU - An, Jianping
PY - 2005
Y1 - 2005
N2 - Proposed methods to establish protocol's OPNET simulation model on basis of ESTELLE formal description. Firstly, we use 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 by these ways is also introduced. Advantage that using these methods are the performance analysis, verification and other works in protocol development can carry 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.
AB - Proposed methods to establish protocol's OPNET simulation model on basis of ESTELLE formal description. Firstly, we use 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 by these ways is also introduced. Advantage that using these methods are the performance analysis, verification and other works in protocol development can carry 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.
UR - http://www.scopus.com/inward/record.url?scp=29844433572&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:29844433572
SN - 0780390156
SN - 9780780390157
T3 - 2005 International Conference on Communications, Circuits and Systems - Proceedings
SP - 1277
EP - 1282
BT - 2005 International Conference on Communications, Circuits and Systems - Proceedings
T2 - 2005 International Conference on Communications, Circuits and Systems
Y2 - 27 May 2005 through 30 May 2005
ER -