Use of formal description techniques in development andimplementation of AVPAC protocol

摘要

This paper describes the use of the ITU-T specification andndescription language (SDL) formal description technique to specify thenAVPAC avionics protocol, and use of the code-generating abilities of SDLntools to generate source code for an FDAC experiment to providenair-ground radio communications for low-visibility taxi tests at the FAAnTechnical Center