DO-178B (Level A’ya kadar) standardına uygun olarak bağımsız doğrulama ve geçerleme hizmeti veriyoruz. Güvenlik kritik sistemler için gerekli olan doğrulama faaliyetlerimiz, gereksinim tabanlı testlere ek olarak yazılım gözden geçirme ve analiz faaliyetlerini de içermektedir. Özellikle “Yapısal Kapsama Analizi” test edilmekte olan yazılımın karşılaşabileceği muhtemel tüm durumlarda çalışmasını ve davranışlarının test edilmesini garanti altına almaktadır.
İstenilen güvenlik kritiklik seviyesine göre aşağıdaki analizlerin bazılarını veya tamamını uyguluyoruz: