لغة HAL/S (High-order Assembly Language/Shuttle) هي لغة برمجة تستخدم في مجال الفضاء والطيران، وهي مترجم ومترجم متقاطع لتطبيقات الأفيونيكس يستخدمها وكالة الفضاء الأمريكية NASA والوكالات المرتبطة بها مثل JPL وغيرها. تم استخدامها في العديد من مشاريع الفضاء الأمريكية منذ عام 1973، واستخدمت بشكل أساسي في برنامج المكوك الفضائي (تقريبًا 85٪ من برمجيات المكوك الفضائي مكتوبة بلغة HAL/S). تم تصميمها بواسطة شركة Intermetrics في عام 1972 لصالح وكالة ناسا وتم تسليمها في عام 1973.
تم كتابة HAL/S بلغة XPL، وهي لهجة من PL/I. على الرغم من أن HAL/S مصممة أساسًا لبرمجة أجهزة الكمبيوتر على متن المركبات الفضائية، إلا أنها عامة بما يكفي لتلبية جميع الاحتياجات في إنتاج وتحقق ودعم التطبيقات الفضائية والزمن الحقيقي الأخرى.
تتميز HAL/S بقدرتها على التعامل مع التطبيقات ذات الزمن الحقيقي بشكل فعال، وتدعم تنسيقات التعليقات والتحويل الدلالي والتعليقات على الأسطر. يُعتبر استخدام HAL/S في مجال الفضاء والطيران أمرًا بالغ الأهمية نظرًا للطبيعة الحساسة والدقيقة لتلك التطبيقات.
يمكن العثور على معلومات إضافية عن HAL/S في صفحتها على ويكيبيديا: HAL/S – Wikipedia.
يتم حاليًا صيانة HAL/S بواسطة مشروع HAL/S التابع لشركة United Space Alliance.