{"id":19951,"date":"2018-03-09T09:09:06","date_gmt":"2018-03-09T09:09:06","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/integracion-de-analisis-de-tiempo-real-en-la-tecnica-de-descripcion-formal-sdl\/"},"modified":"2018-03-09T09:09:06","modified_gmt":"2018-03-09T09:09:06","slug":"integracion-de-analisis-de-tiempo-real-en-la-tecnica-de-descripcion-formal-sdl","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/malaga\/integracion-de-analisis-de-tiempo-real-en-la-tecnica-de-descripcion-formal-sdl\/","title":{"rendered":"Integraci\u00f3n de an\u00e1lisis de tiempo real en la t\u00e9cnica de descripci\u00f3n formal sdl"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Luis Manuel Llopis Torres <\/strong><\/h2>\n<p>El presente trabajo propone la utilizaci\u00f3n de t\u00e9cnicas de descripci\u00f3n formal (tdf) para el dise\u00f1o de sistemas de tiempo real. Una de las tdf m\u00e1s extendidas es sdl. Sin embargo, sdl prsenta limitaciones cuando es utilizada para este tipo de dise\u00f1os. Estas limitaciones est\u00e1n relacionadas con la dificultad para expresar restricciones temporales, sincronizaci\u00f3n y la existencia de un modelo de ejecuci\u00f3n no predecible.  en la tesis se propone un conjunto de extensiones para solucionar estas carencias y la integraci\u00f3n de un an\u00e1lisis de planificabilidad. La extensi\u00f3n principal propone la asignaci\u00f3n de prioridades a las transiciones y la definici\u00f3n de un modelo de ejecuci\u00f3n predecible. El an\u00e1lisis de planificabilidad est\u00e1 basado en la propuesta de joseph y pandya, si bien se ha modificado para incluir aspectos caracter\u00edsticos de la sem\u00e1ntica de sdl. Estas aportaciones ha sido implementadas en una herramienta denominada sdltr que, adem\u00e1s, incluye la posibilidad de redise\u00f1o del sistema buscando el cumplimiento de las restricciones temporales del sistema.  existen aportaciones del nivel de implementaci\u00f3n, concretamente se propone un modelo para generar implementaciones desde sdl y un sistema software intermedio (ssi) para controlar la ejecuci\u00f3n de la implementaci\u00f3n generada. el ssi puede implantarse sobre plataformas que ofrezcan el interfaz posix y sobre plataformas que ofrezcan apis de win32.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Integraci\u00f3n de an\u00e1lisis de tiempo real en la t\u00e9cnica de descripci\u00f3n formal sdl<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Integraci\u00f3n de an\u00e1lisis de tiempo real en la t\u00e9cnica de descripci\u00f3n formal sdl <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Luis Manuel Llopis Torres <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 M\u00e1laga<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 15\/11\/2002<\/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>Manuel D\u00edaz Rodr\u00edguez<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Juan  Antonio De la puente alfaro <\/li>\n<li>Manuel Capel tu\u00f1\u00f3n (vocal)<\/li>\n<li>michael Gonz\u00e1lez harbour (vocal)<\/li>\n<li>pedro Merino gomez (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Luis Manuel Llopis Torres El presente trabajo propone la utilizaci\u00f3n de t\u00e9cnicas de descripci\u00f3n formal (tdf) para [&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":[7834],"tags":[11017,60971,60972,24720,16054,32622],"class_list":["post-19951","post","type-post","status-publish","format-standard","hentry","category-malaga","tag-juan-antonio-de-la-puente-alfaro","tag-luis-manuel-llopis-torres","tag-manuel-capel-tunon","tag-manuel-diaz-rodriguez","tag-michael-gonzalez-harbour","tag-pedro-merino-gomez"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/19951","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=19951"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/19951\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=19951"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=19951"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=19951"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}