El grupo de investigación sobre Diseño y Análisis Formal de Sistemas de Software (Formal Analysis and Design of Software Systems, FADoSS) en el Departamento de Sistemas Informáticos y Computación de la UCM es el resultado de la evolución de los antiguos grupos de métodos formales para la concurrencia y de programación funcional paralela. En 2005 fue reconocido como grupo oficial de investigación por la UCM y en la actualidad consta de 22 doctores, 3 estudiantes de doctorado y 5 colaboradores externos, siendo su director Narciso Martí.
La actividad principal del grupo FADoSS se centra en el estudio y desarrollo de técnicas rigurosas que garanticen la corrección del diseño de los sistemas de software. También se persigue la aplicación de los desarrollos teóricos en sistemas concretos de programación (Edén), especificación (Maude) y modelado, análisis y generación de código (ActionGUI).
La investigación del grupo ha sido financiada ininterrumpidamente desde su creación mediante proyectos nacionales y regionales, siendo los más recientes los proyectos NGREENS de la Comunidad de Madrid y TRACES del Ministerio de Economía, Industria y Competitividad, todos ellos realizados en diferentes formas de colaboración con los grupos CLIP y Babel de la Universidad Politécnica de Madrid, e IMDEA Software. Además, miembros del grupo FADoSS participaron en la Red de Excelencia Europea NESSoS, financiada por el 7º Programa Marco. El grupo FADoSS también mantiene relaciones de colaboración con empresas líderes en su sector, como SIEMENS y Deimos Space, y ha realizado proyectos de I+D para empresas como INDRA y EADS.
Los resultados de la investigación realizada por el grupo FADoSS han sido publicados en revistas y actas de numerosos congresos internacionales, siendo citados frecuentemente por otros investigadores del área. Los miembros de FADoSS también participan habitualmente en comités de programa de congresos internacionales y han organizado algunos prestigiosos congresos internacionales como POPL 2010 en Madrid, ESSoS 2011 en Madrid, TFP 2011 en Madrid, WADT 2012 en Salamanca, MPC 2012 en Madrid y CONCUR 2015 en Madrid.
El grupo tiene amplios contactos y proyectos conjuntos con investigadores externos, tanto en España como en el extranjero. Además de los proyectos conjuntos mencionados antes, en la acción complementaria Red Maude también participaron investigadores de seis universidades españolas. El grupo FADoSS también mantiene una estrecha relación con el instituto de investigación IMDEA Software de la Comunidad de Madrid. Entre las colaboraciones internacionales, destacan las establecidas con los grupos de investigación de los profesores José Meseguer en la Universidad de Illinois en Urbana-Champaign (Estados Unidos), David Basin en el ETH Zürich (Suiza), Carolyn Talcott en SRI International (Estados Unidos), Rita Loogen en la Philipps-Universität Marburg (Alemania), y Luca Aceto y Anna Ingólfsdóttir en la Universidad de Reikiavik (Islandia).
Los miembros del grupo FADoSS participan en el programa de posgrado de la Facultad de Informática impartiendo asignaturas sobre especificación y validación de software, sobre modelos de sistemas concurrentes y distribuidos, y sobre análisis y transformación de programas, y dirigiendo trabajos de fin de máster. Asimismo, han dirigido varias tesis doctorales en el programa de doctorado de Ingeniería Informática. Finalmente, han participado a nivel internacional en la impartición de cursos en escuelas de verano en diversos países.