{"id":32229,"date":"2022-08-09T05:11:48","date_gmt":"2022-08-09T03:11:48","guid":{"rendered":"https:\/\/mancomun.gal\/novas\/mecanismo-para-verificar-la-correccion-del-kernel\/"},"modified":"2022-08-09T05:11:48","modified_gmt":"2022-08-09T03:11:48","slug":"mecanismo-para-verificar-la-correccion-del-kernel","status":"publish","type":"mncmn-nova","link":"https:\/\/mancomun.gal\/es\/novas\/mecanismo-para-verificar-la-correccion-del-kernel\/","title":{"rendered":"Mecanismo para verificar la correcci\u00f3n del kernel"},"content":{"rendered":"<p>Se ha realizado una propuesta, para ser incluido en el kernel de Linux 5.20 o en la rama 6.0, sobre un conjunto de parches con la implementaci\u00f3n del mecanismo RV (Runtime Verification), medio para verificar el correcto funcionamiento en sistemas altamente confiables que garantizan la ausencia de fallos.<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"aligncenter wp-image-33788 size-medium\" src=\"https:\/\/mancomun.gal\/wp-content\/uploads\/2022\/09\/tux-kernel-linux-300x142.jpg\" alt=\"\" width=\"300\" height=\"142\"><\/p>\n<p>La validaci\u00f3n se realiza en tiempo de ejecuci\u00f3n al acercar controladores a puntos de rastreo que verifican el progreso real de la ejecuci\u00f3n contra un modelo determinista de referencia predefinido del aut\u00f3mata que determina el comportamiento esperado del sistema.<\/p>\n<p>Daniel Bristot de Oliveira menciona:<\/p>\n<p>\u00abRuntime Verification (RV) es un m\u00e9todo ligero (pero riguroso) que complementa las t\u00e9cnicas cl\u00e1sicas de verificaci\u00f3n exhaustiva (como la comprobaci\u00f3n de modelos y la demostraci\u00f3n de teoremas) con un enfoque m\u00e1s pr\u00e1ctico para sistemas complejos. En lugar de depender de un modelo detallado de un sistema (por ejemplo, una reimplementaci\u00f3n de un nivel de instrucci\u00f3n), RV funciona analizando el rastro de la ejecuci\u00f3n real del sistema, compar\u00e1ndolo con una especificaci\u00f3n formal del comportamiento del sistema.\u00bb<\/p>\n<p><a href=\"https:\/\/lore.kernel.org\/lkml\/20220803112014.7ffed04e@gandalf.local.home\/\">M\u00e1s informaci\u00f3n<\/a><\/p>\n","protected":false},"featured_media":25779,"template":"","categories":[10],"tags":[],"class_list":["post-32229","mncmn-nova","type-mncmn-nova","status-publish","has-post-thumbnail","hentry","category-empresa"],"acf":[],"_links":{"self":[{"href":"https:\/\/mancomun.gal\/es\/wp-json\/wp\/v2\/mncmn-nova\/32229","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/mancomun.gal\/es\/wp-json\/wp\/v2\/mncmn-nova"}],"about":[{"href":"https:\/\/mancomun.gal\/es\/wp-json\/wp\/v2\/types\/mncmn-nova"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/mancomun.gal\/es\/wp-json\/wp\/v2\/media\/25779"}],"wp:attachment":[{"href":"https:\/\/mancomun.gal\/es\/wp-json\/wp\/v2\/media?parent=32229"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/mancomun.gal\/es\/wp-json\/wp\/v2\/categories?post=32229"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/mancomun.gal\/es\/wp-json\/wp\/v2\/tags?post=32229"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}