전투기 소프트웨어 뿐만 아니라 


무기 체계 ㅇㅇ


DoD는 Ada 쓰는 걸로 알고 있음