Realizouse unha proposta, para ser incluído no kernel de Linux 5.20 ou na rama 6.0, sobre un conxunto de parches coa implementación do mecanismo RV (Runtime Verification), medio para verificar o correcto funcionamento en sistemas altamente confiables que garanten a ausencia de fallos.
A validación realízase en tempo de execución ao achegar controladores a puntos de rastrexo que verifican o progreso real da execución contra un modelo determinista de referencia predefinido do autómata que determina o comportamento esperado do sistema.
Daniel Bristot de Oliveira menciona:
“Runtime Verification (RV) é un método lixeiro (pero rigoroso) que complementa as técnicas clásicas de verificación exhaustiva (como a comprobación de modelos e a demostración de teoremas) cun enfoque máis práctico para sistemas complexos. En lugar de depender dun modelo detallado dun sistema (por exemplo, unha reimplementación dun nivel de instrución), RV funciona analizando o rastro da execución real do sistema, comparándoo cunha especificación formal do comportamento do sistema.”
