<s>[INST]EAL6'yı karşılayan bir sisteme örnek nedir?[/INST]"Bilgisayar güvenliği" teriminin bir kullanımı, güvenli işletim sistemlerini uygulamak için kullanılan teknolojiyi ifade eder. 1980'lerde Amerika Birleşik Devletleri Savunma Bakanlığı (DoD) "Turuncu Kitap" standartlarını kullandı, ancak mevcut uluslararası standart ISO / IEC 15408, "Ortak Kriterler" bir dizi aşamalı olarak daha katı bir Değerlendirme Güvence Seviyesi belirledi. Yaygın olarak kullanılan birçok işletim sistemi, EAL4 standardını "Metodik Olarak Tasarlanmış, Test Edilmiş ve Gözden Geçirilmiş" olma standardına uygundur, ancak en yüksek seviyeler için gerekli olan resmi doğrulama nadir oldukları anlamına gelir. Bir EAL6 ("Yarı Üniformalı Doğrulanmış Tasarım ve Test Edildi") sisteminin bir örneği, Airbus A380'de ve birkaç askeri jetde kullanılan Bütünlük-178B 'dir.</s>