Havacılık endüstrisinde güvenlik, ödün verilemez bir önceliktir. Uçuş güvenliğini sağlamak amacıyla kullanılan donanımların güvenilirliği, belirli süreç standartlarına uyumla belgelenmektedir. Bu bağlamda RTCA/DO-254 (Avrupa’da ED-80 olarak bilinir), hava araçlarında kullanılan programlanabilir mantık cihazları (PLD), sahada programlanabilir kapı dizileri (FPGA) ve uygulamaya özel entegre devreler (ASIC) gibi karmaşık elektronik donanımların tasarım güvencesi için temel rehberdir.
Tasarım Güvencesi ve Kritiklik Seviyeleri (DAL)
Havacılık elektroniği donanımlarında Tasarım Güvence Seviyeleri (DAL), bir sistemin olası bir arıza durumunda uçak, mürettebat ve yolcular üzerindeki etkisinin ciddiyetine göre belirlenen kritiklik derecelendirmesidir. DO-254 kapsamında tanımlanan bu seviyeler, en kritikten en az kritiğe doğru A’dan E’ye kadar beş kategoride sınıflandırılır.
Tasarım Güvence Seviyeleri ve Arıza Etkileri
DAL seviyeleri arasındaki temel farklar, sistemin arıza olasılığı ve bu arızanın sonuçları üzerinden şu şekilde tanımlanır:
- DAL A (Katastrofik): Arızanın uçağın kaybına veya can kaybına yol açabileceği sistemleri kapsar. Bu seviyedeki sistemler için uçuş saati başına 10⁻⁹’dan düşük bir arıza olasılığı hedeflenir; uçuş kontrol sistemleri bu seviyeye örnektir.
- DAL B (Tehlikeli): Arızanın ciddi yaralanmalara veya uçağın güvenlik marjında büyük bir düşüşe neden olabileceği seviyedir. Hedeflenen arıza olasılığı uçuş saati başına 10⁻⁷’den düşüktür; fren sistemleri bu grupta yer alır.
- DAL C (Majör): Arızanın mürettebat üzerinde iş yükü artışına veya yolcularda yaralanmalara yol açabileceği sistemlerdir. Arıza olasılığı 10⁻⁵’ten düşük olmalıdır; yedekleme sistemleri bu seviyeye örnek gösterilebilir.
- DAL D (Minör): Arızanın yalnızca operasyonel zorluklara veya konfor kaybına neden olduğu, güvenlik üzerindeki etkisi düşük sistemlerdir. Yer navigasyon sistemleri bu kategoridedir.
- DAL E (Güvenlik Etkisi Yok): Arızanın uçuş güvenliği, mürettebat iş yükü veya yolcular üzerinde herhangi bir olumsuz etkisinin bulunmadığı seviyedir. Yolcu eğlence sistemleri bu gruptadır ve güvenlik metriği aranmaz.
DAL Seviyelerine Göre Değişen Gereksinimler
Kritiklik seviyesi arttıkça, DO-254 sürecinin titizliği ve kanıtlanması gereken dokümantasyonun kapsamı da genişler.
DAL A ve B için ortak sıkı gereksinimler:
- Bağımsızlık (independence): Doğrulama ve geçerleme faaliyetlerinin, tasarımı yapan kişiden farklı biri tarafından yürütülmesi veya en azından gözden geçirilmesi zorunludur.
- Gelişmiş yöntemler (advanced methods): DO-254 Ek B (Appendix B) uyarınca karmaşık donanımlar için formal doğrulama veya güvenlik odaklı analizler gibi ileri yöntemlerin kullanılması gerekir.
- Elemental analiz: Tasarımın tüm mantıksal yapısının test edildiğinin kanıtlanması amacıyla %100 HDL kod kapsama (statement and decision coverage) analizi yapılmalıdır.
- Dayanıklılık (robustness) testleri: Sistemin normal çalışma koşulları dışındaki (anormal veya sınır koşullardaki) davranışları gereksinim olarak tanımlanmalı ve doğrulanmalıdır.
- COTS IP analizi: Tasarımda ticari hazır fikri mülkiyet (COTS IP) kullanılıyorsa, güvenlik açısından hassas kısımların belirlenmesi için güvenliğe özel analizler yürütülmelidir.
DAL C gereksinimleri: DAL C seviyesindeki donanımlar için DAL A ve B’ye kıyasla daha sınırlı bir hedef seti uygulanır. Detaylı tasarım aşamasında tasarımın gereksinimleri karşıladığının yanı sıra donanım tasarım standartlarına uygunluğunun da gösterilmesi yeterli görülür.
DAL D ve E gereksinimleri: DAL D seviyesi için DO-254 süreçlerinin tamamı zorunlu değildir; bu seviyedeki donanımların temel işlevlerini yerine getirdiğinin doğrulanması genellikle yeterlidir. DAL E için ise genellikle özel bir geliştirme güvencesi süreci talep edilmez.
Özetle, DAL A ve B seviyeleri DO-254 standardının en katı süreçlerine tabi tutulurken, DAL C’den itibaren güvence gereksinimleri kademeli olarak hafifletilir.
Donanım Yaşam Döngüsü Verileri ve Konfigürasyon Endeksleri
RTCA/DO-254 kapsamında donanım yaşam döngüsü verileri ve konfigürasyon endeksleri, bir donanım tasarımının sertifikasyon otoritesi tarafından onaylanabilmesi için gerekli teknik kanıtları ve yapılandırma bilgilerini içeren dokümantasyon setidir. Bu veriler ve endeksler temel olarak aşağıdaki bileşenlerden oluşur.
1. Donanım Yaşam Döngüsü Verileri (Hardware Life Cycle Data)
Bu veri seti, planlama aşamasından ürünün tamamlanmasına kadar üretilen tüm teknik dokümanları kapsar:
- Planlama verileri: Projenin ana yol haritasını belirleyen Sertifikasyon için Donanım Yönleri Planı (PHAC), bu grubun en kritik belgesidir. Donanım Geliştirme Planı, Doğrulama Planı ve Konfigürasyon Yönetim Planı gibi belgeler de bu gruba dahildir.
- Tasarım standartları: Donanım tasarım standartları ve HDL kodlama standartları, tasarımın tutarlılığını sağlamak amacıyla oluşturulan rehberlerdir.
- Tasarım temsili verileri (design representation data): Kavramsal tasarım (mimari ve blok diyagramlar) ile detaylı tasarım verileri (RTL kodu ve netlist gibi) bu kategoride yer alır.
- Doğrulama ve geçerleme (V&V) verileri: Gereksinimlere dayalı test vakaları, test prosedürleri ve bu testlerin sonuçlarını içeren raporlardır.
- Süreç ve analiz kayıtları: Donanım süreç güvence kayıtları ile tasarım gözden geçirme ve analiz (hardware review and analysis) sonuçlarını kapsar.
- Donanım Başarım Özeti (HAS): Projenin sonunda tüm süreçlerin planlara uygunluğunu ve hedeflere ulaşıldığını belgeleyen nihai dokümandır.
2. Konfigürasyon Endeksleri (Configuration Indices)
Konfigürasyon endeksleri, ürünün tam olarak hangi parçalardan ve hangi araç ortamında üretildiğini tanımlayarak tekrarlanabilirliği (repeatability) sağlar.
- Donanım Konfigürasyon Endeksi (HCI — Hardware Configuration Index): Donanım konfigürasyonunu, gömülü mantığı (embedded logic) ve yaşam döngüsü verilerini eksiksiz tanımlayan ana dokümandır. Tasarım sürecindeki tüm bileşenlerin (kodlar, belgeler, donanım sürümleri) güncel durumunu listeler.
- Donanım Ortamı Konfigürasyon Endeksi (HECI — Hardware Environment Configuration Index): Donanımın geliştirildiği, sentezlendiği ve üretildiği araç ortamını (yazılım araçları, sürümler, işletim sistemleri vb.) tanımlar. HCI dokümanı içinde yer alabilir veya HCI tarafından referans gösterilebilir.
Bu dokümanların temel amacı, donanımın her zaman aynı koşullarda yeniden üretilebileceğini güvence altına almak ve tasarımın bütünüyle gereksinimlere izlenebilirliğini (traceability) kanıtlamaktır.
Gereksinim Odaklı Tasarım Döngüsü
DO-254, proaktif bir yaklaşımla kalitenin tasarımın her aşamasına entegre edilmesini zorunlu kılar. Standart, donanım geliştirme sürecini belirli aşamalara ayırır:
- Planlama: Projenin nasıl yürütüleceğini belirleyen ana doküman olan Sertifikasyon için Donanım Yönleri Planı (PHAC) bu aşamada oluşturulur.
- Gereksinim yakalama: Tüm donanım fonksiyonları yazılı gereksinimlere dönüştürülmeli ve doğrulanabilir olmalıdır.
- Kavramsal ve detaylı tasarım: Gereksinimlerin mimariye ve ardından RTL (Register Transfer Level) koduna dönüştürülmesini kapsar.
- Uygulama ve üretime geçiş: Tasarımın fiziksel bir cihaza aktarılması ve seri üretime hazır hâle getirilmesi süreçlerini içerir.
Bu sürecin merkezinde izlenebilirlik (traceability) yer alır; her gereksinim, tasarımın ilgili parçasına ve yapılan doğrulamalara bağlanmalıdır.
Doğrulama ve İleri Yöntemlerin Önemi
Karmaşık donanımlarda geleneksel simülasyon yöntemleri tüm olası durum senaryolarını (corner case) test etmekte yetersiz kalabilir. Örneğin 1 milyon kapılı bir tasarımda tüm giriş kombinasyonlarının simüle edilmesi binlerce yıl sürebilir. Bu risklerin en aza indirilmesi için kaynaklarda formal doğrulama (formal verification) gibi matematiksel analiz yöntemlerinin kullanılması önerilmektedir. Bu yöntem, tasarımın her koşulda gereksinimleri karşılayıp karşılamadığını matematiksel olarak ispatlayarak hata riskini en aza indirir.
Dokümantasyon
RTCA/DO-254 kapsamında bir donanım projesinin sertifikasyon sürecinin belgelenmesi ve tasarım güvencesinin kanıtlanması amacıyla geniş kapsamlı bir dokümantasyon seti hazırlanır. Bu dokümanlar genel olarak planlama, standartlar, yaşam döngüsü verileri ve sonuç özetleri olarak gruplandırılabilir.
1. Ana Planlama Dokümanları
Planlama aşamasında, projenin nasıl yürütüleceğini ve DO-254 hedeflerine nasıl ulaşılacağını belirleyen beş temel plan oluşturulur:
- Sertifikasyon için Donanım Yönleri Planı (PHAC): Projenin tüm yönlerini kapsayan, sertifikasyon otoritesiyle üzerinde mutabakata varılan ana planlama dokümanıdır.
- Donanım Geliştirme Planı (HDP): Tasarım sürecinin teknik ayrıntılarını ve aşamalarını açıklar.
- Donanım Doğrulama Planı (HVP): Gereksinimlerin nasıl test edileceğini ve doğrulanacağını tanımlar.
- Donanım Konfigürasyon Yönetim Planı: Tasarım verilerinin, araçların ve dokümanların nasıl izleneceğini ve kontrol edileceğini belirler.
- Donanım Süreç Güvence Planı (veya Kalite Güvence Planı): PHAC ve diğer planlara uyumun nasıl denetleneceğini belgeler.
2. Donanım Tasarım Standartları
Tasarım sürecinde tutarlılığın sağlanması için belirli rehber dokümanlar oluşturulur:
- Donanım tasarım standartları: Kavramsal ve detaylı tasarım kurallarını içerir.
- HDL kodlama standartları: RTL kodunun yazımında uyulacak kuralları belirler ve genellikle donanım tasarım standartlarının bir parçasıdır.
3. Donanım Yaşam Döngüsü Verileri
Tasarımın her aşamasında üretilen teknik veriler ve sonuç raporlarıdır:
- Gereksinim dokümanları: Tüm donanım fonksiyonlarının tanımlandığı ve izlenebilirliğin sağlandığı temel veri setidir.
- Donanım tasarım temsili verileri: Kavramsal tasarım blok diyagramlarını ve detaylı tasarım (RTL) verilerini içerir.
- Doğrulama ve geçerleme verileri: Test vakaları, test prosedürleri ve bu testlerin sonuçlarını içeren raporlardır.
- Donanım gözden geçirme ve analiz kayıtları: Yapılan iç denetimlerin ve gözden geçirmelerin (SOI denetimleri gibi) sonuçlarını içerir.
4. Konfigürasyon ve Özet Dokümanlar
Projenin sonunda nihai ürünün durumunu özetleyen dokümanlar hazırlanır:
- Donanım Konfigürasyon Endeksi (HCI): Gömülü mantık dahil olmak üzere donanım konfigürasyonunu ve yaşam döngüsü verilerini eksiksiz tanımlar.
- Donanım Ortamı Konfigürasyon Endeksi (HECI): Donanımın geliştirildiği ve üretildiği araç ortamını tanımlar.
- Donanım Başarım Özeti (HAS): Projenin PHAC’a uygunluğunu kanıtlayan ve varsa sapmaları listeleyen nihai dokümandır.
Ayrıca kullanılan araçların (simülasyon, sentez vb.) güvenilirliğinin kanıtlanması için araç değerlendirme ve kalifikasyon (tool assessment and qualification) dokümanlarının da hazırlanması gerekebilir.
Kaynakça
- A Case-Study Application of RTCA DO-254: Design Assurance Guidance for Airborne Electronic Hardware — Paul S. Miner, Victor A. Carreño, Mahyar Malekpour ve Wilfredo Torres, NASA Langley Research Center, Hampton, VA.
- Development Assurance for Airborne Electronic Hardware — U.S. Department of Transportation, Federal Aviation Administration.
