Гарантоспособность и гарантноспособные системы: элементы методологии

Abstract

Проведен анализ комплекса проблем, связанных с развитием теории и практики гарантоспособных компьютерных систем (КС). Уточнены основные понятия и структура свойства гарантоспособности. Сформулированы базовые парадигмы и принципы обеспечения гарантоспособности КС. Проанализированы наиболее важные задачи, связанные с разработкой гарантоспособных КС (ГКС).

Проведено аналіз набору проблем, пов'язаних з розробкою теорії та практикою гарантованих комп'ютерних систем (КС). Уточнено основні поняття та структура властивості гарантій. Сформульовано основні парадигми та принципи забезпечення гарантії КС. Проаналізовано найважливіші завдання, пов'язані з розробкою гарантій КС.