The US Defense Advanced Research Projects Agency (DARPA) have released a solicitation for the “Automated Rapid Certification of Software (ARCOS)” project. The project goal is to automate system risk assessment based on software assurance. The project recognizes that current practices in this area rely upon human judgement which can be prone to error but also capable of understanding the overall system risks when evaluating software quality.
Read more at this link to Military & Aerospace Electronics June 2019 article: https://digital.militaryaerospace.com/militaryaerospace/201906/MobilePagedReplica.action?u1=DA0619&pm=1&folio=4#pg6