{"id":109751,"date":"2011-01-07T00:00:00","date_gmt":"2011-01-07T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/estimacion-de-prestaciones-para-exploracion-de-diseno-en-sistemas-embebidos-complejos-hw-sw\/"},"modified":"2011-01-07T00:00:00","modified_gmt":"2011-01-07T00:00:00","slug":"estimacion-de-prestaciones-para-exploracion-de-diseno-en-sistemas-embebidos-complejos-hw-sw","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/cantabria\/estimacion-de-prestaciones-para-exploracion-de-diseno-en-sistemas-embebidos-complejos-hw-sw\/","title":{"rendered":"Estimaci\u00f3n de prestaciones para exploraci\u00f3n de dise\u00f1o en sistemas embebidos complejos hw\/sw"},"content":{"rendered":"<h2>Tesis doctoral de <strong> H\u00e9ctor Posadas Cobo <\/strong><\/h2>\n<p>En la actualidad, el aumento de la complejidad de los sistemas electr\u00f3nicos y la fuerte interacci\u00f3n entre los elementos software y hardware que componen los mismos lleva a la necesidad de desarrollar nuevas metodolog\u00edas de dise\u00f1o. En este sentido, la estimaci\u00f3n y verificaci\u00f3n de las prestaciones de los dise\u00f1os de sistemas embebidos de la forma m\u00e1s r\u00e1pida posible al principio del proceso de dise\u00f1o es un hito de gran importancia. La toma de las decisiones de dise\u00f1o iniciales, respecto a las caracter\u00edsticas de la plataforma hw o el mapeo hw\/sw de los componentes del sistema  necesita de gran cantidad de simulaciones que permitan evaluar las distintas soluciones posibles para realizar una implementaci\u00f3n \u00f3ptima. T\u00e9cnicas previas, como los simuladores de conjunto de instrucciones (iss) o simuladores mediante traducci\u00f3n binaria obtienen estimaciones de rendimiento bastante precisas, pero con tiempos de simulaci\u00f3n altos y sobre todo, requiriendo grandes esfuerzo de dise\u00f1o para obtener los binarios necesarios para simular cada una de las posibles configuraciones del sistema. Por ello, esta tesis propone una nueva soluci\u00f3n basada en simulaci\u00f3n por anotaci\u00f3n de c\u00f3digo fuente, que a costa de algo de precisi\u00f3n, permite realizar simulaciones muy r\u00e1pidas con un m\u00ednimo esfuerzo de dise\u00f1o. en los \u00faltimos a\u00f1os han aparecido lenguajes de dise\u00f1o que facilitan la integraci\u00f3n de los  \u00e1mbitos hw y sw en un mismo flujo de dise\u00f1o. De entre estos, systemc se ha erigido como uno de los m\u00e1s importantes, especialmente para el desarrollo de especificaciones y del flujo de dise\u00f1o hardware. Sin embargo, la integraci\u00f3n del flujo de dise\u00f1o software aun no esta completamente resuelta. En este sentido el trabajo desarrollado en la tesis proporciona todas las herramientas necesarias para realizar la integraci\u00f3n sw en una infraestructura systemc. por ello, la primera tarea realizada en esta tesis ha sido extender el lenguaje systemc para incluir primitivas de un sistema operativo de tiempo real(rtos) que permiten la ejecuci\u00f3n  y el refinado de m\u00f3dulos software. Para ello se ha estudiado la especificaci\u00f3n posix y se han desarrollado los elementos que permitan la ejecuci\u00f3n de m\u00f3dulos refinados para dicho sistema de manera correcta. Elementos de concurrencia, planificaci\u00f3n, comunicaci\u00f3n, sincronizaci\u00f3n, control del tiempo, y otras ayudas al programador han sido implementados para conformar un completo modelo de sistema operativo. Adicionalmente se han implementado servicios que permiten la integraci\u00f3n de controladores de dispositivo tipo linux.  la segunda parte de la tesis se ha centrado en la generaci\u00f3n de una librer\u00eda capaz de obtener datos din\u00e1micamente sobre las prestaciones temporales de dichos sistemas a partir del c\u00f3digo fuente, para poder verificar el cumplimiento de las caracter\u00edsticas requeridas. Esta librer\u00eda permite la obtenci\u00f3n de estimaciones din\u00e1micas de los costos de tiempo de c\u00f3digos, inicialmente descritos de forma atemporal, y la anotaci\u00f3n de dichos tiempos en la propia simulaci\u00f3n, de forma que la simulaci\u00f3n se convierte en temporal. Pol\u00edticas, prioridades, interrupciones y expulsiones son permitidas sin interferir en la transformaci\u00f3n temporal de la simulaci\u00f3n. a parte de estos dos elementos principales para el desarrollo sw se han a\u00f1adido otros componentes sw, como una pila de comunicaciones tcp\/ip o un modelo de orb tipo corba. junto con los elementos sw se han desarrollado componentes systemc de alto nivel capaces de modelar los elementos principales de un sistema embebido, como buses, memorias, redes de comunicaciones, etc. por \u00faltimo se han desarrollado los componentes necesarios para poder incluir toda esta infraestructura en procesos de exploraci\u00f3n autom\u00e1tica del proceso de dise\u00f1o, de forma que en base a descripciones iniciales del sistema en formato xml, la infraestructura es capaz de generar din\u00e1micamente los modelos de los sistemas a evaluar, permitiendo la modificaci\u00f3n autom\u00e1tica de los atributos configurables de forma que las herramientas de exploraci\u00f3n del espacio de dise\u00f1o pueden utilizar la herramienta en el proceso de exploraci\u00f3n. la infraestructura de simulaci\u00f3n y estimaci\u00f3n de rendimiento ha sido desarrollada y probada en diversos proyectos europeos. adem\u00e1s se ha comenzado a introducir en el proceso de dise\u00f1o de la compa\u00f1\u00eda marvell hispania, para el dise\u00f1o de chips para comunicaciones por l\u00ednea el\u00e9ctrica (plc).<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Estimaci\u00f3n de prestaciones para exploraci\u00f3n de dise\u00f1o en sistemas embebidos complejos hw\/sw<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Estimaci\u00f3n de prestaciones para exploraci\u00f3n de dise\u00f1o en sistemas embebidos complejos hw\/sw <\/li>\n<li><strong>Autor:<\/strong>\u00a0 H\u00e9ctor Posadas Cobo <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Cantabria<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/07\/2011<\/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>Eugenio Villar Bonet<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Carlos alberto L\u00f3pez barrio <\/li>\n<li>roberto Sarmiento rodr\u00edguez (vocal)<\/li>\n<li>franco Fummi (vocal)<\/li>\n<li>michael Gonz\u00e1lez harbour (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de H\u00e9ctor Posadas Cobo En la actualidad, el aumento de la complejidad de los sistemas electr\u00f3nicos y la [&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":[10518,15977,37728,13227],"tags":[148080,43237,219396,219395,16054,16759],"class_list":["post-109751","post","type-post","status-publish","format-standard","hentry","category-cantabria","category-diseno-con-ayuda-de-ordenador","category-diseno-microelectronico","category-simulacion","tag-carlos-alberto-lopez-barrio","tag-eugenio-villar-bonet","tag-franco-fummi","tag-hector-posadas-cobo","tag-michael-gonzalez-harbour","tag-roberto-sarmiento-rodriguez"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/109751","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=109751"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/109751\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=109751"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=109751"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=109751"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}