Модуль 02 / 04

Референсне ПЗ: ядро C++ → ROS 2.

Моделі об’єкта, стану ресурсів, спроможності, рішення, стійкості та реконфігурації не залежать від ROS 2.

Референсне ПЗ: ядро C++ → ROS 2.Розгорнути розділ

Етап 1 · активний

ЯДРО

Моделі об’єкта, стану ресурсів, спроможності, рішення, стійкості та реконфігурації не залежать від ROS 2.

ВИКОНАННЯ

Типізовані повідомлення й компоновані вузли відкривають верифіковане ядро, не змінюючи його чисельний контракт.

ВЕРИФІКАЦІЯ

Рівняння, ін’єкція відмов, гейти конфігурації, стійкості й часові характеристики порівнюються з еталонною C++-реалізацією.

ЦІЛЬ

Шляхи стану ресурсів, рішень і стійкості вимірюються окремо; часові твердження лишаються платформозалежними до HIL-валідації.