DO-178C Kılavuzu: RTCA DO-178 Sertifikasyonuna Giriş
İçindekiler
DO-178B ve DO-178C arasındaki Farklar ve Zorluklar
Giriş
Aviyonik yazılım geliştirme alanında, sıkı standartlara bağlılık, uçak sistemlerinin emniyetini ve güvenilirliğini sağlamak için çok önemlidir. Bu alanda öne çıkan iki standart, DO-178B ve onun halefi DO-178C'dir. DO-178B, aynı zamanda Hava İndirme Sistemlerinde ve Ekipman Sertifikasyonunda Yazılım Hususları olarak da bilinir, ilk olarak 1992 yılında Radyo Teknik Havacılık Komisyonu (RTCA) tarafından yayınlandı. DO-178C veya Hava İndirme Sistemleri ve Ekipman Sertifikasyonunda Yazılım Hususları – Değişiklik 1, 2011'de yayınlanan güncellenmiş sürümdür. Bu makale, DO-178B ile DO-178C arasındaki temel farkları ve zorlukları ele alacaktır.
Kapsam ve Hedefler
DO-178B
DO-178B, havadaki sistemlerde ve ekipmanlarda kullanılan yazılımların geliştirilmesi için yönergeler sağlar. Düzey A'dan (en kritik) Düzey E'ye (en az kritik) kadar çeşitli kritiklik düzeylerinde yazılım sertifikasyonu elde etmek için gereken hedefleri ve faaliyetleri ana hatlarıyla belirtir. Standart, yazılımın amaçlanan işlevlerini güvenilir, doğru ve güvenli bir şekilde gerçekleştirmesini sağlamaya odaklanır.
DO-178C
DO-178C, DO-178B tarafından atılan temel üzerine kuruludur ve çeşitli geliştirmeler ve açıklamalar sunar. Aynı hedefleri ve önem düzeylerini korur, ancak teknolojik ilerlemeleri ve önceki deneyimlerden öğrenilen dersleri ele almak için güncellenmiş rehberlik sağlar. DO-178C ayrıca, sistem güvenliği üzerindeki etkilerine dayalı olarak yazılım işlevlerinin kritikliğini belirlemeye daha fazla önem vererek daha fazla riske dayalı bir yaklaşım sunar.
Anahtar Farklılıklar
Gelişmiş Yaşam Döngüsü Süreçleri
DO-178C, DO-178B'ye kıyasla daha ayrıntılı bir yaşam döngüsü süreci seti sunar. Gereksinimlere, tasarıma, kodlamaya ve test etme faaliyetlerine ek önem verir. DO-178C'de tanımlanan yeni süreçler, DO-178B'de açıkça ele alınmayan yazılım modelleme, biçimsel yöntemler ve nesne yönelimli teknolojiyi içerir.
Bağımsızlık ve Doğrulama
DO-178C, yazılım geliştirme ve doğrulama faaliyetleri arasındaki bağımsızlık gerekliliğini güçlendirir. Yazılım gereksinimlerinin, tasarımın, kodlamanın ve test durumlarının doğrulanmasında bağımsızlık ihtiyacını vurgular. Bu, yazılım işlevselliğini değerlendirmek için farklı bakış açılarının uygulanmasını sağlayarak önyargı olasılığını azaltır ve doğrulama sürecinin genel kalitesini artırır.
Biçimsel Yöntemler ve Model Tabanlı Geliştirme
DO-178C, yazılım kalitesini ve güvenilirliğini artırmak için resmi yöntemlerin ve model tabanlı geliştirme tekniklerinin kullanımını teşvik eder. Bu yaklaşımlar, yazılım doğruluğunu ve güvenlik özelliklerini doğrulamak için matematiksel analiz ve resmi akıl yürütmeyi içerir. DO-178B, bu teknikleri açıkça ele almazken, DO-178C, bunların yazılım geliştirme sürecine entegrasyonu konusunda rehberlik sağlar.
Araç Kalifikasyonu
DO-178C, araç kalifikasyonuna daha kapsamlı bir yaklaşım getiriyor. Yazılım geliştirme araçlarına artan güveni ve bunların doğru kullanım ve güvenilirliğini sağlama ihtiyacını kabul eder. Standart, yazılım geliştirme ve güvenlik açısından kritiklik üzerindeki etkilerine dayalı olarak araçların değerlendirilmesi ve nitelendirilmesi konusunda rehberlik sağlar.
Ek Yönergeler
DO-178C, Teknik Ekler (TS) olarak bilinen birkaç ek belge içerir. Bu ekler, model tabanlı geliştirme, nesne yönelimli teknoloji ve biçimsel yöntemler gibi belirli konuları ele alır. Bu TS belgeleri, geliştiricilerin en iyi uygulamaları gerçekleştirmelerine ve DO-178C gerekliliklerini karşılamalarına yardımcı olmak için ek rehberlik ve açıklama sağlar.
Zorluklar
Geçiş ve Adaptasyon
DO-178B'den DO-178C'ye geçişte karşılaşılan başlıca zorluklardan biri, kuruluşların ve geliştiricilerin güncellenen yönergelere ve süreçlere uyum sağlama ihtiyacıdır. Geçiş, geliştirme metodolojilerinde, araç zincirlerinde ve kurumsal iş akışlarında önemli değişiklikler gerektirebilir. Güvenlik ve güvenilirliği korurken sorunsuz bir geçiş sağlamak, karmaşık ve yoğun kaynak gerektiren bir görev olabilir.
Artan Dokümantasyon Gereksinimleri
DO-178C, DO-178B'ye kıyasla dokümantasyona daha fazla önem verir. Standart, gereksinimler, tasarım, kodlama ve test etme gibi faaliyetler için daha kapsamlı belgeler gerektirir. Bu dokümantasyon gereksinimlerinin karşılanması, geliştirme ekiplerinin zaman, maliyet ve koordinasyon açısından zorluklara yol açabilecek ek çaba ve kaynakları gerektirir.
Alet Kalifikasyonu ve Sertifikasyonu
Yazılım geliştirme araçlarına olan güvenin artmasıyla birlikte, bunların uygun kalifikasyon ve sertifikasyonunun sağlanması çok önemlidir. DO-178C, araçların yazılım güvenliği üzerinde herhangi bir olumsuz etki yaratmadığını gösterme ihtiyacı da dahil olmak üzere, araç kalifikasyonu için daha katı gereksinimler getirir. Kuruluşlar, karmaşık ve zaman alıcı bir çaba olabilen bu gereklilikleri karşılamak için kapsamlı araç kalifikasyon süreçlerine ve dokümantasyona yatırım yapmalıdır.
Yeni Proses ve Tekniklere Uyum
DO-178C, DO-178B uygulamalarına alışkın kuruluşlara yabancı olabilecek resmi yöntemler ve model tabanlı geliştirme gibi yeni süreç ve teknikler sunar. Bu yeni yaklaşımlara uyum sağlamak, ek eğitim, uzmanlık ve yeni araçlara ve altyapıya yatırım gerektirebilir. Kuruluşların, güncellenen standardı etkili bir şekilde benimsemek için bu zorlukları ele alması gerekir.
Sonuç
DO-178B ve DO-178C, hava kaynaklı yazılım sistemlerinin geliştirilmesinde önemli standartlardır. DO-178C, DO-178B tarafından atılan temel üzerine inşa edilirken, bazı önemli farklılıkları ve zorlukları da beraberinde getirir. Geliştirilmiş yaşam döngüsü süreçleri, bağımsızlığa ve doğrulamaya yapılan vurgu, resmi yöntemlerin ve model tabanlı geliştirmenin dahil edilmesi ve kapsamlı araç kalifikasyon gereklilikleri, DO-178C'yi öncekinden ayırır. DO-178B'den DO-178C'ye geçiş yapan kuruluşlar, adaptasyon, artan dokümantasyon gereksinimleri, araç kalifikasyonu ve yeni süreç ve tekniklerle uyumluluk zorluklarını aşmak zorundadır. Geliştiriciler, bu zorlukları etkili bir şekilde ele alarak aviyonik yazılım sistemlerinin sürekli güvenliğini, güvenilirliğini ve uyumluluğunu sağlayabilir.
Bu gönderiyi paylaşmayı unutmayın!
Bölümler
1. Havadan Standart Giriş
2. DO-178 Belgelendirme Süreci
3. DO-178C Araçları ve Eğitimleri
4. İleri DO-178C Konuları
5. DO-178C Kaynakları
6. Sözlük
Visure ile Pazara Daha Hızlı Ulaşın
- Mevzuata Uyumun Sağlanması
- Tam İzlenebilirliği Uygulayın
- Geliştirmeyi Akıcı Hale Getir
