Prezentovaný mechanizmus overovania správnosti výkonu jadra pre Linux
Na zaradenie do jadra Linux 5.20 (je možné, že vetva dostane číslo 6.0) bol navrhnutý súbor patchov s implementáciou mechanizmu RV (Runtime Verification), ktorý predstavuje prostriedky na kontrolu správnosti výkonu na vysokorýchlostných systémoch, zaručujúcich absenciu porúch. Overovanie prebieha počas vykonávania prostredníctvom pripojenia spracovateľov k bodom sledovania, ktoré porovnávajú aktuálny priebeh vykonávania s vopred definovaným referenčným deterministickým modelom automatu, […]
