Por esti inkluzivita en la Linukso 5.20-kerno (eble la branĉo estos numerita 6.0), aro da flikaĵoj estis proponita kun la efektivigo de la mekanismo RV (Runtime Verification), kiu estas rimedo por kontroli la ĝustan funkciadon en tre fidindaj sistemoj. kiuj garantias la foreston de malsukcesoj. Valumado estas farita ĉe rultempo alkroĉante prizorgantojn al spurpunktoj kiuj kontrolas la faktan progreson de ekzekuto kontraŭ antaŭfiksita referenca determinisma modelo de la aŭtomato kiu determinas la atendatan konduton de la sistemo.
Informoj de spurpunktoj movas la modelon de unu ŝtato al alia, kaj se la nova ŝtato ne kongruas kun la parametroj de la modelo, averto estas generita aŭ la kerno estas metita en "paniko-" staton (estas komprenite ke tre fidindaj sistemoj estos detekti kaj respondi al tiaj situacioj). La aŭtomatomodelo kiu difinas transirojn de unu ŝtato al alia estas eksportita al la "punkto" (graphviz) formato, post kiu ĝi estas tradukita uzante la dot2c-servaĵon en C-reprezentadon, kiu estas ŝarĝita en la formo de kernmodulo kiu spuras deviojn. de la ekzekutprogreso de antaŭdifinita modelo.
Rultempa modelkontrolado estas poziciigita kiel pli malpeza kaj facile efektivigebla metodo de kontrolado de la ĝusteco de ekzekuto sur misi-kritikaj sistemoj, kompletigante klasikajn metodojn de fidindeckonfirmo, kiel ekzemple modelkontrolado kaj matematikaj pruvoj de kodkonformeco kun specifoj donitaj. en formala lingvo. Inter la avantaĝoj de RV estas la kapablo disponigi rigoran konfirmon sen aparta efektivigo de la tuta sistemo en modellingvo, same kiel fleksebla respondo al neantaŭviditaj eventoj, ekzemple, por bloki plian disvastigon de fiasko en kritikaj sistemoj.
fonto: opennet.ru