{"id":15028,"date":"2002-08-01T00:00:00","date_gmt":"2002-08-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/tratamiento-fordal-de-sistemas-con-requisitos-de-tiempo-real-cra%c2%adticos\/"},"modified":"2002-08-01T00:00:00","modified_gmt":"2002-08-01T00:00:00","slug":"tratamiento-fordal-de-sistemas-con-requisitos-de-tiempo-real-cra%c2%adticos","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/ciencias-tecnologicas\/tratamiento-fordal-de-sistemas-con-requisitos-de-tiempo-real-cra%c2%adticos\/","title":{"rendered":"Tratamiento fordal de sistemas con requisitos de tiempo real cr\u00edticos"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Ana Fernandez Vilas <\/strong><\/h2>\n<p>Esta tesis se enmarca dentro de la disciplina del tratamiento formal de sistemas con requisitos de tiempo real cr\u00edticos, una vez han sido completa o parcialmente resueltos los principales problemas te\u00f3ricos en el \u00e1mbito de los m\u00e9todos formales con requisitos de dichas caracter\u00edsticas, el objetivo de este trabajo de tesis es ligeramente diferente. Con el fin de mejorar la calidad del software, es nuestra intenci\u00f3n con jugar dos soluciones de diferente naturaleza: la formalizaci\u00f3n del proceso software y una estructura de proceso software iterativa e incremental, cordinando la correcci\u00f3n de los m\u00e9todos formales y lo flexible de un ciclo de vida que no congela los requisitos en fases tempranas y divide la complejidad.  el objetivo central de esta tesis es la extensi\u00f3n de la metodolog\u00eda formal sctl\/ros, conjugando ambos enfoques, para la aplicaci\u00f3n al \u00e1mbito de los sistemas con requisitos de tiempo real cr\u00edticos.  en base a este objetivo, se define el modelo de estados mus-t, y la l\u00f3gica temporal sctl-t; extensiones con tiempo denso del modelo mus y la l\u00f3gica sctl.  adem\u00e1s se proporcionan m\u00e9todos de decisi\u00f3n orientados k an\u00e1lisis y a sintesis que articulan el modelo de ciclo de vida propuesto en la producci\u00f3n de este tipo de sistemas.  para garantizar la eficiencia de la metodolog\u00eda se propone un algoritmo de minimizaci\u00f3n. Por \u00faltimo, para su validaci\u00f3n se presenta un caso de estudio en el estado del arte de los sistemas de tiempo real cr\u00edticos.<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Tratamiento fordal de sistemas con requisitos de tiempo real cr\u00edticos<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Tratamiento fordal de sistemas con requisitos de tiempo real cr\u00edticos <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Ana Fernandez Vilas <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Vigo<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 08\/01\/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>Jos\u00e9 Juan Pazos Arias<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: Carlos Delgado Kloos <\/li>\n<li> Lopez Garcia Candido Antonio (vocal)<\/li>\n<li>Santiago Pav\u00f3n G\u00f3mez (vocal)<\/li>\n<li>Marisol Garc\u00eda Valls (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Ana Fernandez Vilas Esta tesis se enmarca dentro de la disciplina del tratamiento formal de sistemas con [&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,8967,2489,2535,18657],"tags":[48121,30894,30893,30796,48123,48122],"class_list":["post-15028","post","type-post","status-publish","format-standard","hentry","category-ciencias-tecnologicas","category-sistemas-en-tiempo-real","category-tecnologia-de-las-telecomunicaciones","category-tecnologia-de-los-ordenadores","category-vigo","tag-ana-fernandez-vilas","tag-carlos-delgado-kloos","tag-jose-juan-pazos-arias","tag-lopez-garcia-candido-antonio","tag-marisol-garcia-valls","tag-santiago-pavon-gomez"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/15028","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=15028"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/15028\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=15028"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=15028"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=15028"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}