قلمرو کنترل ترافیک هوایی یکی از حساسترین و حیاتی ترین قلمروهای موجود در کشور می باشد که بایستی از ضریب امنیت و صحت عملکرد بسیار بالایی برخوردار باشد. از آنجائیکه محیطهای فرودگاهی و ترافیک هوایی دارای حساسیت و پیچیدگیهای زیادی هستند، اعمال این کنترل ها برای داشتن پروازهای ایمن در موقع تولید سیستمهای نرم افزاری ˆ سخت افزاری دشوار می باشد. در این پروژه مهندسی قلمرو قسمت سرویس ها کنترل هوایی از قلمرو کنترل ترافیک هوایی انجام شده است . خروجی این مرحله شامل یک سری مدلهای ریاضی و تئوریهای مربوطه به همراه اثبات صحت آنها می باشد. روشی که در این کار از آن استفاده شده raise است که حاصل 20 سال تحقیق و تجربه در این زمینه است .