Means of verification of the information interaction protocol software on-board equipment of space vehicles

Основное

Автор: Kireev A.P., Sharov S.A.

Журнал: Вестник Российского нового университета. Серия: Сложные системы: модели, анализ и управление @vestnik-rosnou-complex-systems-models-analysis-management

Рубрика: Управление сложными системами

Статья в выпуске: 1, 2022 года.

Бесплатный доступ

The article presents the technology of formal proof of the presence of the specified properties of the software, the analysis for fault tolerance and preliminary assessment of the quality of the product before the appearance of the prototype.

Special software, onboard equipment, spacecraft, software verification

Короткий адрес: https://sciup.org/148323985

IDR: 148323985

Статья научная