US 11,775,633 B2
Computer system integrity through a combination of certifiable and qualifiable software
John Newell Sanders-Reed, Tijeras, NM (US)
Assigned to The Boeing Company, Chicago, IL (US)
Filed by THE BOEING COMPANY, Chicago, IL (US)
Filed on Dec. 4, 2018, as Appl. No. 16/209,506.
Prior Publication US 2020/0175151 A1, Jun. 4, 2020
Int. Cl. G06F 21/51 (2013.01); G06N 20/00 (2019.01); G06F 11/36 (2006.01); G06F 21/12 (2013.01)
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
OG exemplary drawing
 
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.