New verification framework for safety communication protocol
Jian Guo Wu · Jisuanji yingyong yanjiu · 2009
This paper used CRA to analyze the hierarchy of safety communication protocol.Then described the hierarchic behavior models by LTS and the safety properties by Image LTS.Composited the behavior models and property models and deduced using interface technique.Finally verified the safety by the existence of error states in the composite model.This work provided a new framework for the safety verification of communication protocols.Proposed an example of safety verification for FSFB/2 protocol to demonstrate the applicability of this framework in the last part.