{"id":80961,"date":"2018-03-10T00:04:44","date_gmt":"2018-03-10T00:04:44","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/especificacion-de-componentes-mediante-redes-de-petri-para-el-diseno-y-validacion-de-sistemas-de-control-de-tiempo-real\/"},"modified":"2018-03-10T00:04:44","modified_gmt":"2018-03-10T00:04:44","slug":"especificacion-de-componentes-mediante-redes-de-petri-para-el-diseno-y-validacion-de-sistemas-de-control-de-tiempo-real","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/especificacion-de-componentes-mediante-redes-de-petri-para-el-diseno-y-validacion-de-sistemas-de-control-de-tiempo-real\/","title":{"rendered":"Especificaci\u00f3n de componentes mediante redes de petri para el dise\u00f1o y validaci\u00f3n de sistemas de control de tiempo real."},"content":{"rendered":"<h2>Tesis doctoral de <strong> Apolinar\u00c2\u00ba Gonz\u00e1lez Potes <\/strong><\/h2>\n<p>En la actualidad el tama\u00f1o y la complejidad de los desarrollos de sistemas de control de tiempo real se ha incrementado, implicando altos costos en desarrollo y mantenimiento.Las t\u00e9cnicas y metodolog\u00edas para tratar este tipo de sistemas no han sido claramente definidas teniendo en cuenta integralmente los aspectos de dise\u00f1o, an\u00e1lisis e implementaci\u00f3n.  no ha habido una correspondencia directa entre el crecimiento de los sistemas de control de tiempo real y las t\u00e9cnicas de an\u00e1lisis formales. las dificultades en la especifiaci\u00f3n, an\u00e1lisis e implementaci\u00f3n, la necesidad de mantener un buen nivel de calidad, eliminar las ambig\u00ed\u00bcedades entre el dise\u00f1o y la implementaci\u00f3n, las necesidad de mantener un buen nivel de calidad, eliminar las ambig\u00ed\u00bcedades entre el dise\u00f1o y la implementaci\u00f3n, las inconsistencias y an\u00e1lisis limitados en los sistemas de tiempo real, ha incrementado el uso de los m\u00e9todos formales, aunque su complejidad desde el punto de vista matem\u00e1tico no ha permitido una gran aceptaci\u00f3n en el ambiente industrial, esto se debe a que existe un margen entre las necesidades reales  de los usuarios pr\u00e1cticos (industriales) y la comunidad cient\u00edfica.  ante las condiciones anteriores, esta tesis intenta reducir la distancia existente entre las aplicaciones te\u00f3ricas y las pr\u00e1cticas, integrando los tres aspectos mencionados: dise\u00f1o, an\u00e1lisis (validaci\u00f3n) e implementaci\u00f3n.  en el esquema de integraci\u00f3n tratada en la tesis, re\u00fane las necesidades para considerar un estilo arquitect\u00f3nico de dise\u00f1o de las aplicaciones, un m\u00e9todo formal para el an\u00e1lisis y un lenguaje de programaci\u00f3n de alto nivel que soporte caracter\u00edsticas de tiempo real.  para el estilo arquitect\u00f3nico se tiene en cuenta el dise\u00f1o bajo el modelo de concurrencia expl\u00edcita, lo cual permite tener en cuenta las actividades concurrentes en las primeras etpas del ciclo de vida, facilitando las labores de traslado autom\u00e1tico del dise\u00f1o en altos<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Especificaci\u00f3n de componentes mediante redes de petri para el dise\u00f1o y validaci\u00f3n de sistemas de control de tiempo real.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Especificaci\u00f3n de componentes mediante redes de petri para el dise\u00f1o y validaci\u00f3n de sistemas de control de tiempo real. <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Apolinar\u00c2\u00ba Gonz\u00e1lez Potes <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de Valencia<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 19\/10\/1999<\/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>Alfons Crespo Lorente<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Francisco Morant anglada <\/li>\n<li>alejandro Alonso mu\u00f1oz (vocal)<\/li>\n<li>Jos\u00e9 Mar\u00eda Drake  moyano (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 Apolinar\u00c2\u00ba Gonz\u00e1lez Potes En la actualidad el tama\u00f1o y la complejidad de los desarrollos de sistemas de [&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,4149,126,16820,8967,2535],"tags":[16052,19317,173030,56957,10619,16056],"class_list":["post-80961","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-ciencias-tecnologicas","category-diseno-y-componentes-de-sistemas-de-informacion","category-matematicas","category-politecnica-de-valencia","category-sistemas-en-tiempo-real","category-tecnologia-de-los-ordenadores","tag-alejandro-alonso-munoz","tag-alfons-crespo-lorente","tag-apolinarao-gonzalez-potes","tag-francisco-morant-anglada","tag-jose-maria-drake-moyano","tag-villarroel-salcedo-jose-luis"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/80961","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=80961"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/80961\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=80961"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=80961"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=80961"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}