Rockwell Collins has won a contract from the National Aeronautics and Space Administration for the development of a new set of analysis tools for safety verification of flight critical systems.
Under the one-year contract, Rockwell Collins will develop software analysis tools intended to verify the new capabilities and safety of future commercial aircrafts, the company announced Wednesday.
The new tools will support the Federal Aviation Administration‘s NextGen airspace program. The program is designed to update the country’s air traffic control system from ground-based to satellite-based.
“By incorporating formal mathematical verification ““ also known as Formal Methods – we can detect and remove software bugs and security vulnerabilities early in the development process when it's less costly to correct errors,” said John Borghese, Rockwell Collins Advanced Technology Center vice president.
Rockwell Collins said its formal methods research and development program started 10 years ago.