Bu Vikikitap bağlantısı güçlü yönlerini listeler, bunlardan bazıları şunlardır:

• Programcıya izin veren son derece güçlü, statik ve güvenli bir sistem gerçek dünyayı yansıtan güçlü soyutlamalar oluşturmak ve derleyicinin birçok mantık hatasını hataya dönüşmeden önce tespit etmesine izin verir.
• Modülerlik, böylece derleyici çok büyük yazılım sistemlerinin yapısını kaynaklardan doğrudan yönetir.
• Bilgi gizleme; dil, arayüzleri uygulamadan ayırır ve görünürlük üzerinde ayrıntılı kontrol sağlar.
• Okunabilirlik, programcıların kodu incelemesine ve doğrulamasına yardımcı olur. Ada, programın okuyucusunu yazara tercih eder, çünkü bir program bir kez yazılır ancak birçok kez okunur. Örneğin, sözdizimi tüm belirsiz yapıları yasaklar, bu nedenle Tao Programlama Yasası En Az Şaşırtma Yasasına göre sürprizler yoktur. (Bazı Ada programcıları, genellikle şifreli olan kaynak kodu hakkında konuşmak konusunda isteksizdir; İngilizce düzyazıya yakın olan program metnini tercih ederler.)
• Taşınabilirlik: dil tanımı, derleyicilerin yalnızca birkaç kontrollü yolla farklılık göstermesine olanak tanır. ve aksi takdirde programların anlamını çok kesin bir şekilde tanımlar; Sonuç olarak Ada kaynak metni, derleyiciler ve hedef donanım platformları arasında çok taşınabilir. Çoğu zaman, program herhangi bir değişiklik yapılmadan yeniden derlenebilir.
• Standardizasyon: standartlar, 1970'lerin sonlarında dilin tasarımından bu yana bir hedef ve öne çıkan bir özellik olmuştur. İlk standart, tasarımın başlamasından sadece 3 yıl sonra, 1980'de yayınlandı. Ada derleyicilerinin tümü tam olarak aynı dili destekler; tek lehçe olan SPARK, yalnızca açıklamalı bir alt kümedir ve bir Ada derleyicisi ile derlenebilir.

Okunabilirlik noktası önemlidir çünkü bir yazılım ürününün ömrü, onu kodlamayı / test etmeyi bitirdiğinizde bitmez. En büyük masraf (zaman ve para olarak) o ürünün bakımıdır. Dolayısıyla, ISS olarak uzun bir proje için, hataları ve genel belirsizliği en aza indirerek, bu göreve yardımcı olmak için oluşturulmuş bir dil kullanmak uygun görünüyor.

Bu cevap onu C ile karşılaştırıyor. ve C ++:

Ada, dile yerleştirilmiş bir dizi güvenlik özelliğine sahiptir. (Standardın, dile yerleştirilmiş tanımlanmamış davranışları özetleyen on iki sayfaya sahip olduğu C ile karşılaştırın. Tanımlanmamış davranışların, onları listelemeyecek kadar çok olduğu C ++ ile karşılaştırın.) Bu Ada güvenlik özellikleri önemli olabilir. performans maliyeti ve bu nedenle Ada, bu güvenlik özelliklerini seçici olarak devre dışı bırakma yeteneği de sağlar.

Kullanırsanız C veya C ++ ile aynı güvenlik düzeyine ulaşmanın mümkün olduğunu unutmayın. C veya C ++ dillerinin bir alt kümesi ve bir stil kılavuzuna bağlılık, ancak Ada'da dil ile birlikte gelir.

DÜZENLE (Teşekkürler JCRM): İlk bağlantı da düşük seviyeli programlama desteği:

Ada, gerçek zamanlı, güvenlik açısından kritik ve gömülü sistemler için düşük seviyeli programlamayı destekleyen güçlü özel özelliklere sahiptir. Bu özellikler arasında, diğerlerinin yanı sıra, makine kodu eklemeleri, adres aritmetiği, belleğe düşük seviyeli erişim, verilerin bitsel gösterimi üzerinde kontrol, bit manipülasyonları ve Ravenscar Profili adı verilen iyi tanımlanmış, statik olarak kanıtlanabilir eş zamanlı hesaplama modeli bulunur. >

Çalıştığım yerde, ürünü her seferinde derlemek zorunda kalmadan farklı yapılandırma verilerini yüklemek için adres aritmetiğini ve düşük seviyeli bellek özelliklerini kullanıyoruz ve bu da çok zaman kazandırıyor.

Zamanlama. Ada, ABD Savunma Bakanlığı'nın gerçek zamanlı sistemlerinde kullanılan çok sayıda dilin yerini almak amacıyla 1970'lerde ve 80'lerde geliştirildi. NASA (ve ayrıca Avrupa'dan kuruluşlar) aktif katılımcılardı. Savunma Bakanlığı, Ada'yı 1991'deki tüm büyük gelişmeler için görevlendirdi. NASA da hemen hemen aynısını yaptı. Uluslararası Uzay İstasyonu o zamana kadar kağıt bir konseptti. Ada yetkisi yürürlüğe girdiğinde tam olarak gerçek olmaya başladı.

Savunma Bakanlığı, Ada yetkisini 1997'de kaldırdı. NASA da aynı şeyi yaptı. ISS bugün oluşturulmuş olsaydı, uçuş yazılımı büyük olasılıkla Ada'da olmazdı.

Peki neden Ada? Ada, bir dizi sorunu çözmek için yaratıldı. Biri Savunma Bakanlığında kullanılan çok sayıda dildi. Bir diğeri, bu dillerde, özellikle gerçek zamanlı sistemler ve gömülü sistemlerle ilgili olarak algılanan güvenlik eksikliğiydi. Ada, diğer dillerde eksik olan birkaç özellik sundu.

Ada'nın niş bir dil haline gelmesinin birçok nedeni var. Birincisi, dilin aşırı katı ve ayrıntılı olması, genel amaçlı bir dil olmasına engel olur. Diğer bir sorun da Ada topluluğunun ana bilgisayarlardan mini bilgisayarlara ve masaüstü bilgisayarlara geçişte tekneyi kaçırmasıydı. Bu geçişlerin ön saflarında yer alan diller (C ve C ++) yaygın olarak kullanılmaktadır. Ada topluluğu, özgür yazılım hareketindeki tekneyi de kaçırdı. İlk ücretsiz Ada derleyicisi 1995'e kadar çıkmadı ve bu sürüm tamamlanmadı. O zamana kadar çok geçti.

90'ların sonunda Bilgisayar Bilimi dersleri aldığımı hatırlıyorum. CS profesörü, CS ana dallarından oluşan yetersiz grubumuza, bize COBOL veya Ada yerine C öğreteceğini çünkü genel olarak daha yararlı olacağını açıkladı. O zamanlar, o günlerde eğitim veren başlıca programlama dilleri kolejleriydi (bölgedeki bilgisayar bilimleri derecesine sahip her büyük üniversite bu ikisinden birini öğretti). Neden daha eski dilleri öğretirler? Çünkü içlerine kod yazan bir iş bulabilirsin. Bu, ISS'nin inşa edildiği zamandı.

Ada'nın ortaya çıkmasının nedeni, güvenilir olan ve Ada'nın tam anlamıyla faturaya uyacak şekilde tasarlanmış, görev açısından kritik yazılıma ihtiyaç duymasıydı. NASA, tarihteki en maliyetli yazılım hatalarından birine hâlâ sahiptir ( delikli kartların karanlık çağlarında)

Bir Delikli kart, Mariner 1 uzay aracının 1962'de (1962 dolar maliyeti: 18,5 milyon; bugünkü dolar cinsinden maliyet: 135 milyon dolar) imha edilmesine yol açtığı zaman, tarihteki en pahalı yazılım hatalarından biri olduğu ortaya çıktı. Venüs ile uçma görevini tamamlayın.

Bununla birlikte, bu rehberlik sisteminin yazılımında ölümcül bir kusur vardı: izleme verilerini işlemek ve uçuş talimatlarına dönüştürmek için kullanılacak denklemler yumrukta kodlandığında kartlar, kritik bir sembol dışarıda bırakıldı: sonraki yıllarda genellikle kısa çizgi ile karıştırılan bir üst çubuk veya üst çizgi. Bu üst çubuğun olmaması, esasen, kılavuz bilgisayarının uzay aracındaki normal olmayan bazı hareketleri yanlış bir şekilde telafi etmesine neden oldu.

Ada'nın ana özelliği kararlılık

web sitesinden:

AdaCore araçları, kodlama standart uyumluluk , kod doğruluğu ( arabellek taşması, tamsayı taşması ve başlatılmamış değişkenlere referanslar gibi hataların önlenmesi ve MC / DC 'ye kadar yapısal kapsam analizi. Ravenscar görev profilini uygulayan bir tane de dahil olmak üzere, yüksek güvenceli özel çalışma zamanı kitaplıkları, nitelikli sistemlere dahil edilecek kadar basittir ancak gerçek zamanlı uzay yazılımı için gerekli işlevselliği destekleyecek kadar ifade edicidir. Çalışma zamanı kitaplıkları için yeterlilik materyali ECSS standardı için geliştirilebilir ve yeni proje bağlamlarına uyarlanabilir.

C ve C ++ bu hataları engellemez (bar maliyetli eklentiler) ve Java zor gerçek zamanlı değildir (çubuk standart olmayan sanal makineler).

Hayat devam ederken satır, tasarım gereği çalışma zamanı hatalarını ve gecikmeleri dışlamak en iyisidir:

  Ada.Text_IO ile; Ada.Text_IO kullanın; yordam Öğren, alt tür Alfabe, Karakter aralığı 'A' .. 'Z' dir; Put_Line ("& Alphabet'First &" dan "& Alphabet'Last" a "Ada Öğrenme); end Learn;  

Burada Alfabe, A'dan Z'ye başka bir değer içeremez. Bu oldukça benzersiz dil özelliği, diğerlerinin yanı sıra, bir öğrenci ekibinin 2013-2015 CubeSat misyonu:

Lisans ortamında Ada'nın bir örneği olarak, ABD'deki Vermont Technical College'daki öğrenciler SPARK dilini (resmi olarak analiz edilebilir Ada alt kümesi) yakın zamanda iki yıllık başarılı bir yörünge görevini tamamlayan bir CubeSat uydusu için yazılım geliştirmek için. SPARK, güvenilirlik avantajları nedeniyle seçildi. Öğrencilerin daha önce Ada, SPARK veya resmi yöntemlerle ilgili deneyimleri yoktu, ancak hızlı bir şekilde hız kazandılar.

Lansmana dahil olan akademik kurumlardan on iki CubeSats arasında, Vermont Tech'ten olanı görevini tamamlayan tek kişi oldu. Diğerlerinin çoğu, yazılım hataları nedeniyle kıyametlerini karşıladı. Vermont Tech grubu başarısını, örneğin çalışma zamanı hatalarının olmadığını resmen göstermelerine olanak tanıyan SPARK yaklaşımına borçludur.

Seçilebilecek tüm olası diller arasında Ada'nın NASA'nın bu kadar kritik bir uygulama için tercihi olmasını sağlayan yönleri nelerdir? Eski nedenler ile içsel uygunluk arasındaki ağırlık ne olabilir?

• Ada, tam da bu tür durumlar için tasarlanmış bir dildir, yani hata Kritik ekipman veya süreçleri kontrol etmek için kullanılan hoşgörüsüz, gerçek zamanlı ve (genellikle) gömülü sistemler

• Ada'nın evrimi çok daha odaklanmış ve sıkı bir şekilde yönetilmiştir çok başlangıç. Hem yaratıcıları hem de değerlendiricileri, hem mesleklerine hem de Ada projesine karşı güçlü bir görev duygusuyla dil gelişimi alanında özenle seçilmiş uzmanlardı. West Coast değerlerinin Java'ya nüfuz etmesi gibi, Ichbiah, Dewar ve Taft'ın özverili alçakgönüllülüğü Ada için hala hüküm süren ve NASA gibi bir kuruluşa hitap etmesi gereken bir üslup oluşturdu.

• Ada'nın, resmi olarak doğrulanmış bir sistem tasarımının koduyla eşleştirilmesine olanak tanıyan

• Ada en hızlı dillerden biri , ayrıca paralel işlemcilerle

• Ada endüstrisi (AdaCore, Altran, Green Hills, Wind River vb. şirketler) Ada / SPARK'ta kritik sistem geliştirme için çok sayıda destek aracı geliştirdi

• Ada için birkaç yetenekli alternatif dil vardır

• Resmi olarak tanımlanmış C gibi alternatif diller, Ada / SPARK'ın yaptığı gibi deneyim veya destek derinliğine sahip değildir

Ayrıntılı sistem gereksinimlerinin ne olduğu veya ihale yönergelerinin ne kadar sıkı olduğu hakkında hiçbir fikrim yok miras ve içsel uygunluğun ağırlıklandırılmasıyla ilgilidir. Ancak Ada / SPARK'ın her iki kategoride de yüksek puan alması bana mantıklı geliyor. Miras faktörleri,

gibi şeyleri içermelidir

• NASA, Ada projesinin orijinal bir sponsoruydu ve onu daha önceki sistemlerde en başından beri kullanmıştı

• Sistem kurma şirketinin Ada / SPARK ile olan aşinalığı, Yeni kritik sistemin gereksinimleri için yapılarını etkili bir şekilde dağıtma konusundaki bilgi birikimi

• Ada / SPARK'ın alt yükleniciler tarafından muhtemelen mevcut kullanımı, örn. projeye radar, röntgen dürbünleri vb. gibi yardımcı ekipmanlar için gömülü sistemler ve ana ve alt sistemler arasında veri arabirimi

Ada, programlama dillerinin SGML'sidir (ve Java / C # XML'dir). Her ikisi de eksiksiz bir çözüm için yeni bir temelde oluşturulmuştur. Ve ikisi de karmaşıklıkları ve tuhaflıkları nedeniyle popüler olamadı. (Azınlık SGML'yi bilir, ancak herkes HTML'yi anlar: basitlik güçtür.) Ada'yı '91'de öğrendik ve önemsiz Pascal veya C'den değil Modula-3'ten geldiğimizde bile sevdik. (Montajdan bahsetmeden bile.) Ada mükemmel bir şekilde yerleşik görünüyordu. genel ve ayrıntılı olarak. Ancak hiçbirimiz bunu kullanmadık çünkü tek Ada ortamı IBM 360 (veya onun bir Rus klonu) içindi ve PC için uzun yıllar boyunca Ada derleyicisi görünmedi. Ve teorik olarak mükemmel ama dokunulmaz olan "cam bir dolapta parlayan bir elmas" oldu. Sieve of Eratosthenes için kod yazdık, ancak log (log (10e9)) görevleriyle çalıştıracak kaynak yoktu. (O gün RAM'i yüzlerce KB olarak saydılar.) Bu arada iyi C ++ ortamları geldi (kullanılabilir sınıf kitaplıkları ile!) Ve çoğu programcı Java on yıl sonra ortaya çıkana kadar onu birincil platform olarak kullandı. Ve hatta Java için iyi bir geliştirme aracı yoktu, ancak kullanılabilir olanlar vardı ve ucuz bilgisayarlar bunları çalıştırabilir.