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