abstract: Приводится описание пакета прикладных программ GARANTmod, предназначенного для разработчиков гарантоспособных компьютерных систем. Пакет решает разнообразные задачи по оценке и обеспечению гарантоспособности систем критического применения.
keywords: гарантоспособность, безотказность, готовность, живучесть, целостность, конфиденциальность, обслуживаемость, функциональная безопасность, уровень гарантоспособности