VÆRINGJAR IIPOWERED BY DMYTRO HUMENNYI
Unabhängiges Forschungsprogramm

Regelung nach einem Ausfall.

Væringjar II untersucht, wie ein cyber-physisches System eine Mission nach physischem Schaden oder Verlust der Modellgültigkeit fortsetzen kann, während sich seine Architektur zur Laufzeit ändert.

MOBILE ÜBERSICHT // die vollständige Website ist bewusst desktop-first.
Aktuelle Idee

Nicht nur die nächste Konfiguration wählen. Den Evolutionspfad steuern.

Das aktuelle Rahmenwerk behandelt physische und epistemische Ressourcen in einem Laufzeitzustand. Kandidatenkonfigurationen werden nach Missionsleistungsfähigkeit bewertet, nur über einen verifizierten Übergangsgraphen zugelassen und durch Echtzeit-Reaktionsgrenzen sowie eine minimale Verweilzeit beschränkt.

01
Schaden / DriftHardware oder die Gültigkeit von Modellen und Schätzern ändert sich.
02
LeistungsfähigkeitAbschätzen, welche Missionsfunktionen die verifizierten Konfigurationen noch liefern können.
03
TrajektorieÜber einen endlichen Konfigurationsgraphen planen statt eine isolierte greedy Entscheidung zu treffen.
04
ZulässigkeitÜbergänge verwerfen, die Ressourcen-, Funktions- oder Stabilitätsbedingungen verletzen.
05
TimingSchnell genug reagieren – aber nicht häufiger rekonfigurieren, als es die Stabilitätsgarantie zulässt.
Inhalte der vollständigen Website

Forschung, keine Broschüre.

01 / FOUNDATION

Wissenschaftliches Programm

Definitionen, Annahmen, Überlebensfähigkeitsmetriken und formale Problemstellung.

02 / ARCHITECTURE

Systemmodell

Hierarchie Mission → Funktion → Service → Ressource und Regelkreis nach dem Ausfall.

03 / EXPERIMENTS

Ausführbare Forschung

EXP‑01 bis EXP‑03 bilden die Evidenzkette. EXP‑03 ist der Wendepunkt, der die Grenze des ursprünglichen Modells sichtbar macht.

04 / EVIDENZ

Publikationen & Preprints

Publizierte Entwicklungslinie plus drei Preprint-Entwürfe vom September 2026 zu Verweilzeit, epistemischen Ressourcen und dem einheitlichen Rahmenwerk.

05 / IMPLEMENTIERUNG

Referenztechnologie

C++-/ROS-2-Software mit RISC-V-/SoC-IP-Erkundung.

06 / VALIDIERUNG

Anspruchsvolle Anwendungsfelder

Robotik, Luft- und Raumfahrt sowie andere Systeme, bei denen Abschalten möglicherweise nicht die sicherste Reaktion ist.

07 / LEHRE

Offene Vorlesungsskripte

Autorengeführte Skripte zur Softwaretechnik eingebetteter Systeme, die im Semester fortlaufend veröffentlicht werden.

08 / EVOLUTION

Warum sich das Modell änderte

Eine chronologische Spur von der Rekonfiguration mit Restressourcen zu Leistungsfähigkeit, Zulässigkeit und Timing.

Warum am Computer?

Die wissenschaftlichen Seiten enthalten Gleichungen, Übergangsmatrizen, Graphen, UML-/Zustandsmodelle, Quellcode, interaktive Experimente und Publikationsmaterial. Sie bleiben in ihrem forschungsorientierten Desktop-Layout erhalten, statt in ein irreführendes Telefonformat komprimiert zu werden.

Tipp: varingjar.com speichern oder an sich selbst senden und auf einem größeren Bildschirm fortsetzen.