CPC G06F 21/51 (2013.01) [G06F 11/3608 (2013.01); G06F 21/121 (2013.01); G06N 20/00 (2019.01); G06F 2201/81 (2013.01); G06F 2201/865 (2013.01); G06F 2221/033 (2013.01)] | 21 Claims |
1. A computer system comprising:
a memory configured to store computer-readable program code; and
processing circuitry configured to access the memory, and execute the computer-readable program code to cause the computer system to at least:
execute a certifiable software application composed of static program instructions executed sequentially to process input data to produce an output on which the computer system is configured to operate, the certifiable software application being certifiable for the computer system according to a certification standard;
execute a qualifiable software application during execution of the certifiable software application, the qualifiable software application using a model iteratively built using a machine learning algorithm to process the input data to produce a corresponding output, the qualifiable software application being non-certifiable for the computer system according to the certification standard;
cross-check the output from the certifiable software application by comparison with the corresponding output from the qualifiable software application to verify the output from the certifiable software application, and thereby improve integrity of the computer system; and
generate an alert that the output from the certifiable software application is unverified when the comparison indicates that the output differs from the corresponding output by more than a threshold.
|