DO-178C Kılavuzu: RTCA DO-178 Sertifikasyonuna Giriş
İçindekiler
DO-178B Standart Kılavuz: Yazılım Doğrulama Araçları
Giriş
Havacılık endüstrisi için yazılım tasarımı söz konusu olduğunda güvenlik son derece önemlidir ve hiçbir güvenlik yönergesi, Havadaki Sistemlerde ve Ekipman Sertifikasyonunda Yazılım Değerlendirmeleri olarak da bilinen DO-178B kadar etkili olmamıştır. Bu blog yazısında, DO-178B'nin ne olduğunu, ona nasıl uyulacağını ve bunu yapmanıza yardımcı olacak farklı araçları ve sertifikaları tartışacağız.
DO-178B Nedir?
1992 yılında Havacılık Teknik Komisyonu (RTCA) tarafından yayınlanan ve Avrupa Sivil Havacılık Ekipmanları Örgütü EUROCAE ile ortaklaşa geliştirilen DO-178B, havadaki sistem ve ekipmanlarda kullanılan kritik görev yazılımlarının güvenliği ile ilgilenen uluslararası bir kılavuzdur. Bir politika değil, yalnızca bir kılavuz olmasına rağmen, DO-178B aviyonik yazılım geliştirmek için bir standart olarak görülüyor ve FAA bile bir yazılım parçasının hava kaynaklı bir ortamda güvenilir bir şekilde çalışıp çalışmayacağını belirlerken rehberlik için kullanıyor.
DO-178B, özellikle havacılık endüstrisinin benzersiz ihtiyaçlarını karşılamak için geliştirilmiş olmasına rağmen, diğer endüstrilerde de, genellikle geliştirme ile ilgilenen Havadaki Elektronik Donanım için Tasarım Güvence Kılavuzu olarak da bilinen DO-254 ile birlikte kullanım görmüştür. havadaki elektronik donanım. DO-178B gibi, DO-254 de, misyonu devlet düzenleyici otoriteleri ve endüstri tarafından kullanılmak üzere teknik rehberlik geliştirmek olan bir ABD gönüllü kuruluşu olan RTCA tarafından yayınlanmaktadır.
DO-178B ve DO-178C arasındaki fark nedir?
DO-178B ve DO-178C, Radyo Teknik Havacılık Komisyonu (RTCA) tarafından hava sistemlerinde kullanılan yazılımlar için geliştirilmiş standartlardır. Bu standartlar, hava aracı sistemlerinde kullanım için yazılımların geliştirilmesi ve belgelendirilmesi için yönergeler ve gereksinimler sağlar. DO-178B ve DO-178C arasındaki temel fark, kapsamları, güncellemeleri ve iyileştirmeleridir.
DO-178B, "Havacılık Sistemleri ve Ekipman Sertifikasyonunda Yazılım Hususları" olarak da bilinir, 1992 yılında yayınlandı ve havacılık endüstrisinde yazılım geliştirme için fiili standart haline geldi. Uçak sistemlerinde kullanılan yazılımın güvenilir ve güvenli olmasını sağlamak için bir dizi hedef ve faaliyet tanımladı. DO-178B, bir yazılım arızasının hava aracı ve içindekiler üzerindeki potansiyel etkisine bağlı olarak A Düzeyi'nden (en kritik) E Düzeyi'ne (en az kritik) kadar değişen altı yazılım düzeyinde düzenlenmiştir. Gereksinimler, tasarım, kodlama ve test dahil olmak üzere yazılım geliştirme, doğrulama ve geçerli kılma için sistematik bir süreç sağlar.
DO-178C, “Hava İndirme Sistemlerinde ve Ekipman Sertifikasyonunda Yazılım Hususları” olarak da bilinen DO-178B'nin güncellenmiş versiyonudur. 2011'de yayınlandı ve standarda birkaç önemli değişiklik ve iyileştirme getirdi. DO-178C, DO-178B'nin piyasaya sürülmesinden bu yana yazılım geliştirme uygulamaları, teknolojileri ve araçlarındaki gelişmeleri yansıtır. DO-178C'nin birincil hedefleri, standardın tutarlılığını ve netliğini artırmak, kullanılabilirliğini geliştirmek ve modern yazılım geliştirme teknikleriyle ilgili zorlukları ele almaktı.
DO-178C'deki dikkate değer değişikliklerden biri, “Model Tabanlı Geliştirme ve Doğrulama” (MBDV) adı verilen yeni bir yazılım yaşam döngüsü modelinin eklenmesidir. Bu model, yazılım geliştirmenin etkinliğini ve kalitesini artırabilecek model tabanlı tasarım ve doğrulama tekniklerinin kullanımına izin verir. DO-178C ayrıca resmi yöntemlerin, nesne yönelimli teknolojinin kullanımı ve kullanıma hazır ticari (COTS) yazılımların entegrasyonu hakkında daha net rehberlik sağlar.
DO-178C, DO-178B ile aynı yazılım seviyelerini korur ve gereksinimlere dayalı geliştirme, titiz testler ve izlenebilirliğin önemini vurgulamaya devam eder. Ayrıca, doğrulama faaliyetleri, araç kalifikasyonu ve yazılım modellerinin ve oluşturulan kodun kullanımı gibi konularda güncellenmiş rehberlik içerir.
Özet olarak, DO-178C, DO-178B'nin iyileştirmeler içeren ve gelişen yazılım geliştirme uygulamalarını ve teknolojilerini ele alan güncellenmiş bir sürümüdür. Daha net rehberlik sağlar, yeni yaşam döngüsü modelleri sunar ve DO-178B'nin piyasaya sürülmesinden bu yana yazılım mühendisliğindeki gelişmeleri açıklar.
DO-178B'ye Genel Bakış
- A Düzeyi (Felaket) - Bir uçağı güvenli bir şekilde uçurmak ve indirmek için gereken kritik bir işlevi devre dışı bırakarak bir kazaya neden olabileceğinden, başarısızlık güvenli uçuşun devam etmesini engeller.
- Seviye B (Tehlikeli) - Arızanın yolcular üzerinde olumsuz etkileri vardır, çünkü operatörlerin uçağı düzgün bir şekilde kullanma yeteneğini azaltır. Ciddi veya ölümcül yaralanmalar meydana gelebilir.
- Seviye C (Binbaşı) - Arıza, Tehlikeli arıza kadar büyük bir etkiye sahip değildir, ancak yine de çok önemlidir ve operatörlerin iş yükünü büyük ölçüde artırır ve güvenlik marjını azaltır.
- D Düzeyi (Küçük) - Başarısızlık, büyük bir başarısızlık kadar büyük bir etkiye sahip değildir, ancak yine de fark edilir ve yolcuların rahatsız olmasına veya rutin bir uçuş planı değişikliğine neden olabilir.
- Seviye E (Etki Yok) - Arıza, operasyon kabiliyetini hiçbir şekilde etkilemez ve bu nedenle uçakların güvenliği veya operatörlerin iş yükü üzerinde hiçbir etkisi yoktur.
- Yazılım Planlama - Bu, DO-178B'nin gereksinimlerini karşılamak için kullanılacak yazılım geliştirme süreçlerinin ve yazılım yaşam döngüsünün bir açıklamasıdır. Çıktı belgeleri bir yazılım geliştirme planı (SDP) içerir.
- gelişme - Bu DO-178C hedeflerini karşılamak için kullanılan yazılım geliştirme süreçlerinin ve yazılım yaşam döngüsünün bir açıklaması. bu çıktı belgeleri, yazılım gereksinimleri verilerini (SRD), yazılım tasarım açıklamasını (SDD), kaynak kodunu ve yürütülebilir nesne kodunu içerir.
- Doğrulama - Bu bir DO-178C hedeflerini karşılamak için kullanılan doğrulama süreçlerinin (İncelemeler, Analizler ve Testler) açıklaması. bu çıktı belgeleri, tüm gereksinimlerin, tasarımın ve kodun gözden geçirilmesiyle birlikte yazılım doğrulama durumlarını ve prosedürlerini (SVCP) ve yazılım doğrulama sonuçlarını (SVR) içerir.
- Konfigürasyon yönetimi - Bu DO-178C sertifikasını elde etmek için gereken tüm tasarım verilerini ve uyumluluk kanıtlarını yapılandırmak için kullanılacak yöntemlerin ve ortamın bir açıklaması. Çıktı belgeleri, yazılım konfigürasyon indeksini (SCI) ve yazılım yaşam döngüsü ortam konfigürasyon indeksini (SECI) içerir.
- Kalite güvencesi - Bu, DO-178C kalite güvence hedeflerinin karşılanmasını sağlamak için kullanılacak yöntemlerin ve ilgili kayıtların bir açıklamasıdır. Çıktı belgeleri, yazılım kalite güvence kayıtlarını (SQAR), yazılım uygunluk incelemesini (SCR) ve yazılım başarı özetini (SAS) içerir.
DO-178B'de Yazılım Doğrulamanın Önemi
Yazılım doğrulaması, yazılımın amaçlandığı gibi çalışmasını ve güvenlik ve güvenilirlik gereksinimlerini karşılamasını sağladığı için DO-178B standardının kritik bir parçasıdır. Yazılım doğrulamanın birincil amacı, yazılım bir hava aracına dağıtılmadan önce yazılım kusurlarını ve hatalarını belirlemek ve ortadan kaldırmaktır. Geliştiriciler, yazılım doğrulama araçlarını kullanarak çeşitli doğrulama etkinliklerini otomatikleştirebilir ve doğrulama sürecinin verimliliğini ve etkililiğini artırabilir.
DO-178B'de Yazılım Doğrulama Araçlarının Rolü
Yazılım doğrulama araçları, DO-178B standardının hedeflerine ulaşılmasında çok önemli bir rol oynamaktadır. Bu araçlar, geliştiricilerin statik analiz, dinamik analiz ve gereksinimlere dayalı test gibi çeşitli yazılım doğrulama etkinliklerini otomatikleştirmesine yardımcı olur. DO-178B'deki yazılım doğrulama araçlarının bazı önemli rolleri şunlardır:
Statik Analiz Araçları
Statik analiz araçları, yazılımı çalıştırmadan kaynak kodunu analiz eder. Bu araçlar, kod yapısını, sözdizimini ve veri akışını inceleyerek olası kusurları ve kodlama standartlarındaki ihlalleri tespit eder. Statik analiz araçları, başlatılmamış değişkenler, arabellek taşmaları ve erişilemeyen kod gibi sorunları tanımlayabilir. Geliştiriciler, statik analiz araçlarını kullanarak, geliştirme sürecinin başlarında hataları yakalayabilir ve çalışma sırasında yazılım arızası olasılığını azaltabilir.
Dinamik Analiz Araçları
Dinamik analiz araçları, yürütme sırasında yazılımın davranışını izler. Bu araçlar, bellek kullanımı, işlev çağrıları ve değişken değerleri gibi çalışma zamanı bilgilerini yakalar. Dinamik analiz araçları özellikle çalışma zamanı hatalarını, bellek sızıntılarını ve performans darboğazlarını tespit etmek için kullanışlıdır. Yazılımın gerçek davranışı hakkında içgörü sağlarlar ve statik analiz sırasında görünmeyebilecek sorunları belirlemeye yardımcı olurlar.
Gereksinimlere Dayalı Test Araçları
Gereksinim tabanlı test araçları, yazılımın belirtilen gereksinimlere göre doğrulanmasını kolaylaştırır. Bu araçlar, sistem gereksinimlerine göre test durumlarının oluşturulmasını otomatikleştirir ve tüm gereksinimlerin yeterince test edilmesini sağlamaya yardımcı olur. Gereksinimlere dayalı test araçları, testlerin kapsamını izleyerek yazılımın belirtilen gereksinimlere göre kapsamlı bir şekilde test edilmesini sağlayabilir. DO-178B'nin önemli bir gereksinimi olan gereksinimler, tasarım ve test senaryoları arasında izlenebilirliğin sağlanmasına yardımcı olurlar.
Yazılım Doğrulama Araçlarını Seçerken Dikkat Edilecek Hususlar
DO-178B uyumluluğu için yazılım doğrulama araçlarını seçerken birkaç husus dikkate alınmalıdır. İşte dikkate alınması gereken bazı önemli faktörler:
Araç Kalifikasyonu
DO-178B'ye göre, geliştirme sürecinde kullanılan yazılım doğrulama araçları nitelikli olmalıdır. Araç kalifikasyonu, araçların güvenilir, etkili olduğunun ve ek hatalara yol açmadığının gösterilmesini içerir. Yeterlilik süreci tipik olarak aracın özelliklerini, sınırlamalarını ve varsayımlarını belgelemenin yanı sıra araç doğrulama ve doğrulama kanıtı sağlamayı içerir.
Araç Entegrasyonu
Seçilen yazılım doğrulama araçları, geliştirme ortamına ve genel yazılım geliştirme yaşam döngüsüne entegre olabilmelidir. Araçlar, geliştirme araçları, derleyiciler ve diğer yazılım bileşenleri ile sorunsuz bir şekilde çalışmalıdır. Entegrasyon sorunsuz iş akışı sağlar ve doğrulama faaliyetlerinin otomasyonunu kolaylaştırır.
Araç Dokümantasyonu ve Desteği
Yazılım doğrulama araçlarını etkili bir şekilde kullanmak için uygun dokümantasyon ve destek gereklidir. Araçlar, kullanım kılavuzları, öğreticiler ve örnekler dahil olmak üzere kapsamlı belgelere sahip olmalıdır. Ek olarak, geliştirme sürecinde gerekli olan sorunları veya güncellemeleri ele almak için araç satıcısından teknik desteğe ve düzenli güncellemelere erişim çok önemlidir.
DO-178B ile uyumluluk
DO-178B standardına uygunluğu sağlamak için standartta belirtilen yönergelere uygun olarak yazılım doğrulama araçları kullanılmalıdır. Araçları seçme, nitelendirme ve kullanma süreci iyi bir şekilde belgelenmeli ve araç kalifikasyonu ve doğrulama kanıtı muhafaza edilmelidir. Ek olarak, araçlar, yazılım geliştirme yaşam döngüsü boyunca tutarlı bir şekilde uygulanmalı ve sıkı test ve incelemelere tabi tutulmalıdır.
DO-178B Nasıl Desteklenir?
Geliştirme araçları, doğrulama araçları ve gereksinim yönetimi araçları dahil olmak üzere DO-178B süreçlerinde yardımcı olabilecek birçok araç vardır.
Son araç kategorisi özellikle önemlidir, çünkü DO-178B süreçleri sırasında her bir gereksinimin kaynağına kadar geriye gidilmesi mümkün olmalıdır ve bu nedenle, izlenebilirliği sağlamak için gereksinimde yapılan her değişiklik belgelenmelidir. Aslında, uygulanan özelliklerin dağıtımından sonra gereksinimin kullanımı da izlenebilir olmalıdır.
Geliştirmenin tüm aşamalarında proje eserlerinin derin ve titiz izlenebilirliğini sağlayabilen bir yazılım aracı olmadan havadaki sistemler için DO-178B uyumlu yazılım geliştirmek imkansız olacaktır.
DO-178B İçin Gerekli Belgeler
DO-178B uyumluluğu için gerekli birkaç belge vardır. Onlar içerir:
- Sertifikasyonun Yazılım Yönleri Planı (PSAC)
- Yazılım Kalite Güvence Planı
- Yazılım Konfigürasyon Yönetim Planı
- Yapılandırma Kontrol Prosedürleri
- Yazılım Kodu Standardı
- Yazılım Tasarım Standardı
- Yazılım Gereksinimleri Standardı
- Yazılım Geliştirme Planı
- Yazılım Doğrulama Planı
- Kaynak, Yürütülebilir Nesne Kodu, SCI ve SECI
- Yazılım Tasarım Belgesi
- Yazılım Gereksinimleri Belgesi
- İzlenebilirlik
- Test Durumları ve Prosedürleri
- Doğrulama Sonuçları
- Kalite Güvence Kayıtları
- Konfigürasyon Yönetimi Kayıtları
- Sorun Raporları
- Yazılım Başarıları Özeti
DO-178B'yi Gereksinim Yönetim Aracı ile Destekleme
gibi gereksinim yönetimi araçları Visure Gereksinimleri DO-178B'yi destekleyebilir tüm gereksinimler, doğrulama, sorun raporlama, kontrol listeleri ve proje yapıları arasında uçtan uca izlenebilirlik sağlayarak. DO-178B hedefleri de dahil olmak üzere tüm eserler için merkezi ve açık bir havuz görevi gören uyumlu bir ortam sunar.
Visure Requirements ile, DO-178B kılavuzuna uymak ve bunu erişilebilir, işbirliğine dayalı ve uygun maliyetli bir şekilde yapmak için kuruluş genelinde tanımlanmış süreçleri standartlaştırmak ve uygulamak kolaydır.
Çok yönlü Entegrasyon Platformu sayesinde Visure Requirements, değişikliği genişletmek için üçüncü taraf, ticari veya tescilli araçlarla entegre olabilir etki analizi DO-178B'yi daha fazla desteklemek için kapsamı dışındaki öğelere özellikler.
Visure Requirements'ın diğer gereksinim yönetimi özellikleri arasında filtreler, kullanıcı tanımlı görünümler, rol tabanlı kullanıcı arabirimi, grafik olarak tanımlanmış gereksinim süreci ve izlenebilirlik, yerleşik iş akışları, sınırsız sayıda kullanıcı tanımlı öznitelik, sürüm yönetimi ve karşılaştırma ve diğerlerinin yanı sıra eski sürümlere geri dönme.
Sonuç
DO-178B, güvenlik açısından kritik yazılımların tutarlı ve tekrarlanabilir bir şekilde tasarlanmasını, geliştirilmesini ve test edilmesini sağlayan bir yazılım standardıdır. Standart 1990'ların başından beri kullanılmaktadır ve teknolojideki değişiklikleri hesaba katmak için zaman içinde güncellenmiştir. Birçok ticari havacılık kuruluşu, kendileriyle iş yapmanın bir parçası olarak tedarikçilerinin DO-178B sertifikasına sahip olmalarını şart koşar. Sertifikasyon elde etmek için kuruluşlar, yazılım geliştirme yaşam döngüsünün tüm yönlerini belgelemeyi içeren titiz bir süreçten geçmelidir. Görünüm Gereksinimleri ALM Platformu, DO-178B'yi en yüksek sertifika düzeyi olan A Düzeyinde desteklemek üzere sertifikalandırılmış birkaç gereksinim yönetimi aracından biridir. Gereksinimlerinizi yönetmek için uçtan uca bir çözüm arıyorsanız ve bu önemli standartla uyumluluğu sağlamak istiyorsanız, Visure Requirements'ı bugün deneyin. denemek Ücretsiz 30 günlük deneme Şimdi!
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
