{"id":5,"date":"2018-04-06T14:46:34","date_gmt":"2018-04-06T14:46:34","guid":{"rendered":"http:\/\/dalila.sip.ucm.es\/fadoss\/?page_id=5"},"modified":"2025-11-25T13:53:09","modified_gmt":"2025-11-25T13:53:09","slug":"inicio","status":"publish","type":"page","link":"https:\/\/maude.ucm.es\/fadoss\/","title":{"rendered":"Presentaci\u00f3n"},"content":{"rendered":"<p style=\"text-align: justify;\">El grupo de investigaci\u00f3n sobre\u00a0<em>Dise\u00f1o y An\u00e1lisis Formal de Sistemas de Software (Formal Analysis and Design of Software Systems, FADoSS)<\/em> en el Departamento de Sistemas Inform\u00e1ticos y Computaci\u00f3n de la UCM es el resultado de la integraci\u00f3n de los antiguos grupos de m\u00e9todos formales para la concurrencia y de programaci\u00f3n funcional paralela, y posteriormente del grupo de programaci\u00f3n declarativa, adem\u00e1s del crecimiento natural del grupo a lo largo de sus m\u00e1s de veinte a\u00f1os de historia. En 2005 fue reconocido como grupo oficial de investigaci\u00f3n por la UCM y en la actualidad consta de 26 doctores, 3 estudiantes de doctorado y 6 colaboradores externos, siendo sus directores Ismael Rodr\u00edguez y Adri\u00e1n Riesco.<\/p>\n<p style=\"text-align: justify;\">La actividad principal del grupo FADoSS se centra en el estudio y desarrollo de t\u00e9cnicas rigurosas que garanticen la correcci\u00f3n del dise\u00f1o de los sistemas de software. Tambi\u00e9n se persigue la aplicaci\u00f3n de los desarrollos te\u00f3ricos en sistemas concretos de programaci\u00f3n, especificaci\u00f3n y modelado, como Maude.<\/p>\n<p style=\"text-align: justify;\">La investigaci\u00f3n del grupo ha sido financiada ininterrumpidamente desde su creaci\u00f3n mediante proyectos nacionales y regionales, siendo los m\u00e1s recientes los proyectos\u00a0<a href=\"https:\/\/bloques-cm.es\/\">BLOQUES<\/a>\u00a0de la Comunidad de Madrid y ProCode del Ministerio de Ciencia e Innovaci\u00f3n, casi todos ellos realizados en diferentes formas de colaboraci\u00f3n con los grupos\u00a0<a href=\"http:\/\/www.upm.es\/observatorio\/vi\/index.jsp\">CLIP<\/a>\u00a0y\u00a0<a href=\"http:\/\/www.upm.es\/observatorio\/vi\/index.jsp\">Babel<\/a>\u00a0de la Universidad Polit\u00e9cnica de Madrid, e\u00a0<a href=\"https:\/\/software.imdea.org\/es\/\">IMDEA Software<\/a>. Adem\u00e1s, miembros del grupo han participado en algunos proyectos europeos. El grupo FADoSS tambi\u00e9n mantiene relaciones de colaboraci\u00f3n y ha realizado proyectos de I+D con empresas.<\/p>\n<p style=\"text-align: justify;\">Los resultados de la investigaci\u00f3n realizada por el grupo FADoSS se publican en revistas y actas de numerosos congresos de \u00e1mbito internacional, siendo citados frecuentemente por otros investigadores del \u00e1rea. Los miembros de FADoSS tambi\u00e9n participan habitualmente en comit\u00e9s de programa de estos congresos y han organizado algunos de ellos de reconocido prestigio como POPL 2010, MPC 2012, PPDP 2013, LOPSTR 2013, CONCUR 2015, ISR 2021, ICFEM 2022.<\/p>\n<p style=\"text-align: justify;\">El grupo tiene amplios contactos y proyectos conjuntos con investigadores externos, tanto en Espa\u00f1a como en el extranjero. Adem\u00e1s de los proyectos conjuntos mencionados antes, en la acci\u00f3n complementaria Red Maude tambi\u00e9n participaron investigadores de seis universidades espa\u00f1olas. El grupo FADoSS tambi\u00e9n mantiene una estrecha relaci\u00f3n con el instituto de investigaci\u00f3n\u00a0<a href=\"https:\/\/software.imdea.org\/es\/\">IMDEA Software<\/a>\u00a0de la Comunidad de Madrid. Entre las colaboraciones internacionales destacan las establecidas con los grupos de investigaci\u00f3n de los profesores <a href=\"http:\/\/formalmethods.web.engr.illinois.edu\/meseguer\/\">Jos\u00e9 Meseguer<\/a>\u00a0en la Universidad de Illinois en Urbana-Champaign (Estados Unidos),\u00a0<a href=\"http:\/\/www.jaist.ac.jp\/~ogata\/\">Kazuhiro Ogata<\/a> en JAIST (Jap\u00f3n),\u00a0<a href=\"https:\/\/en.wikipedia.org\/wiki\/Carolyn_Talcott\">Carolyn Talcott<\/a>\u00a0en SRI International (Estados Unidos),\u00a0<a href=\"https:\/\/www.mathematik.uni-marburg.de\/~loogen\/\">Rita Loogen<\/a>\u00a0en la Philipps-Universit\u00e4t Marburg (Alemania), \u00a0<a href=\"http:\/\/www.ru.is\/faculty\/luca\/\">Luca Aceto<\/a>\u00a0y\u00a0<a href=\"http:\/\/www.ru.is\/haskolinn\/starfsfolk\/annai\">Anna Ing\u00f3lfsd\u00f3ttir<\/a>\u00a0en la Universidad de Reikiavik (Islandia), <a href=\"https:\/\/imi.kyushu-u.ac.jp\/~daniel\/\">Daniel Gaina<\/a> en la Universidad de Kyushu (Jap\u00f3n) y <a href=\"https:\/\/docente.unife.it\/marco.gavanelli\/\">Marco Gavanelli<\/a> en la Universidad de Ferrara (Italia).<\/p>\n<p style=\"text-align: justify;\">Los miembros del grupo FADoSS participan en el\u00a0programa de posgrado de la Facultad de Inform\u00e1tica\u00a0impartiendo asignaturas sobre especificaci\u00f3n y validaci\u00f3n de software, sobre modelos de sistemas concurrentes y distribuidos, y sobre an\u00e1lisis y transformaci\u00f3n de programas, entre otros temas de m\u00e9todos formales, y dirigiendo trabajos de fin de m\u00e1ster. Asimismo, han dirigido varias\u00a0<a href=\"\/fadoss\/doctorado\/\">tesis doctorales<\/a>\u00a0en el <a href=\"https:\/\/informatica.ucm.es\/doctorado\">programa de doctorado de Ingenier\u00eda Inform\u00e1tica<\/a>. Finalmente, han participado a nivel internacional en la impartici\u00f3n de cursos en escuelas de verano en diversos pa\u00edses.<\/p>\n<h2>L\u00edneas de investigaci\u00f3n<\/h2>\n<ul>\n<li>T\u00e9cnicas de especificaci\u00f3n y verificaci\u00f3n de sistemas.<\/li>\n<li>Sem\u00e1ntica de lenguajes de especificaci\u00f3n y programaci\u00f3n.<\/li>\n<li>An\u00e1lisis est\u00e1tico de programas y sistemas de tipos.<\/li>\n<li>Estudio y aplicaciones inform\u00e1ticas de la l\u00f3gica de reescritura.<\/li>\n<li>Dise\u00f1o e implementaci\u00f3n del lenguaje Maude.<\/li>\n<li>Modelos formales para la movilidad y la seguridad.<\/li>\n<li>Demostraci\u00f3n semi-autom\u00e1tica de teoremas.<\/li>\n<li>Complejidad computacional de problemas y m\u00e9todos heur\u00edsticos de resoluci\u00f3n.<\/li>\n<li>Estudio de propiedades l\u00f3gicas de los sistemas inform\u00e1ticos.<\/li>\n<li>Testing y modelado de sistemas distribuidos.<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>El grupo de investigaci\u00f3n sobre\u00a0Dise\u00f1o y An\u00e1lisis Formal de Sistemas de Software (Formal Analysis and Design of Software Systems, FADoSS) en el Departamento de Sistemas Inform\u00e1ticos y Computaci\u00f3n de la UCM es el resultado de la integraci\u00f3n de los antiguos grupos de m\u00e9todos formales para la concurrencia y de programaci\u00f3n funcional paralela, y posteriormente del &hellip; <\/p>\n<p class=\"link-more\"><a href=\"https:\/\/maude.ucm.es\/fadoss\/\" class=\"more-link\">Continuar leyendo<span class=\"screen-reader-text\"> \u00abPresentaci\u00f3n\u00bb<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-5","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/pages\/5","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/comments?post=5"}],"version-history":[{"count":14,"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/pages\/5\/revisions"}],"predecessor-version":[{"id":235,"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/pages\/5\/revisions\/235"}],"wp:attachment":[{"href":"https:\/\/maude.ucm.es\/fadoss\/wp-json\/wp\/v2\/media?parent=5"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}