HINOC MAC信令协议的设计与验证

研究了一种新型接入网HINOC(High Performance Network Over Coax,高性能同轴电缆接入网)的MAC信令协议,使用形式化描述语言SDL(Specification and Description Language,说明与描述语言)设计了HIMAC(HINOC MAC)信令协议的状态转移图,并对所设计的信令流程进行了详细仿真验证;结果表明,所设计的信令协议能够完成正常的信令时序交互功能,正确有效地处理异常情况,进一步完善了HINOC协议设计。