Rockwell Collins has secured a one-year contract to begin developing new software analysis tools for verifying the safety of avionics systems on future commercial aircraft.
NASA is looking to evaluate the safety of the increasing complexity of avionics systems, as airspace users prepare for equipping their aircraft to comply with FAA's NextGen requirements.
“Complex avionics systems can literally have billions of modes and states,” said John Borghese, vice president of the Rockwell Collins Advanced Technology Center. “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.”
NASA also recently selected Saab Sensis to lead an industry team on research for airborne and ground systems related to FAA's NextGen initiatives.
Related: Commercial Avionics News