Concept
Ada
A strongly typed programming language developed in the late 1970s for the United States Department of Defense, intended for safety-critical and real-time systems. Ada raises explicit exceptions on numeric overflow rather than silently wrapping, a feature designed to make bugs visible. On Ariane 5 it worked as designed: the overflow was caught, an exception raised, and the entire inertial system shut down in response.
一种在1970年代后期为美国国防部开发的强类型编程语言，专为安全关键和实时系统设计。Ada在数值溢出时会引发显式异常，而不是默默地循环缠绕，这是一种旨在使错误显现的设计。在阿里安5号上，它按设计工作：捕获了溢出，引发了异常，整个惯性系统停机作为响应。
Un lenguaje de programación fuertemente tipado desarrollado a finales de los años 70 para el Departamento de Defensa de EE. UU., para sistemas en tiempo real. Ada genera excepciones en desbordamientos numéricos en lugar de envolverse silenciosamente. En el Ariane 5 funcionó según lo diseñado: el desbordamiento fue capturado y el sistema inercial se apagó.
لغة برمجة قوية الكتابة تم تطويرها في أواخر السبعينيات لصالح وزارة الدفاع الأمريكية، ومخصصة للأنظمة الحرجة للسلامة والوقت الفعلي. تثير آدا استثناءات صريحة عند التجاوز الرقمي بدلاً من التجاوز الصامت، وهي ميزة مصممة لجعل الأخطاء مرئية. في أريان 5 عملت كما هو مصمم: تم التقاط التجاوز، وإثارة استثناء، وإيقاف النظام بأكمله.
Uma linguagem de programação fortemente tipada desenvolvida no final da década de 1970 para o Departamento de Defesa dos EUA, destinada a sistemas críticos e em tempo real. A Ada gera exceções explícitas em caso de estouro numérico, em vez de continuar silenciosamente. No Ariane 5 funcionou como projetado: o estouro foi detetado e o sistema inercial desligado.
१९७० के दशक के अंत में संयुक्त राज्य अमेरिका के रक्षा विभाग के लिए विकसित एक दृढ़ता से टाइप की गई प्रोग्रामिंग भाषा, जो सुरक्षा-महत्वपूर्ण और रीयल-टाइम सिस्टम के लिए अभिप्रेत है। एडा न्यूमेरिक ओवरफ्लो पर स्पष्ट अपवाद (एक्सेप्शन) उठाती है न कि चुपचाप चक्रित होती है। एरियान ५ पर इसने डिजाइन के अनुसार काम किया: ओवरफ्लो पकड़ा गया और पूरी इनर्शियल प्रणाली बंद हो गई।
Bahasa pemrograman bertipe kuat yang dikembangkan pada akhir 1970-an untuk Departemen Pertahanan AS, ditujukan untuk sistem kritis keselamatan dan waktu nyata. Ada memunculkan pengecualian eksplisit pada luapan numerik alih-alih membungkus secara diam-diam. Pada Ariane 5, bahasa ini bekerja sesuai desain: luapan ditangkap, pengecualian dimunculkan, dan sistem inersia mati.
Un langage de programmation fortement typé développé à la fin des années 1970 pour le département de la Défense des États-Unis, destiné aux systèmes temps réel et critiques. Ada lève des exceptions explicites en cas de dépassement numérique au lieu d'un bouclage silencieux. Sur Ariane 5, il fonctionna comme prévu : le dépassement fut intercepté et la centrale désactivée.
1970年代後半にアメリカ国防総省向けに開発された、安全性やリアルタイム性が要求されるシステム向けの静的かつ強力な型付けを持つプログラミング言語。Adaは、数値オーバーフロー発生時にサイレントに数値を丸めずに明示的な例外を発生させ、バグを顕在化させる特徴がある。アリアン5では設計通りに機能し、オーバーフローが検知されて例外が発生し、慣性航法システム全体がシャットダウンした。
Язык программирования со строгой типизацией, разработанный в конце 1970-х годов для Министерства обороны США и предназначенный для отказоустойчивых систем реального времени. В Ada при переполнении чисел генерируется явное исключение, что позволяет легко обнаруживать баги. На ракете «Ариана-5» это сработало штатно: переполнение было перехвачено, а система навигации отключена.
Eine streng typisierte Programmiersprache, die in den späten 1970er Jahren für das US-Verteidigungsministerium entwickelt wurde und für sicherheitskritische Echtzeitsysteme gedacht ist. Ada wirft bei numerischem Überlauf explizite Ausnahmen, anstatt Werte stillschweigend zu umbrechen. Auf der Ariane 5 funktionierte dies wie geplant: Der Überlauf wurde abgefangen und das Navigationssystem abgeschaltet.
안전성 제어 및 실시간 시스템을 위해 1970년대 후반 미국 국방부의 주도로 개발된 강력한 타입 지정 언어이다. 아다(Ada)는 숫자 오버플로 발생 시 자동으로 값을 절삭하지 않고 명시적인 예외를 발생시켜 버그를 시각화하도록 설계되었다. 아리안 5호 사건에서도 설계대로 작동하여, 오버플로를 감지하고 예외를 발생시킨 후 관성 시스템 전체를 중단하는 연쇄 작용을 일으켰다.