DO-330, ISO-26262'ye göre takım kalifikasyon paketi
Şunlar için geçerlidir
DO-178B, DO-178C / ED-12B, ED-12C / DO-278A / ED-109A
Yazılım doğrulama araçlarının niteliği nedir?
Kendi doğrulama araçlarımızı veya ticari doğrulama araçlarını kalifiye etme imkanı sunuyoruz. Aracı çok sayıda test senaryosuna tabi tutuyor ve sonuçları ve analizlerini içeren ayrıntılı bir rapor sunuyoruz. Test senaryolarına ek olarak, müşterinin ihtiyaçlarına göre test senaryoları ekleme, özelleştirme veya çıkarma imkanı sunuyoruz. Test paketi ile birlikte yeterlilik belgeleri de sağlanmaktadır.
Müşterilerimizle yakın temas kuruyor ve kalifikasyon süreci boyunca onlara rehberlik ediyoruz. Test vakalarının yürütülmesindeki desteğimiz özellikle önemlidir.
Ne sunuyoruz
Kişiye özel test senaryolarının oluşturulması
Müşterinin ilgilendiği aracın işlevselliğini inceliyoruz ve ilgili test senaryolarını tasarlıyoruz.
Yeni özelleştirilmiş test senaryolarının kolayca dahil edilebileceği esnek bir araç sunuyoruz.
Yeterlilik belgeleri sağlıyoruz
İki ana belge içermektedir:
- Araç tarafından karşılanması gereken gereksinimleri tanımlayan Araç Operasyonel Gereksinimleri (TOR).
- Test durumlarının ayrıntılı bir açıklaması da dahil olmak üzere Araç Operasyonel Doğrulama ve Geçerleme Durumları ve Prosedürleri (TOVVCP)
Farklı standartlara ve programlama dillerine göre sertifikasyon
MISRA-C 2004, 2012 ve 2023, MISRA-C++ 2023 veya ICAO ADS-B gibi sertifikasyon standartlarına aşinayız.
C, C++ ve LUA tabanlı araçlarla çalıştık.
Destek ve danışmanlık hizmeti
Aracımızın uygulanması ve kullanımı ile ilgili destek sunuyoruz. Ayrıca, standarda uygunluğunu sağlamak için aracın doğru şekilde geliştirilmesi konusunda tavsiyelerde bulunuyoruz.
Geliştirme sırasında bakım
Müşterilerimize özel araçlarının geliştirilmesi sırasında eşlik ediyor, ihtiyaçlarına her zaman uyum sağlamak için yeterlilik paketinin ardışık sürümlerini sunuyoruz.
Bunu nasıl yapıyoruz
Teslim Edilecekler
Araç Kalifikasyon Planı (TQP)
Araç yeterlilik planı
Araç Operasyonel Gereksinimleri (TOR)
Operasyonel gereksinimlerin belirlenmesi
Araç Operasyonel Doğrulama ve Geçerleme Durumları ve Prosedürleri (TOVVCP)
- Test senaryolarının belirlenmesi
- Test senaryolarını içeren konfigürasyon dosyaları: yeni test senaryoları eklemeye izin verir.
Yeterlilik paketi
Test senaryolarını yürüten ve sonuçların çeşitli ayrıntılı raporlarını oluşturan Python komut dosyası tabanlı araç.
- Python kodu
- Yapılandırma dosyaları
Araç Yapılandırma Dizini
Alet tanımlama ve yapılandırma
Araç Başarı Özeti
Yeterlilik planı ile gerçekleşen yeterlilik arasındaki farklar
Ticari statik kaynak kodu analiz araçları
Çeşitli iş araçlarını aşağıdaki standartlara göre nitelendirdik:
Hazır!
MISRA C 2004 MISRA C 2012 MISRA C 2023
Geliştirme aşamasında...
Haziran 2025 için planlandı...
MISRA C++ 2023
Tescilli araçlar
Çeşitli tescilli araçları aşağıdaki standartlara göre kalifiye ettik:
Hazır!
ADS-B mesajlarını izlemek için. ICAO downlink formatı DF-0 ila DF-24 mesajlarını destekliyoruz (Ek 10, Cilt 4).
Geliştirme aşamasında...
ADS-B Asterix mesaj izleme. Aşağıdaki kategorilerin desteği:
- CAT 001 (sürüm 1.4)
- CAT 002 (sürüm 1.1)
- CAT 004 (sürüm 1.13)
- CAT 008 (sürüm 1.3)
- CAT 010 (sürüm 1.1, 4)
- CAT 017 (sürüm 1.3)
- CAT 018 (sürüm 1.8)
- CAT 021 (sürüm 0.23, 1.8, 2.2, 2.3, 2.4, 2.6)
- CAT 022 (sürüm 0.10)
- CAT 023 (sürüm 1.2, 1.3)
- CAT 025 (sürüm 1.5)
- CAT 034 (sürüm 1.29)
- CAT 048 (sürüm 1.31)
- CAT 063 (sürüm 1.6)
- CAT 065 (sürüm 1.6)
- CAT 240 (sürüm 1.3)
- CAT 247 (sürüm 1.3)
