Pentru Linux, a fost propus un mecanism de verificare a corectitudinii funcționării nucleului
Pentru includerea în nucleul Linux 5.20 (posibil, ramura va primi numărul 6.0) a fost propus un set de patch-uri cu implementarea mecanismului RV (Verificarea în Timp Real), care reprezintă instrumente pentru verificarea corectitudinii funcționării pe sisteme de înaltă fiabilitate, garantând absența defecțiunilor. Verificarea se realizează în timpul execuției prin atașarea manipulatoarelor la punctele de urmărire, comparând cursul efectiv al execuției cu un model determinist de referință predefinit, […]
