Presentation 1994/5/13
Fast Protocol Validation by Individual Processes Inspection and Global Inspection
Fumio Nitta, Hironori Saito, Atsushi Ito, Eiji Utsunomiya, Yasushi Wakahara,
PDF Download Page PDF download Page Link
Abstract(in Japanese) (See Japanese page)
Abstract(in English) This paper proposes a fast protocol validation method which detects logical inconsistencies such as deadlocks included in protocol specifications by inspecting all the executable system behaviors in the specifications.This method has a merit that it does not create any global stable states,although this has not been the case so far.The merit has been achieved by dividing. protocol validation into two phases of individual processes inspection and global inspection.As a result,memory and time consumption has drastically decreased and thus the proposed new method has made it possible to validate much larger and more complex protocol specifications than conventional methods.
Keyword(in Japanese) (See Japanese page)
Keyword(in English) protocol / validation / deadlock / stable state / state transition / SDL
Paper # IN94-47
Date of Issue

Conference Information
Committee IN
Conference Date 1994/5/13(1days)
Place (in Japanese) (See Japanese page)
Place (in English)
Topics (in Japanese) (See Japanese page)
Topics (in English)
Vice Chair

Paper Information
Registration To Information Networks (IN)
Language JPN
Title (in Japanese) (See Japanese page)
Sub Title (in Japanese) (See Japanese page)
Title (in English) Fast Protocol Validation by Individual Processes Inspection and Global Inspection
Sub Title (in English)
Keyword(1) protocol
Keyword(2) validation
Keyword(3) deadlock
Keyword(4) stable state
Keyword(5) state transition
Keyword(6) SDL
1st Author's Name Fumio Nitta
1st Author's Affiliation KDD R&D Laboratories()
2nd Author's Name Hironori Saito
2nd Author's Affiliation KDD Network Headquarters
3rd Author's Name Atsushi Ito
3rd Author's Affiliation KDD R&D Laboratories
4th Author's Name Eiji Utsunomiya
4th Author's Affiliation KDD R&D Laboratories
5th Author's Name Yasushi Wakahara
5th Author's Affiliation KDD R&D Laboratories
Date 1994/5/13
Paper # IN94-47
Volume (vol) vol.94
Number (no) 29
Page pp.pp.-
#Pages 8
Date of Issue