The control system shall verify the intended operation of security functions and report when anomalies are discovered, during FAT, SAT and scheduled maintenance. RE 1 requires automated mechanisms for the verification; RE 2 requires verification during normal operation.
The graph holds this control, the 0 it maps to, and the evidence behind each claim, over MCP and REST.