Yazılım yaşam döngüsü faaliyetleri geliştirilen sistemin güvenlik seviyesine göre değişmektedir. Güvenlik kritik sistemlere uygulanan “doğrulama” faaliyetleri eş gözden geçirmeler ve analizlerden sonra gereksinimlere dayalı test uygulamalarını içermektedir. Bu faaliyetlerden sonra yapılan ve Güvenlik kritik sistemlerde ön plana çıkan yapısal kapsama analizleri (SCA) yazılımda son kullanıcının beklenmeyen bir durumla karşılaşmayacağını ispat eden bir uygulamadır. Bu analiz sistemin güvenlik krtitikliği seviyesine bağlı olarak şu şekillerde uygulanabilir.

• İfade kapsama  (Statement coverage)
• Karar kapsama (Decision coverage)
• Değiştirilmiş koşul / karar kapsama (Modified condition / decision coverage (MC/DC))

AYESAŞ 1999 yılından bu yana Rockwell Collins ve L3 Avionic Systems gibi aviyonik sektöründe önde gelen yabancı firmalar için  RTCA DO-178B standardına uygun (A seviyesine kadar) bağımsız doğrulama ve geçerleme (IV&V) faaliyetleri gerçekleştirmektedir. AYESAŞ aynı zamanda DO-178B  COTS için de bağımsız doğrulama ve geçerleme (IV&V) yapma kabiliyetine sahiptir.