Hosted in Azure?

SMART is a cloud-based system that centralizes 200 data streams – including weather patterns, flight paths, traffic flow, and controller staffing metrics – into one platform.

yeah... sounds about right.