{"id":31954,"date":"1997-01-01T00:00:00","date_gmt":"1997-01-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/diseno-de-sistemas-de-tiempo-real-mediante-objetos-ejecutables\/"},"modified":"1997-01-01T00:00:00","modified_gmt":"1997-01-01T00:00:00","slug":"diseno-de-sistemas-de-tiempo-real-mediante-objetos-ejecutables","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/diseno-de-sistemas-de-tiempo-real-mediante-objetos-ejecutables\/","title":{"rendered":"Dise\u00f1o de sistemas de tiempo real mediante objetos ejecutables."},"content":{"rendered":"<h2>Tesis doctoral de <strong>  Miguel Cabello Miguel Angel De <\/strong><\/h2>\n<p>En esta tesis doctoral se propone un conjunto de notaciones para la descripcion de dise\u00f1os de sistemas de tiempo real orientados a objetos. Esas notaciones don adaptaciones de otras existentes, fundamentalmente hrt-hoad. Tomando como punto de partida esas notaciones se describe su formalizacion mediante hltpn (high level timed petri nets) para con ello establecer una secuencia formal de los modelos y crear un mecanismo que permita simular y animar la ejecucion de los modelos. Dadas las restricciones temporales se fija como verificar esas restricciones con la generacion automatica de modes rma (rate monotonic analisis) y se extiende la notacion para poder mejorar la caracterizacion temporal de las clases de modelos, mediante propiedades en logica temporal. Por ultimo se describe como integras estos modelos en un desarrollo incremental basado en modelos heterogeneos.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Dise\u00f1o de sistemas de tiempo real mediante objetos ejecutables.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Dise\u00f1o de sistemas de tiempo real mediante objetos ejecutables. <\/li>\n<li><strong>Autor:<\/strong>\u00a0  Miguel Cabello Miguel Angel De <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de Madrid<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1997<\/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>Alejandro Alonso Mu\u00f1oz<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Gonzalo Le\u00f3n Serrano <\/li>\n<li>Michael Gonzalez Harbour (vocal)<\/li>\n<li>Pedro De Miguel Anasagasti (vocal)<\/li>\n<li> Villarroel Salcedo Jos\u00e9 Luis (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Miguel Cabello Miguel Angel De En esta tesis doctoral se propone un conjunto de notaciones para 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":[1890,332,13880,126,16008,8967,2535],"tags":[16052,16198,16054,88604,16053,16056],"class_list":["post-31954","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-ciencias-tecnologicas","category-informatica","category-matematicas","category-politecnica-de-madrid","category-sistemas-en-tiempo-real","category-tecnologia-de-los-ordenadores","tag-alejandro-alonso-munoz","tag-gonzalo-leon-serrano","tag-michael-gonzalez-harbour","tag-miguel-cabello-miguel-angel-de","tag-pedro-de-miguel-anasagasti","tag-villarroel-salcedo-jose-luis"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/31954","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=31954"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/31954\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=31954"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=31954"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=31954"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}