Керування після відмови.
Væringjar II досліджує, як кіберфізична система може продовжувати місію після фізичного пошкодження або втрати валідності моделі, змінюючи архітектуру під час виконання.
Не обирати лише наступну конфігурацію. Керувати шляхом еволюції.
Поточна концепція об’єднує фізичні та епістемічні ресурси в одному стані виконання. Кандидатні конфігурації оцінюються за спроможністю місії, дозволяються лише через верифікований граф переходів і обмежуються реакцією реального часу та мінімальним інтервалом перебування.
Дослідження, а не рекламний буклет.
Наукова програма
Визначення, припущення, метрики живучості та формальна постановка задачі.
Модель системи
Ієрархія місія → функція → сервіс → ресурс та контур керування після відмови.
Виконувані експерименти
EXP‑01–EXP‑03 формують ланцюжок доказів. EXP‑03 є точкою перелому, що виявляє межу початкової моделі.
Публікації та препринти
Опублікована лінія робіт плюс три чернетки препринтів вересня 2026 року про час перебування, епістемічні ресурси та єдину концепцію.
Референсна технологія
ПЗ C++ / ROS 2 з дослідженням RISC-V / SoC IP.
Складні прикладні сфери
Робототехніка, аерокосмічні та інші системи, де зупинка може бути не найбезпечнішою реакцією.
Відкриті конспекти лекцій
Авторські конспекти курсу з інженерії ПЗ вбудованих систем, що послідовно публікуються протягом семестру.
Чому модель змінилася
Хронологічний шлях від реконфігурації за залишковими ресурсами до спроможності, допустимості та часу.
Наукові сторінки містять рівняння, матриці переходів, графи, UML/моделі станів, вихідний код, інтерактивні експерименти та матеріали публікацій. Їх збережено у дослідницькому desktop-форматі, а не стиснуто до оманливої мобільної версії.
Порада: збережіть або надішліть собі varingjar.com і продовжіть на більшому екрані.