Для какой сферы применения разрабатывались стандарты DO-178 и ARINC 653?

Военная и аэрокосмическая отрасли предъявляют жесткие требования к вычислительным средствам, влияющим на степень безопасности целевой системы. В настоящее время имеются следующие стандарты для ОСРВ в авиации – стандарт DO-178B и стандарт ARINC-653.(В 2003 г. принята новая редакция этого стандарта. ARINC-653 в качестве одного из основных требований для ОСРВ в авиации вводит архитектуру изолированных (partitioning) виртуальных машин)

LynxOS-178 - коммерческая ОСРВ для авиации.

Что означает акроним EAL в стандарте “Common Criteria”?

“Common Criteria” – стандарт, описывающий общие критерии для оценки безопасности информационных технологий.

В нем описаны процедуры для безопасного ПО.

EAL – уровни для оценки безопасности продукта. Чем выше уровень, тем выше безопасность.

· EAL1 – минимальная конфигурация;

· EAL2 – средний уровень защиты;

· EAL3 – хороший уровень, не прибегая к переработке системы;

· EAL4 – высокий уровень и доработка ОС.

Что определяет стандарт ГОСТ Р 51904?

ГОСТ Р 51904-2002. Настоящий стандарт распространяется на процессы разработки и документирования программного обеспечения (ПО) встроенных систем реального времени. Стандарт распространяется на все действия, имеющие отношение к разработке программного обеспечения.

Настоящий стандарт применяют полностью ко всему поставляемому программному обеспечению, включая среду разработки, если контрактом не предусмотрено использование специальных стандартов для определенных заказчиком типов ПО. Стандарт не применим для аппаратных элементов программно-аппаратного обеспечения.