El control del tráfico aéreo (ATC) es una de las aplicaciones de software más exigentes. Es una aplicación en tiempo real, indispensable para la seguridad nacional. Vidas humanas se pueden perder si el sistema no funciona correctamente o bien deja de funcionar por un lapso de tiempo, y es altamente distribuída, lo que requiere decenas de controladores trabajando en cooperación para orientar aeronaves a través del sistema de rutas aéreas. El objetivo del presente trabajo es aplicar un proceso de diseño guiado por la arquitectura para un sistema de gran escala y de gran criticidad como lo es el software de asistencia al controlador aéreo de un Centro de control de área.