Paper Info
Title
A Tool Support for Design and Validation of Communication Protocol using State Transition Diagrams
Abstract
In this paper, we introduce a software tool to assist design and validation of a communication protocol specified in state transition diagrams. When protocol developers start development of a new system, they tend to describe the developing system with several high-level description elements such as communicating blocks, communication paths, messages, and finite state machines. Then, they want to validate the correctness of their design as early as possible to find out any faults in the design. In this paper, we propose a software tool with which protocol developers can specify structural and behavioral key functionalities of a protocol system through the graphical user interface. Then, the tool generates PROMELA code from the design specification to make it possible for developers to validate the specification using the SPIN model checker. As results of this tool, developers can describe a communication protocol more efficiently and have the confidence for the specification at the early stage of software development
Year
DOI
Venue
2007
10.1109/ITNG.2007.24
ITNG
Keywords
Field
DocType
protocol system,messages,software tool,finite state machines,protocols,communication protocol design,protocol developer,finite state machine,communication protocol validation,tool support,promela code,software tools,spin model checker,software development,communication path,early stage,high-level description elements,communication protocol,communication paths,graphical user interface,state transition diagrams,graphical user interfaces,new system,design specification,formal specification,communicating blocks,computer architecture,software testing,graphic user interface,state transition diagram,automata,software engineering,programming
Programming language,Computer science,Correctness,Formal specification,Finite-state machine,Promela,Design specification,Software development,Communications protocol,SPIN model checker
Conference
ISBN
Citations 
PageRank 
0-7695-2776-0
0
0.34
References 
Authors
2
1
Name
Order
Citations
PageRank
Youngjoon Byun1134.09