{"id":3876,"date":"1994-01-01T00:00:00","date_gmt":"1994-01-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/1994\/01\/01\/prototipado-concurrente-de-sistemas-de-tiempo-real\/"},"modified":"1994-01-01T00:00:00","modified_gmt":"1994-01-01T00:00:00","slug":"prototipado-concurrente-de-sistemas-de-tiempo-real","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/ciencias-tecnologicas\/prototipado-concurrente-de-sistemas-de-tiempo-real\/","title":{"rendered":"Prototipado concurrente de sistemas de tiempo real"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Juan  Carlos Due\u00f1as Lopez <\/strong><\/h2>\n<p>En la actualidad, la construccion de los sistemas de tiempo real es una tarea dificil y costosa. A las dificultades de construccion de cualquier sistema informatico se a\u00f1ade la complejidad derivada de los factores temporales. Los principales problemas se centran en el descubrimiento tardio de los errores (incluyendo los de la temporizacion), y los tiempos largos de desarrollo.  el objetivo general de la tesis es proporcionar un marco conceptual que permita el uso conjunto de las tecnicas del prototipado formal y las de la ingenieria concurrente. Para ello, se define el \u00abprototipado concurrente\u00bb como la realizacion de modelos operativos parciales a partir de submodelos cuyos niveles de abstraccion y notaciones pueden ser diferentes.  de esta forma, se aprovechan las ventajas del prototipado (con el descubrimiento de problemas en fases tempranas del desarrollo), y las de la construccion concurrente por varios grupos de trabajo. En la tesis se muestra como utilizar el prototipado concurrente en las fases de dise\u00f1o, implementacion y pruebas de los str, y como se relaciona con el meta-modelo de ciclo de vida en espiral de boehm.  posteriormente se proponen dos algoritmos que soportan los requisitos basicos del prototipado concurrente: la simulacion de prototipos distribuidos y heterogeneos, expresados mediante redes de petri temporizadas de alto nivel.  para los prototipos distribuidos, se definen unas reglas de composicion y un algoritmo de simulacion distribuida pesimista asincrona basada en eventos. Este algoritmo permite la ejecucion distribuida de las redes, resuelve los problemas tipicos de sincronizacion, deteccion y ruptura de bloqueos y conflictos efectivos, y detecta el final de la simulacion.  basado en el algoritmo anterior, se muestra el soporte de prototipos heterogeneos, donde coexisten submodelos descritos mediante redes de petri con otros descritos mediante un lenguaje de programacion. Al utilizar para str, s<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Prototipado concurrente de sistemas de tiempo real<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Prototipado concurrente de sistemas de tiempo real <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Juan  Carlos Due\u00f1as Lopez <\/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\/1994<\/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>Gonzalo Le\u00f3n Serrano<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Juan Quemada Vives <\/li>\n<li>Pere Botella L\u00f3pez (vocal)<\/li>\n<li>Juan  Antonio De La Puente Alfaro (vocal)<\/li>\n<li>\u00e1ngel Vi\u00f1a Casti\u00f1eiras (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Juan Carlos Due\u00f1as Lopez En la actualidad, la construccion de los sistemas de tiempo real es una [&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":[332,16008,8967,2489,2535],"tags":[16200,16198,11017,16197,16199,15853],"class_list":["post-3876","post","type-post","status-publish","format-standard","hentry","category-ciencias-tecnologicas","category-politecnica-de-madrid","category-sistemas-en-tiempo-real","category-tecnologia-de-las-telecomunicaciones","category-tecnologia-de-los-ordenadores","tag-angel-vina-castineiras","tag-gonzalo-leon-serrano","tag-juan-antonio-de-la-puente-alfaro","tag-juan-carlos-duenas-lopez","tag-juan-quemada-vives","tag-pere-botella-lopez"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/3876","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=3876"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/3876\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=3876"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=3876"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=3876"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}