Most mission critical software systems are validated against functional requirements and specifications by using a set of input/output under test cases. Millions of lines of code will run on distributed servers, changing with every software update. This complexity increases the chance of flaws, while at the same time making it more difficult to systematically check for all possible vulnerabilities. Team proposes to develop a Cyber Vulnerability Analysis and Comprehensive Formal Verification (VAN-COV) tool suite. The VAN-COV tool brings formal verification approaches to supplement limitation of each method while fully leveraging the strength of each approach.
Benefit: Government and commercial organizations will greatly benefit from the VAN-COV workflow, which provides a new modality of formal verification of software and test driven development for assured computing environment which is critical for mission and safety critical applications development. Considering many tactical platforms and assets are equipped with full of software systems/devices for many different purposes (i.e., communication, ISR, weapon control, C2, etc.), the projected military market that the VAN-COV technology can be attractive to build a foundation of high assurance secure and error free software system is enormous.
Keywords: software test and verification, software test and verification, 5G communication, Formal Verification, Software Defined Network
