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ı
Hemos cualificado diversas herramientas comerciales, como PC-lint Plus, conforme a los siguientes estándares:
Hazır!
MISRA C 2004
MISRA C 2012
MISRA C 2023
MISRA C++ 2023
Herramientas de monitorización de tráfico de red
Çeşitli tescilli araçları aşağıdaki standartlara göre kalifiye ettik:
¡Disponible! | Herramienta propietaria
ADS-B mesaj izleme. ICAO downlink formatı DF-0 ila DF-24 mesajlarını destekliyoruz (Ek 10, Cilt 4).
¡Disponible! | Herramienta comercial
Protocolo ASTERIX, en la herramienta Wireshark.
Monitorización de mensajes ADS-B. Soporte de las siguientes categorías:
- 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 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 062 (versión 1.20)
- 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)
Proyectos actuales
- Herramienta SnmpB, un explorador de MIBs SNMP con interfaz gráfica.
- Cppcheck, una herramienta de análisis estático de código.
