Title :
Use of formal description techniques in development and implementation of AVPAC protocol
Author_Institution :
Project Manage. Enterprise Inc., Seattle, WA, USA
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;
Conference_Titel :
Digital Avionics Systems Conference, 1995., 14th DASC
Conference_Location :
Cambridge, MA
Print_ISBN :
0-7803-3050-1
DOI :
10.1109/DASC.1995.482802
