Predictive Quantitative Run-Time Monitoring of Hierarchical Phased Array Elements
conference paper
Radar systems are multifunction systems that provide safety critical information in applications such as automotive, defense, and aerospace. Therefore, monitoring and verifying correct behavior of the system during operations is of utter importance. In this paper, we use the framework for designing run-time monitors for radar systems introduced in [1] to design a predictive, quantitative run-time monitor for real time monitoring of individual phased-array elements in a hierarchical beamforming architecture. The goal of this paper is a twofold. First, the strength of runtime verification and the introduced framework are demonstrated for the application of radar systems. Second, a methodology is presented for state-of-health monitoring of phased array antenna elements by estimating the individual gains of the receivers using a known target position. In particular, in this study, the monitor estimates individual antenna gains by a modification of a covariance matching method during run-time. The traces of the estimated antenna gains are then monitored using a quantitative run-time monitor with signal temporal logic (STL) specifications. The performance and importance of the monitor is evaluated in both a simulation environment as on the Analog Devices Adalm-Phaser, an off-the-shelf softwaredefined radio.
TNO Identifier
1013651
Publisher
TNO
Source title
IEEE Radar Conference (RadarConf25)
Files
To receive the publication files, please send an e-mail request to TNO Repository.