Kısa tanım
DO-178C, hava araçlarında kullanılan yazılımların geliştirilmesi ve doğrulanmasına ilişkin uluslararası kabul görmüş rehber dokümandır. Uçuşa elverişlilik otoriteleri tarafından havacılık yazılımlarının sertifikasyonunda temel kabul ölçütü olarak kullanılır.
Ayrıntılı açıklama
Dokümanın temel yaklaşımı, yazılım hatalarının uçuş emniyetine etkisini esas alan bir güvence düzeyi sistemidir. Her yazılım bileşenine, olası arızasının yaratacağı emniyet etkisinin ağırlığına göre bir tasarım güvence düzeyi atanır; en ağır etki sınıfındaki yazılımlar en kapsamlı hedef kümesine tabi olur. Bu hedefler; planlama, gereksinim yönetimi, tasarım, kodlama, doğrulama, konfigürasyon yönetimi ve kalite güvence süreçlerinin tamamını kapsar.
DO-178C'nin ayırt edici özelliği, ürünün kendisinden çok sürecin kanıtlanabilirliğine odaklanmasıdır. Yazılımın her gereksiniminin tasarıma, koda ve test durumlarına izlenebilir olması; doğrulama etkinliklerinin bağımsızlik ilkelerine uygun yürütülmesi; yapısal kapsama analiziyle test edilmemiş kod bölgelerinin ortaya çıkarılması beklenir. Bu yaklaşım, "yazılımın doğru çalıştığı" iddiasını öznel değerlendirmeden çıkarıp belgelenmiş nesnel kanıtlara bağlar.
Doküman, önceki sürümün çekirdeğini korurken model tabanlı geliştirme, nesne yönelimli teknolojiler, biçimsel yöntemler ve yazılım araçlarının yeterliliği gibi konuları ele alan tamamlayıcı eklerle genişletilmiştir. Böylece modern geliştirme tekniklerinin sertifikasyon çerçevesinde nasıl güvenilir biçimde kullanılacağı tanımlanmıştır. Sertifikasyon sürecinde geliştirici, otoriteye planlarını, standartlarını ve yaşam döngüsü verilerini sunar; uygunluk aşamalı denetimlerle değerlendirilir.
Savunma sanayii bağlamı
Askerî havacılık projelerinde DO-178C, ulusal askerî uçuşa elverişlilik çerçeveleriyle birlikte yaygın referans olarak kullanılır. Aviyonik yazılım geliştiren savunma şirketleri için bu rehbere uygun süreç olgunluğu, hem sertifikasyon hem de uluslararası iş birliği projelerine katılım açısından belirleyicidir.
Türk savunma ve havacılık sanayiinde de aviyonik yazılım geliştirme süreçlerinin bu çerçeveyle uyumlu biçimde yapılandırılmasına yönelik çalışmalar yürütülmektedir.
İlgili kavramlar
Uçuşa elverişlilik sertifikasyonu · Statik kod analizi · Güvenli yazılım geliştirme · Gömülü yazılım · Model tabanlı sistem mühendisliği