Um mecanismo de verificação da integridade do kernel foi proposto para Linux.
Para inclusão no núcleo do Linux 5.20 (possivelmente, o branch receberá o número 6.0), é proposto um conjunto de patches com a implementação do mecanismo RV (Runtime Verification), que oferece meios para verificar a correção do funcionamento em sistemas de alta confiabilidade, garantindo a ausência de falhas. A verificação é realizada durante a execução por meio da anexação de manipuladores a pontos de rastreamento, que verificam o andamento da execução com um modelo determinístico padrão previamente definido do autômato, […]
