За укључивање у Линук кернел 5.20 (можда ће грана бити означена бројем 6.0), предложен је сет закрпа са имплементацијом РВ (Рунтиме Верифицатион) механизма, који обезбеђује алате за проверу исправног рада на високо поузданим системима који гарантују одсуство неуспеха. Верификација се врши у току извршавања причвршћивањем руковалаца на тачке праћења које проверавају стварни напредак извршења у односу на унапред одређени референтни детерминистички модел аутомата који дефинише очекивано понашање система.
Информације из тачака трага померају модел из једног стања у друго, а ако се ново стање не поклапа са параметрима модела, генерише се упозорење или се кернел ставља у „панично“ стање (очекује се да системи високе поузданости открију и реаговати на такве ситуације). Модел аутомата, који дефинише прелазе из једног стања у друго, експортује се у „тачкасти” формат (грапхвиз), након чега се преводи помоћу дот2ц услужног програма у Ц репрезентацију, која се учитава у облику модула кернела који прати одступања напредовања извршења од унапред дефинисаног модела.
Провера модела током извршавања позиционирана је као лакша и лакша за имплементацију метода верификације исправног извршења на системима од кључне важности, допуњујући класичне методе верификације поузданости као што су провера модела и математички докази усклађености кода са спецификацијама датим у формалном облику. Језик. Међу предностима РВ-а је и могућност да обезбеди стриктну верификацију без одвојене имплементације целог система у језику моделирања, као и флексибилан одговор на непредвиђене догађаје, на пример, да блокира даље ширење квара у критичним системима.
Извор: опеннет.ру