Kad būtų galima įtraukti į Linux branduolį 5.20 (galbūt šaka bus numeruota 6.0), siūlomas pataisų rinkinys su įdiegtu RV (Runtime Verification) mechanizmu, kuris suteikia įrankius, leidžiančius patikrinti, ar labai patikimos sistemos veikia teisingai ir garantuoja gedimų nebuvimas. Tikrinimas atliekamas vykdymo metu, prie sekimo taškų prijungiant tvarkykles, kurios tikrina tikrąją vykdymo eigą pagal iš anksto nustatytą atskaitos deterministinį automato modelį, kuris apibrėžia numatomą sistemos elgseną.
Informacija iš pėdsakų perkelia modelį iš vienos būsenos į kitą, o jei nauja būsena neatitinka modelio parametrų, generuojamas įspėjimas arba branduolys perkeliamas į „panikos“ būseną (tikimasi, kad didelio patikimumo sistemos aptiks ir reaguoti į tokias situacijas). Automato modelis, apibrėžiantis perėjimus iš vienos būsenos į kitą, eksportuojamas į „taško“ formatą (graphviz), po to naudojant dot2c įrankį verčiamas į C atvaizdą, kuris įkeliamas branduolio modulio pavidalu. seka vykdymo eigos nukrypimus nuo iš anksto nustatyto modelio.
Vykdymo laiko modelio tikrinimas yra lengvesnis ir lengviau įgyvendinamas metodas, leidžiantis patikrinti teisingą vykdymą svarbiose sistemose, papildantis klasikinius patikimumo tikrinimo metodus, tokius kaip modelio tikrinimas ir matematiniai kodo atitikties oficialiose specifikacijose įrodymai. kalba. Tarp RV privalumų yra galimybė užtikrinti griežtą patikrinimą be atskiro visos sistemos įdiegimo modeliavimo kalba, taip pat lankstus reagavimas į nenumatytus įvykius, pavyzdžiui, blokuoti tolesnį gedimo plitimą kritinėse sistemose.
Šaltinis: opennet.ru