Congress last year awarded $12.5 billion towards modernizing the aging ATC system. More is needed for software updates, said Secretary Sean Duffy.