с высоким уровнем безопасности и доступности(требующий убедительных доказательств, что функциональные возможности программного обеспечения удовлетворяют установленным нормативным требованиям. Для достижения требуемого уровня безопасности и доступности могут применяться: тестирование на соответствие установленным нормам, тестирование на экспериментальных данных, формальные методы верификации программного обеспечения (автоматическое доказательство корректности программного обеспечения), определение оценки уровня гарантий безопасности и использование средств контрактного программирования Alex_Odeychuk); высоконадёжный(high-assurance is defined to mean functionally correct and satisfying appropriate safety and security properties; общие характеристики высоконадёжного программного обеспечения: может предотвратить несанкционированные раскрытие, модификацию или уничтожение информации с ограниченным доступом; функционирует в реальном времени: обрабатывает данные гарантированно в течение заданных временных интервалов; обладает живучестью и защищённостью по линии информационной безопасности: продолжает функционировать в условиях атак; обладает устойчивостью к сбоям: гарантирует определенное качество обслуживания, невзирая на аномальные условия функционирования, аппаратные сбои, ненормальную нагрузку; является надежным по линии технической безопасности: предотвращает события, которые могут привести к телесным поврежедениям или гибели людей, гибели имущества Alex_Odeychuk)
с высоким уровнем гарантий безопасности(общие характеристики программного обеспечения с высоким уровнем гарантий безопасности: может предотвратить несанкционированные раскрытие, модификацию или уничтожение информации с ограниченным доступом; функционирует в реальном времени: обрабатывает данные гарантированно в течение заданных временных интервалов; обладает живучестью и защищённостью по линии информационной безопасности: продолжает функционировать в условиях атак; обладает устойчивостью к сбоям: гарантирует определенное качество обслуживания, невзирая на аномальные условия функционирования, аппаратные сбои, ненормальную нагрузку; является надежным по линии технической безопасности: предотвращает события, которые могут привести к телесным поврежедениям или гибели человека, гибели имущества Alex_Odeychuk)
