DocumentCode
3137586
Title
A compact, formalized description of radar architectures
Author
Stove, A.G.
Author_Institution
Aerosp. Div., Thales UK, Crawley
fYear
2008
fDate
2-5 Sept. 2008
Firstpage
664
Lastpage
669
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/RADAR.2008.4654004
Filename
4654004
Link To Document