DARPA V-SPELLS to develop automated tools for understanding, Re-engineering and Assurance of legacy software of Defense and Aerospace systems

The complexity of  aerospace and defense software has grown manyfold. For example, the U.S. Air Force F-22 Raptor jet fighter, consists of about 1.7 million lines of software code, while the F-35 joint strike fighter has about 5.7 million lines of code to operate its onboard systems. Boeing’s new 787 Dreamliner requires about 6.5 million…