Using formal specification and observers to specify and validate the ATM signaling protocols

Author

Atwood, J. William ; Ghodrat, Morteza ; Tasak, Dariusz

Author_Institution

Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada

fYear

1999

fDate

36434

Firstpage

117

Lastpage

120

Abstract

When ensuring that an implementation of a computer communications protocol satisfies both conformance with the specification and conformance with the intent/expectations of the designers, it is useful to write a formal specification, and derive the implementation directly from it. This permits the use of validation techniques that are expressed using concepts meaningful to the protocol designer. This technique has been applied to the testing and validation of the ATM higher layer signaling protocol (Q.2931) and the service specific connection oriented protocol (Q.2110), using the Estelle formal description language, and the observers of the Estelle Development Toolset

Keywords

asynchronous transfer mode; conformance testing; formal specification; observers; protocols; software engineering; specification languages; telecommunication computing; telecommunication signalling; ATM higher layer signaling protocol; ATM signaling protocols; Estelle Development Toolset; Estelle formal description language; Q.2110; Q.2931; computer communications protocol; conformance; formal specification; observers; service specific connection oriented protocol; validation techniques; Asynchronous transfer mode; Computer science; Data structures; Data visualization; Error correction; Explosions; Formal specifications; Signal design; Testing; Transport protocols;

fLanguage

English

Publisher

ieee

Conference_Titel

Local Computer Networks, 1999. LCN '99. Conference on

Conference_Location

Lowell, MA

ISSN

0742-1303

Print_ISBN

0-7695-0309-8

Type

conf

DOI

10.1109/LCN.1999.802005

Filename

802005