|
|
| IT |
программное обеспечение с высоким уровнем безопасности и доступности (программное обеспечение, требующее убедительных доказательств, что функциональные возможности программного обеспечения удовлетворяют установленным нормативным требованиям. Для достижения требуемого уровня безопасности и доступности могут применяться: тестирование на соответствие установленным нормам, тестирование на экспериментальных данных, формальные методы верификации программного обеспечения (автоматическое доказательство корректности программного обеспечения), определение оценки уровня полноты безопасности и использование средств контрактного программирования Alex_Odeychuk) |
| progr. |
программное обеспечение с гарантированной надёжностью (Alex_Odeychuk) |
| softw. |
программное обеспечение с высоким уровнем гарантий безопасности (общие характеристики программного обеспечения с высоким уровнем гарантий безопасности: может предотвратить несанкционированные раскрытие, модификацию или уничтожение информации с ограниченным доступом; функционирует в реальном времени: обрабатывает данные гарантированно в течение заданных временных интервалов; обладает живучестью и защищённостью по линии информационной безопасности: продолжает функционировать в условиях атак; обладает устойчивостью к сбоям: гарантирует определенное качество обслуживания, невзирая на аномальные условия функционирования, аппаратные сбои, ненормальную нагрузку; является надежным по линии технической безопасности: предотвращает события, которые могут привести к телесным поврежедениям или гибели человека, гибели имущества Alex_Odeychuk); программное обеспечение с высоким уровнем контроля (Alex_Odeychuk) |
