Зеленый робот

Программная документация

Выпуск, распространение и управление лицензиями

Модульное интегрированное ПО «Зеленый робот»

Проектная редакция · GR-FP-1.0

D12 · АСУП.466459.100-01 12 02
Редакция 2.0 · 13.09.2026

Выпуск, распространение и управление лицензиями ​

Документ

D12 · АСУП.466459.100-01 12 02

Редакция

2.0 · Проектная редакция

Применимость

Функциональный профиль GR-FP-1.0

Продукт

Модульное интегрированное ПО «Зеленый робот»

Обозначения и сокращения раскрыты в словаре этой книги.

1. Выпуск и распространение ​

Выпуск ПО «Зеленый робот» объединяет совместимые программные компоненты, документацию, лицензии и результаты проверки. Правообладатель определяет состав, условия предоставления, каналы получения и порядок обновлений. Профиль GR-FP-1.0 предусматривает сетевое и автономное получение пакетов с одинаковой проверкой целостности.

Рисунок D12.1 — Проверенный пакет, условия доступа, каталог и установленный экземпляр связаны идентичностью выпуска.

2. Комплект выпуска ​

Пакеты являются неизменяемыми. Проверенный кандидат продвигается в выпуск с сохранением bytes и контрольных сумм. Исправление поставляется новой версией. Каталог показывает доступные версии и условия перехода между ними.

3. Подготовка выпуска ​

1. Определите заявляемые функции и компоненты по профилю.
2. Зафиксируйте исходные ревизии, версии и зависимости.
3. Сопоставьте результаты проверок с критериями D16.
4. Подготовьте комплект документов и иллюстраций по применимости.
5. Проверьте права, лицензии и состав SBOM.
6. Сформируйте паспорт, manifest и материалы подписи.
7. Разместите проверенные пакеты и метаданные в канале распространения.
8. Проверьте получение, установку и чтение версии по инструкции пользователя.

Запись выпуска содержит ответственного, дату, состав и ссылки на доказательства. Условия получения и стоимость либо порядок её определения предоставляются вместе с описанием продукта.

4. Каналы распространения ​

4.1. Сетевой каталог ​

Пользователь обращается к каталогу правообладателя по адресу, указанному в условиях поставки. Каталог показывает продукт, выпуск, профиль, платформу, доступные пакеты и документы. Получение защищённой поставки использует установленный способ идентификации и подтверждённый объём прав.

Клиент загружает manifest и пакет, проверяет происхождение, размер и SHA-256, затем передаёт его в M17. При временном разрыве загрузка продолжается по поддерживаемому механизму с итоговой проверкой целостности. Установка начинается после проверки полного набора зависимостей.

4.2. Автономный комплект ​

Автономный носитель содержит каталог выбранного профиля, пакеты, зависимости, документы, лицензии, доверенные материалы проверки и инструкцию. Получатель импортирует каталог через интерфейс L3 или предусмотренный командный клиент, проверяет manifest и совместимость, затем создаёт план установки.

Виртуальный проверочный профиль включает исполняемую среду, модели, сценарии и контрольные данные. После импорта пользователь выполняет установленную процедуру запуска, сброса и экспорта результата. Все артефакты связываются с исходным выпуском.

5. Учёт предоставленных прав ​

Условия предоставления оформляются договором и сведениями поставки. Учётная запись связывает получателя, продукт, компоненты, объём, территорию, срок и доступ к обновлениям. Программный способ проверки прав определяется лицензионным профилем выпуска.

Для автономного экземпляра профиль определяет локальную проверку предоставленного права и процедуру переноса/восстановления. Для сетевой проверки указываются адрес, период, поведение при потере канала и способ восстановления доступа. Условия сохраняют управляемость экземпляра правообладателем и получателем в рамках предоставленных прав.

6. Установка, обновление и перенос ​

Получатель выбирает профиль и сопоставляет его с D13. M17 проверяет пакет, параметры, права, целевую среду и исходный состав. После применения выполняются readiness, readback и назначенные методы. Паспорт экземпляра сохраняет установленную версию и результат.

Обновление указывает допустимые исходные версии, миграции и восстановление. Перенос экземпляра выполняется с сохранением условий предоставления, идентичности объекта и согласованной конфигурации. После переноса проверяются доступ, версии, данные и технологический профиль.

7. Управление лицензиями зависимостей ​

SBOM связывает каждую зависимость с её версией, источником, лицензией и способом включения. Материалы распространения содержат требуемые уведомления, тексты лицензий и предусмотренный доступ к соответствующим исходникам. Для моделей, данных, карт, изображений и шрифтов учитываются права на использование и передачу.

При обновлении зависимости владелец проверяет изменение условий и совместимость. Для собственной части сохраняется цепочка прав на программу и изменения. Ведомость лицензий относится к фактически поставляемому составу и обновляется вместе с пакетом.

8. Инфраструктура распространения и управления ​

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

Для внешней зависимости паспорт указывает функцию, условия доступа и влияние на экземпляр. Каталог и автономный комплект позволяют получить заявленный состав и проверить его целостность. Материалы доступа, подписи и лицензии защищаются раздельными полномочиями.

9. Отзыв и замена пакета ​

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

Пользователь сопоставляет свой digest и профиль с уведомлением, подготавливает копию и применяет исправление. После перехода проверяет затронутую функцию и readback. Архив сохраняет происхождение прежнего и нового пакета, причину и результаты.

10. Проверка полученного комплекта ​

Контроль включает доступность документов, полный manifest, соответствие digest, законный доступ к функциям, установку выбранного профиля, работу автономного пути при его заявлении и восстановление. Для GUI проверяется весь путь от выбора каталога до подтверждения версии. Результат сохраняется в протоколе выпуска и паспорте экземпляра.