Rockwell Collins, ASELSAN ve L3 Avionic Systems firmaları olmak üzere yazılım firmalarına RTCA DO-178B (Level A’ya kadar) standardına uygun olarak bağımsız doğrulama ve geçerleme hizmeti vermekteyiz.
İstenilen güvenlik kritiklik seviyesine göre aşağıdaki analizlerin bazıları veya tamamı uygulanmaktadır;
Yazılım komut kapsaması
Karar kapsaması
Değiştirilmiş şart / karar kapsaması (MC/DC)
Komuta kontrol ve aviyonik yazılım doğrulama ve geçerleme faaliyetleri için AYESAŞ, TRUVA ve GMS test araçları geliştirmiş ve kullanmaktadır.