Машинный перевод, не проверенный носителем языка. Эталоном служит английская версия.

Страницы видов сценариевПравить на GitHubИсточник: docs/kinds/by-kind/space-packet.md

space-packet (вид сценария)

Вид сценария движка v0.40.0, семейство Анализ миссий, линии связи и космические операции. Носит консультативный характер: результат анализа исследовательского и инженерного инструмента; это не навигационное оборудование с утверждённым типом и не служба обеспечения безопасности жизни. Каждая метка здесь принадлежит движку или матрице верификации; вид считается MODELLED, если матрица не говорит иного (как заслуживается метка: раздел README «Evidence»).

Что делает#

Кадрирование по протоколу пакетов космической связи CCSDS 133.0-B: кодирование синтетического потока пакетов TM/TC (первичный заголовок из 6 октетов + поле данных) и вывод декодирования заголовка каждого пакета, общего числа октетов и точного кругового преобразования кодирование↔декодирование. Детерминированное кадрирование с точной разметкой битов — уровень совместимости форматов пакетов между агентствами; это НЕ сертификация соответствия (логики вторичного заголовка, CRC и сегментации сверх флагов нет).

Один прогон scenarios/space-packet.toml сводится к следующему: space-packet: сформировано 4 пакетов CCSDS-133.0 TM с APID 100, всего 152 октетов, круговое преобразование точное (true)

Входные параметры#

Из схемы (kshana kinds --json):

  • Обязательные поля: нет
  • Необязательные поля: apid, telecommand, packet_count, data_len

В примере scenarios/space-packet.toml среди прочего задано:

Поле Значение Единица
apid 100 1
data_len 32 не указано
kind space-packet текст
packet_count 4 число
telecommand false флаг

Запустите#

kshana scenarios/space-packet.toml

Что он даёт#

Скалярные результаты этого прогона с единицами, которые указывает движок:

Результат Значение Единица
apid 100 1
data_len_octets 32 октет
evidence.id_rule стабильный идентификатор строки матрицы (ID текст
evidence.matrix docs/VERIFICATION-MATRIX.md текст
evidence.tier MODELLED текст
first_packet.apid 100 1
first_packet.data_length_field 31 1
first_packet.index 0 1
first_packet.primary_header_hex 00 64 40 00 00 1F текст
first_packet.sequence_count 0 1

Метка результата (от движка): кадрирование первичного заголовка пакета космической связи CCSDS 133.0-B — точная детерминированная разметка битов, круговое преобразование кодирование↔декодирование проверено; НЕ сертификация соответствия (логики вторичного заголовка, CRC и сегментации сверх флагов нет)

График, который движок строит для scenarios/space-packet.toml, вид space-packet

Доказательства#

VALIDATED: строки матрицы верификации, называющие этот вид.

  • VALIDATED Кодирование и декодирование первичного заголовка пакета космической связи CCSDS 133.0-B (версия/тип/вторичный заголовок/APID/флаги последовательности/счётчик/длина данных) + сценарий кадрирования. Тесты: ccsds_space_packet_reference.rs.
  • VALIDATED Расширения пакета космической связи CCSDS 133.0-B-2 помимо первичного заголовка: вторичный заголовок с кодом времени CCSDS 301.0-B (CUC или CDS, явное или неявное P-поле) и вспомогательными данными, поле контроля ошибок пакета CRC-16, сегментация Тесты: space_packet_ext_oracle.rs.

Строки, которые задействовал сам прогон, с оракулом, который указывает им матрица (публичные источники названы там):

  • MODELLED Детерминированные, хешируемые по сценарию, SBOM и кроссплатформенные эталонные проверки (golden). Оракул (ExternalDataset): соответствие SBOM официальной схеме JSON CycloneDX 1,5 (плюс допустимые идентификаторы SPDX) — внешний опубликованный стандарт, ноль ошибок валидации на всём графе зависимостей; часть о детерминизме FoM и побайтной воспроизводимости остаётся закреплённой проверкой внутренней согласованности, поэтому строка остаётся MODELLED
  • VALIDATED Кодирование и декодирование первичного заголовка пакета космической связи CCSDS 133.0-B (версия/тип/вторичный заголовок/APID/флаги последовательности/счётчик/длина данных) + сценарий кадрирования. Запускается из CLI / привязок. Оракул (ExternalDataset): spacepackets 0.32.0 (us-irs/spacepackets-py, R. Mueller, Apache-2.0) — независимая сторонняя реализация CCSDS 133.0-B-2; encode_packet/decode_packet из kshana совпали побайтно (первичный заголовок из 6 октетов для 33 случаев + полный закодированный пакет для 12)

Ограничения#

Что отчёт самого прогона называет не смоделированным или не проверенным:

  • Воспроизводимость и гарантии качества ПО — MODELLED, а не validated: одно из частных утверждений проверено извне, но вся возможность составлена из смоделированных частей, поэтому возможность остаётся Modelled. (матрица верификации (docs/MODELLED-RATIONALE.md))

См. также#