Title :
A compact, formalized description of radar architectures
Author_Institution :
Aerosp. Div., Thales UK, Crawley
Abstract :
This paper discusses a way of describing radar architectures using descriptions derived from the formal (Backus Naur) descriptions of programming languages. Examples of such a language are given, together with examples of how radars could be described by it. The use of such a scheme to link together models of the radar and prove the correctness of its operation are discussed.
Keywords :
programming languages; radar applications; Backus Naur; formalized description; programming languages; radar architectures; Antenna arrays; Antenna feeds; Computer languages; Mathematical model; Phase shifters; Phased arrays; Polarization; Radar; Reflector antennas; Slot antennas;
Conference_Titel :
Radar, 2008 International Conference on
Conference_Location :
Adelaide, SA
Print_ISBN :
978-1-4244-2321-7
Electronic_ISBN :
978-1-4244-2322-4
DOI :
10.1109/RADAR.2008.4654004
