A protocol software application generator

Author

Hong, Wonmo

Author_Institution

AT&T Bell Lab., Naperville, IL, USA

fYear

1989

fDate

1-2 June 1989

Firstpage

240

Lastpage

243

Abstract

An approach to generating protocol software from the validated protocol specifications is presented. Using this approach, the protocol application generator PAGE was developed. Using PAGE, an internet protocol was implemented as a set of automatically generated device driver routines and shown to run in a testbed simulating a real network environment. Protocol software thus generated is shown to serve as complete or nearly complete routines or as prototype routines for the protocol, depending upon the protocol software application generator and its application environment. The approach helps improve substantially the reliability of protocol software and the productivity of protocol software development.<>

Keywords

Unix; application generators; program testing; protocols; telecommunications computing; C language; Unix; automatically generated device driver routines; communication protocols; internet protocol; nearly complete routines; productivity; protocol software application generator; prototype routines; reliability; testbed; validated protocol specifications; Application software; Automatic programming; Communication system software; Costs; High level languages; Productivity; Program processors; Protocols; Software systems; Specification languages;

fLanguage

English

Publisher

ieee

Conference_Titel

Communications, Computers and Signal Processing, 1989. Conference Proceeding., IEEE Pacific Rim Conference on

Conference_Location

Victoria, BC, Canada

Type

conf

DOI

10.1109/PACRIM.1989.48348

Filename

48348