Abstract
The Extended Protocol Validation Development System (EPVD) is extended on PVD [1]. The PVD provides an interactive protocol specification and validation software environment on finite state machine (FSM) model. EPVD extends an Estelle environment into PVD, then provides the specification and validation of communication protocol in Estelle formal specification. It provides a graphic-interface for user to specify the modules and transitions of communication protocol. By ultilizing our developed intra-module combination/validation technique, we can easily combine and validate these trnasitions. A FSM and the logical correctness of associated these transitions can also be found as well. The inter-module combination/validation algorithm is developed to combine and to validate the FSMs of module, and in turn, is used to find a FSM and the logical properties of their communications EPVD implements those approaches with several tools. Users could use these tools to specify a communication protocol with either FSM model or Estelle model, and to validate the intra-entity and inter-entity communications. This system has been used to design and to validate an ABP specification [4], and the result is to be reported.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
