Learning to Verify and Assure Cyber-Physical Systems

Certification of aircraft systems is a complex task that is difficult to automate requiring significant subjective decision making. Established certification standards such as CFR-25 and MIL-HDBK-516 require considerable subjective analysis to transform the certification requirements into meaningful actionable requirements. This prevents the automation of any verification, assurance and certificat…