DocumentCode
3175549
Title
Use of formal description techniques in development and implementation of AVPAC protocol
Author
Turner, Wendell
Author_Institution
Project Manage. Enterprise Inc., Seattle, WA, USA
fYear
1995
fDate
5-9 Nov 1995
Firstpage
32
Lastpage
38
Abstract
This paper describes the use of the ITU-T specification and description language (SDL) formal description technique to specify the AVPAC avionics protocol, and use of the code-generating abilities of SDL tools to generate source code for an FDAC experiment to provide air-ground radio communications for low-visibility taxi tests at the FAA Technical Center
Keywords
aircraft communication; aircraft computers; avionics; formal languages; formal specification; protocols; state-space methods; telecommunication computing; telecommunication standards; AVPAC protocol; Avionics VHF Packet Communications protocol; FAA; FDAC experiment; ITU-T specification; air-ground radio communication; avionics protocol; code-generating abilities; description language; formal description; low-visibility taxi tests; source code; Aerospace electronics; Aircraft; Airports; Project management; Protocols; Radio communication; Signal processing; Switches; Testing; Time division multiple access;
fLanguage
English
Publisher
ieee
Conference_Titel
Digital Avionics Systems Conference, 1995., 14th DASC
Conference_Location
Cambridge, MA
Print_ISBN
0-7803-3050-1
Type
conf
DOI
10.1109/DASC.1995.482802
Filename
482802
Link To Document