Пакет прикладних программ GARANTmod в инжиниринге гарантоспособных систем

Abstract

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

Наводиться опис пакета прикладних програм GARANTmod, призначеного для розробників гарантоздатних комп'ютерних систем. Пакет вирішує різноманітні завдання щодо оцінки та забезпечення гарантоздатності систем критичного застосування.

The description of the GARANTmod application package designed for developers of dependable computer systems is given. The package solves various problems of the evaluation of dependability and security of critical application systems.