What is the standard for EAL6?
An example of an EAL6 ("Semiformally Verified Design and Tested") system is Integrity-178B, which is used in the Airbus A380 and several military jets.
Каков стандарт для EAL6?
Примером системы EAL6 ("Полуформально проверенный дизайн и тестирование") является Integrity-178B, которая используется в Airbus A380 и нескольких военных самолетах.