Abstract:
Предложена информационная модель цифрового паспорта миссионно-
сервисного цикла робототехнического комплекса "ФАЛЬКО". В отличие от цифрового двойни-
ка отдельного изделия паспорт формируется для завершённого цикла и связывает конфигура-
цию БПЛА, полезную нагрузку, задание, результаты миссии, сервисные операции, диагностику и
основание последующего решения. Модель объединяет версионированный журнал событий с
хеш-связью и типизированный граф происхождения данных. Для контроля качества введены
коэффициенты полноты, прослеживаемости и актуальности, дополненные бинарными инвари-
антами идентичности, версии конфигурации и целостности файлов. На синтетическом наборе
из семи сценариев показано, что одинаковая агрегированная полнота 0,958 может соответ-
ствовать как допустимому пакету с некритичным пропуском, так и недопустимому пакету без
серийного номера полезной нагрузки. Отдельно выявляются просроченная калибровка, разрыв
связей происхождения, изменение файла и несогласованность программной версии. Результа-
том является формальная процедура подготовки проверяемого пакета доказательств; окон-
чательный технический допуск остаётся функцией внешнего алгоритма готовности.
