Run-Time Monitors Design for Adaptive Radar Systems: A Practical Framework
conference paper
Adaptivity in multi-function radar systems is rapidly
increasing, especially when moving towards fully adaptive, cognitive
radar systems. However, the large number of available system
configurations makes the rigorous verification and certification
process during the testing phase, deployment, and after hardware
and software upgrades, challenging, if not infeasible. To alleviate
the verification process, run-time verification can be applied to
oversee the correct function of a system during its operation as
done in applications where on-the-fly reconfiguration/adaptation
is pervasive, e.g., spacecrafts and self-driving cars. Though
possible, the application of run-time verification into a radar
system is not straightforward, e.g., when verifying (adaptive)
radar resource managers or performance measures, such as track
initiation time in dynamic environments. The goal of this paper is
to introduce a framework to identify, characterize, and map the
various aspects necessary for implementing run-time verification
for (components of) multi-function radar systems. The proposed
framework can be used by radar practitioners and researchers
for applying run-time-verification to adaptive, re-configurable
radar systems. In addition, we discuss how run-time verification
can be leveraged to gather new insights from operational data to
improve functionalities in upcoming update cycles and present an
example of a verifier designed using the introduced framework.
increasing, especially when moving towards fully adaptive, cognitive
radar systems. However, the large number of available system
configurations makes the rigorous verification and certification
process during the testing phase, deployment, and after hardware
and software upgrades, challenging, if not infeasible. To alleviate
the verification process, run-time verification can be applied to
oversee the correct function of a system during its operation as
done in applications where on-the-fly reconfiguration/adaptation
is pervasive, e.g., spacecrafts and self-driving cars. Though
possible, the application of run-time verification into a radar
system is not straightforward, e.g., when verifying (adaptive)
radar resource managers or performance measures, such as track
initiation time in dynamic environments. The goal of this paper is
to introduce a framework to identify, characterize, and map the
various aspects necessary for implementing run-time verification
for (components of) multi-function radar systems. The proposed
framework can be used by radar practitioners and researchers
for applying run-time-verification to adaptive, re-configurable
radar systems. In addition, we discuss how run-time verification
can be leveraged to gather new insights from operational data to
improve functionalities in upcoming update cycles and present an
example of a verifier designed using the introduced framework.
TNO Identifier
979496
Publisher
TNO
Source title
IEEE Radar Conference 2023
Files
To receive the publication files, please send an e-mail request to TNO Repository.