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…







