{"id":91559,"date":"2009-06-02T00:00:00","date_gmt":"2009-06-02T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/especificacion-heterogenea-y-generacion-automatica-de-software-desde-systemc-para-sistemas-embebidos\/"},"modified":"2009-06-02T00:00:00","modified_gmt":"2009-06-02T00:00:00","slug":"especificacion-heterogenea-y-generacion-automatica-de-software-desde-systemc-para-sistemas-embebidos","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/lenguajes-de-programacion\/especificacion-heterogenea-y-generacion-automatica-de-software-desde-systemc-para-sistemas-embebidos\/","title":{"rendered":"Especificaci\u00f3n heterog\u00e9nea y generaci\u00f3n autom\u00e1tica de software desde systemc para sistemas embebidos"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Fernando Herrera Casanueva <\/strong><\/h2>\n<p>Este trabajo cubre varias de esas carencias fundamentales. En primer lugar, provee una metodolog\u00eda de especificaci\u00f3n de sistemas en systemc denominada hetsc. Esta metodolog\u00eda ofrece un empleo sistem\u00e1tico y reglado de systemc para asegurar que la especificaci\u00f3n sea apta pra la aplicaci\u00f3n de otras actividades del dise\u00f1o en y desde el nivel de sistema. De esta manera, la especificaci\u00f3n del sistema se podr\u00e1 reutilizar para realizar an\u00e1lisis de rendimiento, para la verificaci\u00f3n a trav\u00e9s de simulaci\u00f3n y, en \u00faltimo t\u00e9rmino, para realizar una implementaci\u00f3n hw\/sw. Adem\u00e1s, la metodolog\u00eda hetsc soporta heterogeneidad. Para ello aporta reglas y facilidades de especificaci\u00f3n systemc adicionales para que la especificaci\u00f3n se ci\u00f1a a los supuestos de un modelo de computaci\u00f3n (moc) de entre varios soportados. De esta forma, se puede garantizar m\u00e1s f\u00e1cilmente propiedades como el determinismo, lo que, de otro modo ser\u00eda dif\u00edcil, debido a la complejidad en tama\u00f1o y niveles de concurrencia y jerarqu\u00eda de la especificaci\u00f3n. La metodolog\u00eda hetsc soporta tambi\u00e9n la inclusi\u00f3n en la especificaci\u00f3n de partes descritas bajo mocs diferentes. Esto se hace dentro del lenguaje systemc, por medio de canales y procesos frontera. Hetsc aporta una librer\u00eda metodol\u00f3gica denominada librer\u00eda hetsc, que contiene facilidades de especificaci\u00f3n que complementan las facilidades est\u00e1ndar de systemc. Otra caracter\u00edstica distintiva de hetsc es que el soporte de los distintos mocs se realiza sobre el mismo n\u00facleo de simulaci\u00f3n de eventos dicretos de systemc. Todas estas caracter\u00edsticas hacen de hetsc una contribuci\u00f3n novedosa en el campo de especificaci\u00f3n de nivel de sistemas en systemc.  en este trabajo se ha desarrollado tambi\u00e9n swg, una metodolog\u00eda de generaci\u00f3n autom\u00e1tica de software embebido desde c\u00f3digo systemc bajo la metodolog\u00eda hetsc, y por tanto, desde una especificaci\u00f3n de nivel de sistema. Como se ha explicado, esto es crucial para que una metodolog\u00eda esl provea la ganancia de productividad necesaria para paliar la brecha de dise\u00f1o. La metodolog\u00eda segen se basa en la sustituci\u00f3n de las librer\u00edas systemc y hetsc, por la librer\u00eda segen. La idea es que la implementaci\u00f3n systemc de las primitivas de especificaci\u00f3n, que hace que \u00e9sta sea ejecutable, se sustituye por una implementaci\u00f3n software eficiente provista por la librer\u00eda segen y que, entre otras cosas, no incluye ni el n\u00facleo de simulaci\u00f3n systemc, ni el c\u00f3digo de chequeo propio del nivel de sistema. Swgen es una contribuci\u00f3n novedosa en el campo de generaci\u00f3n de software desde el nivel de sistema por diversas caracter\u00edsticas distintivas, tales como el tomar systemc como lenguaje de entrada, estar basada en una librer\u00eda metodol\u00f3gica y estar orientada a una plataforma hw\/sw que incluye entre sus componentes b\u00e1sicos un sistema operativo embebido.  finalmente, en este trabajo se han realizado una serie de experimentos que han permitido realizar una validaci\u00f3n de las metodolog\u00edas. En el nivel de especificaci\u00f3n, se han realizado varios ejemplos, desde ejemplos sencillos que se incluyen en la librer\u00eda hetsc, hasta un efr vocoder del est\u00e1ndar gsm. Con estos ejemplos se han mostrado los beneficios de la metodolog\u00eda de especificaci\u00f3n en cuanto a simplicidad, reutilizaci\u00f3n de c\u00f3digo y velocidad de simulaci\u00f3n. La librer\u00eda segen se ha implementado para las api-c (del rtos ecos) y posix (v\u00e1lida para gx-linux, una distribuci\u00f3n de linux embebido, y para ecos tambi\u00e9n). Asimismo, se ha probado para diversas plataformas objetivo, basadas en procesadores de arquitectura arm y open risc, y en entornos de desarrollo diferentes. En todo caso, estas metodolog\u00edas se integraron de forma natural y r\u00e1pida en el entorno de desarrollo.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Especificaci\u00f3n heterog\u00e9nea y generaci\u00f3n autom\u00e1tica de software desde systemc para sistemas embebidos<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Especificaci\u00f3n heterog\u00e9nea y generaci\u00f3n autom\u00e1tica de software desde systemc para sistemas embebidos <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Fernando Herrera Casanueva <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Cantabria<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 06\/02\/2009<\/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: Antonio N\u00fa\u00f1ez ord\u00f3nez <\/li>\n<li>rom\u00e1n Hermida correa (vocal)<\/li>\n<li>axel Jantsch (vocal)<\/li>\n<li>Juan  Carlos L\u00f3pez l\u00f3pez (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Fernando Herrera Casanueva Este trabajo cubre varias de esas carencias fundamentales. En primer lugar, provee una metodolog\u00eda [&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,6474,30390],"tags":[15947,189649,43237,189648,139014,23814],"class_list":["post-91559","post","type-post","status-publish","format-standard","hentry","category-cantabria","category-diseno-con-ayuda-de-ordenador","category-lenguajes-de-programacion","category-modelos-causales","tag-antonio-nunez-ordonez","tag-axel-jantsch","tag-eugenio-villar-bonet","tag-fernando-herrera-casanueva","tag-juan-carlos-lopez-lopez","tag-roman-hermida-correa"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/91559","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=91559"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/91559\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=91559"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=91559"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=91559"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}