Organizasyonlar, güvenlik ve havacılık sertifikasyon standartlarına uyum sağlamak için Model Tabanlı Sistem Mühendisliği (MBSE) ve Model Tabanlı Tasarımı (Model-Based Design) kullanır:
- Gereksinim yönetimi: Gereksinimleri içe aktarın, oluşturun, biçimlendirin, doğrulayın ve izleyin
- Sistem mimarileri ve davranış modelleri: Modelleyin, analiz edin ve simüle edin
- Kod üretimi: Modellerden C, C++, VHDL® ve Verilog® kodu üretin
- Statik ve dinamik doğrulama: Test senaryoları oluşturun, bağlayın ve yürütün; modeller ve kod üzerinde resmi yöntemler uygulayın
- Kalifikasyon: DO-330’a göre araçları kalifiye edin ve raporlar oluşturun
Bu uygulamaları entegre ederek, organizasyonlar sertifikasyon süreçlerini verimli bir şekilde yönetebilir ve gerekli kanıtları oluşturabilir.
Sistem Standartları: ARP4754B, ARP4761A ve DO-326A
Bir dizüstü bilgisayar ve üzerinde System Composer yüklü bir uçak ile çalışabilirsiniz.
MATLAB ve Simulink ürünlerini, sivil uçak ve sistem geliştirme için ARP4754B, güvenlik değerlendirmesi için ARP4761A ve güvenlik değerlendirmesi için DO-326A gibi temel havacılık standartlarını desteklemek amacıyla kullanabilirsiniz.
Model Tabanlı Sistem Mühendisliği (MBSE) ve Model Tabanlı Tasarım ile MATLAB ve Simulink ürünlerini, System Composer, Simulink Fault Analyzer ve Requirements Toolbox dahil, aşağıdaki amaçlarla kullanabilirsiniz:
- Sistem gereksinimlerini metin ve model formatında yakalamak
- Gereksinimlerin doğrulamasını yapmak
- Dayanıklı sistem mimarileri tasarlamak ve test etmek
- Farklı seviyelerde kapsamlı doğrulama faaliyetleri yürütmek
Bu süreç, üst düzey sistem tasarımları ile alt düzey yazılım ve donanım uygulamaları arasında bağlantı kurar; sertifikasyon için gerekli dijital ipliği ve izlenebilirliği oluşturur.
Yazılım Standartları DO-178C ve Ekleri
DO-178C standardı, hava araçlarında kullanılacak yazılımın onaylanabilmesi için bir dizi hedef ve etkinliği tanımlar. Model Tabanlı Tasarım kullanarak riskleri ve iş yükünü şu şekilde azaltabilirsiniz:
- Yürütülebilir spesifikasyonlar oluşturarak yazılım gereksinimlerini yineleyip iyileştirmek
- Modelleme ve simülasyon ile mimariyi tanımlamak ve tasarım seçimlerinizi dayanıklılık ve sürdürülebilirlik açısından doğrulamak
- Geriye dönük test ve gereksinimlerden testlere izlenebilirlik ile kod ve yürütülebilir kapsamı göstermek
- Model ve kod inceleme faaliyetlerini otomatikleştirmek
- Resmi yöntemler kullanarak test faaliyetlerini azaltmak
Donanım Standardı: DO-254
DO-254 standardı, Hava Araçları Elektronik Donanımının (Airborne Electronic Hardware – AEH) sertifikasyonu için bir dizi hedef tanımlar. MATLAB ve Simulink, DO-254 hedeflerine uyum sağlamanızı ve süreçlerini desteklemenizi mümkün kılar:
- Gereksinim yönetimi ve izlenebilirlik
- Tasarım standartlarına uygunluk
- HDL kod üretimi
- Doğrulama ve geçerlilik testleri
Model Tabanlı Tasarım kullanmak ayrıca, gereksinimlerin erken doğrulanması, gereksinimlerle otomatik bağlantı, model ve kod standartlarının kontrolü, kod üretimi, rapor ve belge üretimi ile farklı seviyelerde test senaryolarının yeniden kullanımı gibi avantajlar sağlayarak DO-254 hedeflerinin karşılanmasına yardımcı olur ve maliyet ile pazara çıkış süresini optimize eder.
Yapay Zekâ Destekli Sistemlerin Sertifikasyonu
Üretimde Yapay Zekâ (AI) kullanımı giderek artıyor ve özellikle yüksek bütünlük gerektiren gömülü sistemlerin geliştirilmesinde modelin açıklanabilirliği, doğrulama ve geçerlilik testlerini zorunlu kılıyor. Bu alanlarda AI’nın güvenilirliğini ve emniyetini sağlamak; veri izlenebilirliği, kalitesi ve kapsayıcılığını güvence altına almak, tekrarlanabilir, sağlam, yorumlanabilir ve ölçeklenebilir modeller geliştirmek gibi zorlukları içeriyor. Bu çabalar, sektörlere özgü yerleşik AI standartlarının eksikliği nedeniyle daha da karmaşık hale geliyor. MathWorks, sertifikasyon standardının tanımlanması üzerine çalışan SAE WG-114 grubunun bir parçasıdır.
Uzay Standartları
Uzay sistemleri için yazılım ve elektronik donanım geliştirmede gerekli süreçler, farklı bölgesel standartlarla tanımlanmıştır. Bunlara örnek olarak: NASA Yazılım Mühendisliği Gereksinimleri (NPR 7150.2), Avrupa Uzay Standardizasyonu İşbirliği (ECSS) Uzay Mühendisliği Yazılım Standardı (ECSS-E-ST-40) ve Yazılım Ürün Güvencesi (ECSS-Q-ST-80), ayrıca FPGA ve ASIC’ler için Uzay Mühendisliği Standardı (ECSS-E-ST-20-40C) ve Kalite Standardı (ECSS-Q-ST-60-03C) verilebilir.
Model Tabanlı Tasarım kullanarak bu standartlara uygun, sertifikalanabilir kod geliştirebilirsiniz. Bunun için:
- Gereksinimleri yönetebilir, tahsis edebilir, izleyebilir ve davranışsal simülasyonla doğrulayabilirsiniz
- Mimarileri tanımlayıp sürdürebilir ve simülasyona doğal olarak bağlayabilirsiniz
- Algoritmaları geliştirip test ederek yazılım koduna dönüştürebilirsiniz
- Tasarım dayanıklılığını sağlamak ve statik kod analizi gerekliliklerine uymak için biçimsel yöntemler kullanabilirsiniz
Tasarım akışlarını ve raporlamayı otomatikleştirebilirsiniz
Sertifikasyon Danışmanlığı ve Öğrenme Yolları
Üretimde Yapay Zekâ (AI) kullanımı giderek artıyor ve özellikle yüksek bütünlük gerektiren gömülü sistemlerin geliştirilmesinde modelin açıklanabilirliği, doğrulama ve geçerlilik testlerini zorunlu kılıyor. Bu alanlarda AI’nın güvenilirliğini ve emniyetini sağlamak; veri izlenebilirliği, kalitesi ve kapsayıcılığını güvence altına almak, tekrarlanabilir, sağlam, yorumlanabilir ve ölçeklenebilir modeller geliştirmek gibi zorlukları içeriyor. Bu çabalar, sektörlere özgü yerleşik AI standartlarının eksikliği nedeniyle daha da karmaşık hale geliyor. MathWorks, sertifikasyon standardının tanımlanması üzerine çalışan SAE WG-114 grubunun bir parçasıdır.
Özelleştirilmiş Eğitim Yolları
DO-178C için Model Tabanlı Tasarım Eğitim Yolları Diyagramları
