COMPUTER SYSTEM INTEGRITY THROUGH A COMBINATION OF CERTIFIABLE AND QUALIFIABLE SOFTWARE

摘要

A method of improving integrity of a computer system includes executingcertifiableand qualifiable software applications. The certifiable software application iscomposed of static program instructions executed sequentially to process inputdatato produce an output, and the qualifiable software application uses a modeliteratively built using a machine learning algorithm to process the input datatoproduce a corresponding output. The certifiable software application iscertifiable forthe computer system according to a certification standard, and the qualifiablesoftware application being non-certifiable for the computer system accordingto thecertification standard. The method also includes cross-checking the output bycomparison with the corresponding output to verify the output, and therebyimproveintegrity of the computer system. And the method includes generating an alertthatthe output is unverified when the comparison indicates that the output differsfromthe corresponding output by more than a threshold.