{"id":70621,"date":"2004-01-10T00:00:00","date_gmt":"2004-01-10T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/validacion-por-inyeccion-de-fallos-en-vhdl-de-la-arquitectura-tta\/"},"modified":"2004-01-10T00:00:00","modified_gmt":"2004-01-10T00:00:00","slug":"validacion-por-inyeccion-de-fallos-en-vhdl-de-la-arquitectura-tta","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/ciencias-tecnologicas\/validacion-por-inyeccion-de-fallos-en-vhdl-de-la-arquitectura-tta\/","title":{"rendered":"Validaci\u00f3n por inyecci\u00f3n de fallos en vhdl de la arquitectura tta."},"content":{"rendered":"<h2>Tesis doctoral de <strong> Joaquin Gracia Mor\u00e1n <\/strong><\/h2>\n<p>La inyecci\u00f3n de fallos es una t\u00e9cnica utilizada para la validaci\u00f3n experimental de sistemas tolerantes a fallos. Se distinguen tres grandes categor\u00edas: inyecci\u00f3n de fallos f\u00edsica (denominada tambi\u00e9n physical fault injection o hardware implemented fault injection), inyecci\u00f3n de fallos implementada por software (en ingl\u00e9s software implemented fault injection) e inyecci\u00f3n de fallos basada en simulaci\u00f3n. Una de las que m\u00e1s auge est\u00e1 teniendo \u00faltimamente es la inyecci\u00f3n de fallos basada en simulaci\u00f3n, y en particular la inyecci\u00f3n de fallos basada en vhdl. Las razones del uso de este lenguaje se pueden resumir en:  \u00ab\u00bb  es un lenguaje est\u00e1ndar ampliamente utilizado en el dise\u00f1o digital actual.  \u00ab\u00bb  permite describir el sistema en distintos niveles de abstracci\u00f3n.  \u00ab\u00bb  algunos elementos de su sem\u00e1ntica pueden ser utilizados en la inyecci\u00f3n de fallos.  para realizar la inyecci\u00f3n de fallos basada en vhdl, diferentes autores han propuesto tres tipos de t\u00e9cnicas. La primera est\u00e1 basada en la utilizaci\u00f3n de los comandos del simulador para modificar los valores de las se\u00f1ales y variables del modelo. La segunda se basa en la modificaci\u00f3n del c\u00f3digo, insertando perturbadores en el modelo o creando mutantes de componentes ya existentes. La tercera t\u00e9cnica se basa en la ampliaci\u00f3n de los tipos del lenguaje y en la modificaci\u00f3n de las funciones del simulador vhdl. actualmente, ha surgido otra tendencia de la inyecci\u00f3n de fallos basada en vhdl, denominada gen\u00e9ricamente emulaci\u00f3n de fallos. La emulaci\u00f3n a\u00f1ade ciertos componentes al modelo (inyectores, que suelen ser perturbadores o mutantes, disparadores de la inyecci\u00f3n, recolectores de datos, etc.). el modelo junto con los nuevos componentes son sintetizados en una fpga, que es donde se realiza la inyecci\u00f3n.  con la introducci\u00f3n cada vez mayor de sistemas tolerantes a fallos en aplicaciones cr\u00edticas, su validaci\u00f3n se est\u00e1 convirtiendo en uno de los puntos clave<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Validaci\u00f3n por inyecci\u00f3n de fallos en vhdl de la arquitectura tta.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Validaci\u00f3n por inyecci\u00f3n de fallos en vhdl de la arquitectura tta. <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Joaquin Gracia Mor\u00e1n <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de Valencia<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/10\/2004<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h3>Direcci\u00f3n y tribunal<\/h3>\n<ul>\n<li><strong>Director de la tesis<\/strong>\n<ul>\n<li> Gil Tom\u00e1s Daniel Antonio<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Juan  jos\u00e9 Serrano mart\u00edn <\/li>\n<li>Antonio P\u00e9rez ambite (vocal)<\/li>\n<li>\u00e1ngel Sebastia cortes (vocal)<\/li>\n<li>Luis Entrena arrontes (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Joaquin Gracia Mor\u00e1n La inyecci\u00f3n de fallos es una t\u00e9cnica utilizada para la validaci\u00f3n experimental de sistemas [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"categories":[4810,332,45251,16820,8967,2535],"tags":[31320,30646,154148,154147,31277,70318],"class_list":["post-70621","post","type-post","status-publish","format-standard","hentry","category-arquitectura-de-ordenadores","category-ciencias-tecnologicas","category-fiabilidad-de-los-ordenadores","category-politecnica-de-valencia","category-sistemas-en-tiempo-real","category-tecnologia-de-los-ordenadores","tag-angel-sebastia-cortes","tag-antonio-perez-ambite","tag-gil-tomas-daniel-antonio","tag-joaquin-gracia-moran","tag-juan-jose-serrano-martin","tag-luis-entrena-arrontes"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/70621","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/comments?post=70621"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/70621\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=70621"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=70621"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=70621"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}