A VERIFICATION METHOD FOR COMMUNICATION PROTOCOLS MODELED AS COMMUNICATING EXTENDED FINITE─STATE MAC
A VERIFICATION METHOD FOR COMMUNICATION PROTOCOLS MODELED AS COMMUNICATING EXTENDED FINITE STATE MACHINES出 版 物:《青岛大学学报(自然科学版)》 (Journal of Qingdao University(Natural Science Edition))
年 卷 期:1996年第3期
页 面:4-13页
学科分类:11[军事学] 0810[工学-信息与通信工程] 1105[军事学-军队指挥学] 08[工学] 081002[工学-信号与信息处理] 110503[军事学-军事通信学]
摘 要:本文建立了用于表述含有无限值状态成分的通讯协议机的抽象模型,给出了基于该模型的形式检证法,试制了检证系统.该检证法不需要假定信道的有界性.对于给定的通信协议,检证系统将判定其对指定状态的可到达性.做为检证例,从OSI参照模型中抽出了大同步点设置功能单位,就“无死锁、“无传输错误等性质进行了实际检证