DO Qualification Kit nedir?
DO Qualification Kit, havacılık yazılımı ve donanımı sertifikasyonunda kullanılan MathWorks araçlarını nitelendirmek için hazırlanmış bir belge ve test paketidir. Sertifikasyon otoritesi, doğrulama adımlarını otomatikleştiren her aracın öngörüldüğü gibi çalıştığının kanıtlanmasını ister. Kit bu kanıtı üretmek için doküman şablonları, test senaryoları ve test yordamları verir; böylece DO-178C’de tanımlanan araç nitelendirme yaklaşımını kendi projenizde uygularsınız. Kapsam DO-178C, DO-278A ve destekleyici belgeler olan DO-330, DO-331, DO-332 ile DO-333’ü içerir. Ayrıntıları MathWorks ürün sayfasında bulursunuz.
Kit iki ayrı alanı kapsar. Yazılım tarafında DO-178C süreçlerini model tabanlı tasarımla yürütürsünüz: Embedded Coder ile kod üretimi, Simulink Code Inspector ile kod incelemesi, Simulink Design Verifier ile biçimsel analiz, Simulink Test ile test yürütme, Simulink Coverage ile kapsam ölçümü, Polyspace Bug Finder ile Polyspace Code Prover ile statik analiz. Requirements Toolbox izlenebilirliği sağlar, Simulink Check ise modelleme standartlarını denetler. Donanım tarafında DO-254 uyumu için HDL Coder ve HDL Verifier akışları desteklenir; üretilen HDL kodu elle inceleme gerektirir, çıktı ise Simulink Test ile doğrulanır. Kit A’dan E’ye kadar tüm seviyeler için rehberlik sunar, yani hedef seviyeye göre hangi kanıtın gerektiğini belirlersiniz.
DO Qualification Kit Temel Yetenekleri
DO-178C Yazılım Sertifikasyonu
Havacılık yazılımı için DO-178C süreçlerini iş akışı rehberliği ve hazır belgelerle yürütürsünüz. Destekleyici belgeler DO-330, DO-331 ve DO-333 kapsanır.
Böylece hangi kanıtın hangi hedefi karşıladığını izlersiniz.
DO-254 Donanım Sertifikasyonu
Havacılık donanımı için DO-254 uyumunu Simulink doğrulama araçlarıyla gösterirsiniz. HDL Coder ve HDL Verifier akışları desteklenir.
Ayrıca üretilen HDL kodu elle inceleme gerektirir.
Araç Nitelendirme
DO-178C’de tanımlanan araç nitelendirme yaklaşımını kit içindeki doküman şablonları, test senaryoları ve test yordamlarıyla uygularsınız.
Dolayısıyla kanıt paketini sıfırdan hazırlamak zorunda kalmazsınız.
Nitelendirilebilir Ürünler
Embedded Coder, Simulink Code Inspector, Simulink Design Verifier, Simulink Test, Simulink Coverage, Simulink Check, Requirements Toolbox, Polyspace Bug Finder ve Polyspace Code Prover kapsanır.
Yani doğrulama zincirinin tamamı için kanıt üretirsiniz.