{"id":117334,"date":"2018-03-11T10:46:47","date_gmt":"2018-03-11T10:46:47","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/nuevas-tecnicas-de-inyeccion-de-fallos-en-sistemas-embebidos-mediante-el-uso-de-modelos-virtuales-descritos-en-el-nivel-de-transaccion\/"},"modified":"2018-03-11T10:46:47","modified_gmt":"2018-03-11T10:46:47","slug":"nuevas-tecnicas-de-inyeccion-de-fallos-en-sistemas-embebidos-mediante-el-uso-de-modelos-virtuales-descritos-en-el-nivel-de-transaccion","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/sistemas-en-tiempo-real\/nuevas-tecnicas-de-inyeccion-de-fallos-en-sistemas-embebidos-mediante-el-uso-de-modelos-virtuales-descritos-en-el-nivel-de-transaccion\/","title":{"rendered":"Nuevas t\u00e9cnicas de inyecci\u00f3n de fallos en sistemas embebidos mediante el uso de modelos virtuales descritos en el nivel de transacci\u00f3n"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Antonio Da Silva Fari\u00f1a <\/strong><\/h2>\n<p>Mejor software y m\u00e1s r\u00e1pido. Este es el desaf\u00edo que se deriva de la necesidad de construir sistemas cada vez m\u00e1s inteligentes. En cualquier dise\u00f1o embebido actual, el software es un componente fundamental que dota al sistema de una alta capacidad de configuraci\u00f3n, gran n\u00famero de funcionalidades y elasticidad en el comportamiento del sistema en situaciones excepcionales. Si adem\u00e1s el desarrollo del conjunto hardware\/software integrado en un system on chip (soc), forma parte de un sistema de control cr\u00edtico donde se deben tener en cuenta requisitos de tolerancia a fallos, la verificaci\u00f3n exhaustiva de los mismos consume un porcentaje cada vez m\u00e1s importante de los recursos totales dedicados al desarrollo y puesta en funcionamiento del sistema. En este contexto, el uso de metodolog\u00edas cl\u00e1sicas de codise\u00f1o y coverificaci\u00f3n es completamente ineficiente, siendo necesario el uso de nuevas tecnolog\u00edas y herramientas para el desarrollo y verificaci\u00f3n tempranos del software embebido. Entre ellas se puede incluir la propuesta en este trabajo de tesis, la cual aborda el problema mediante el uso de modelos ejecutables del hardware definidos en el nivel de transacci\u00f3n.  debido a los estrictos requisitos de robustez que imperan en el desarrollo de software espacial, es necesario llevar a cabo tareas de verificaci\u00f3n en etapas muy tempranas del desarrollo para asegurar que los mecanismos de tolerancia a fallos, avanzados en la especificaci\u00f3n del sistema, funcionan adecuadamente. De forma general, es deseable que estas tareas se realicen en paralelo con el desarrollo hardware, anticipando problemas o errores existentes en la especificaci\u00f3n del sistema. Adem\u00e1s, la verificaci\u00f3n completa de los mecanismos de excepci\u00f3n implementados en el software, puede ser imposible de realizar en hardware real ya que los escenarios de fallo deben ser artificial y sistem\u00e1ticamente generados mediante t\u00e9cnicas de inyecci\u00f3n de fallos que permitan realizar campa\u00f1as de inyecci\u00f3n controlables, observables y reproducibles.  en esta tesis se describe la investigaci\u00f3n, desarrollo y uso de una plataforma virtual denominada \u00c2\u00bfleon2vip\u00c2\u00bf, con capacidad de inyecci\u00f3n de fallos y basada en interfaces systemc\/tlm2 para el desarrollo temprano y verificaci\u00f3n de software embebido en el marco del proyecto solar orbiter. De esta forma ha sido posible ejecutar y probar exactamente el mismo c\u00f3digo binario a ejecutar en el hardware real, pero en un entorno m\u00e1s controlable y determinista. Ello permite la realizaci\u00f3n de campa\u00f1as de inyecci\u00f3n de fallos muy focalizadas que no ser\u00edan posible de otra manera. El uso de \u00c2\u00bfleon2vip\u00c2\u00bf ha significado una mejora significante, en t\u00e9rminos de coste y tiempo, en el desarrollo y verificaci\u00f3n del software de arranque de la unidad de control del instrumento (icu) del detector de part\u00edculas energ\u00e9ticas (epd) embarcado en solar orbiter.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Nuevas t\u00e9cnicas de inyecci\u00f3n de fallos en sistemas embebidos mediante el uso de modelos virtuales descritos en el nivel de transacci\u00f3n<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Nuevas t\u00e9cnicas de inyecci\u00f3n de fallos en sistemas embebidos mediante el uso de modelos virtuales descritos en el nivel de transacci\u00f3n <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Antonio Da Silva Fari\u00f1a <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Alcal\u00e1<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 26\/03\/2015<\/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>Sebastian Sanchez Prieto<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: daniel Meziat luna <\/li>\n<li>Juan  Antonio Maestro de la cuerda (vocal)<\/li>\n<li>Ana bel\u00e9n Garc\u00eda hernando (vocal)<\/li>\n<li>Antonio  oscar Garnica alcazar (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Antonio Da Silva Fari\u00f1a Mejor software y m\u00e1s r\u00e1pido. Este es el desaf\u00edo que se deriva de [&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":[17426,44209,8967],"tags":[61508,231250,43238,7105,101813,82947],"class_list":["post-117334","post","type-post","status-publish","format-standard","hentry","category-alcala","category-ordenadores-digitales","category-sistemas-en-tiempo-real","tag-ana-belen-garcia-hernando","tag-antonio-da-silva-farina","tag-antonio-oscar-garnica-alcazar","tag-daniel-meziat-luna","tag-juan-antonio-maestro-de-la-cuerda","tag-sebastian-sanchez-prieto"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/117334","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=117334"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/117334\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=117334"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=117334"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=117334"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}