Observatorio de I+D+i UPM

Memorias de investigación
Research Project:
DESARROLLO DE SISTEMAS CONFIABLES MEDIANTE MODELOS Y HERRAMIENTAS AVANZADAS (SICOMORO-CM)
Year:2015
Research Areas
  • Information technology and adata processing
Information
Abstract
El objetivo principal de SICOMORo-CM (acrónimo de desarrollo de SIstemas COnfiables mediante Modelos y herRamientas avanzadas) consiste en construir metodologías, apoyadas con herramientas, que permitan el desarrollo de software confiable, de alta calidad, utilizando un proceso riguroso que cubra todas sus fases. Por tanto, SICOMORo-CM va mas allá de esfuerzos parciales que se concentran en una de las fases con el consiguiente riesgo de que los resultados obtenidos se pierdan al no usarse en un marco integrado de desarrollo de software. SICOMORo-CM plantea un programa científico común estructurado alrededor de 9 objetivos científico-tecnológicos. Dichos objetivos incluyen tanto trabajo focalizado en cada una de las fases del desarrollo de software (modelado, verificación en modelos, validación y verificación de sistemas) como trabajo en líneas transversales que cubre todas las fases. En el segundo caso cabe destacar como principales resultados esperados la creación del flujo de trabajo SICOMORo-CM, la implementación de un entorno colaborativo virtual donde se integren las tecnologías y herramientas desarrolladas, y la aplicación de las metodologías y herramientas a sistemas en la nube. SICOMORo-CM es un programa de alta relevancia tecnológica dado que pretendemos conseguir que el desarrollo de software se realice de una manera más eficiente y efectiva. Con ello lograremos aumentar notablemente el grado de confianza en la corrección de los sistemas desarrollados, acelerando por tanto el ciclo de desarrollo y disminuyendo los costes operacionales. De esta forma, SICOMORo-CM tiene el potencial de impactar significativamente en la competitividad de las empresas que se beneficien de las tecnologías desarrolladas. Este hecho será especialmente relevante para las empresas asociadas a SICOMORo-CM. Es una prioridad de SICOMORo-CM mostrar la aplicabilidad de las metodologías definidas mediante su utilización, en colaboración con las empresas asociadas, en el desarrollo de sistemas software para grandes sectores como las operaciones de servicio y los sistemas en la nube. También esperamos que SICOMORo-CM tenga un impacto importante en el sector académico dado que el programa cuenta con un ambicioso programa de difusión y diseminación de resultados que incluye tanto publicaciones y presentaciones en los foros internacionales más relevantes como la organización de escuelas de verano y talleres especializados. El programa SICOMORo-CM reúne a algunos de los más destacados grupos de investigación nacionales en el modelado y análisis formal de sistemas software complejos. Cabe destacar que sólo un programa como SICOMORo-CM permite poner bajo un mismo paraguas a grupos que trabajan en temáticas complementarias pero con un objetivo común: obtener software de mayor calidad que pueda proporcionar mayor utilidad a la sociedad. Los responsables de los cinco grupos académicos que conforman SICOMORo-CM, a pesar de su relativa juventud (dos de ellos son menores de 40 años y ninguno de los cinco es mayor de 50 años), tienen un amplio bagaje en el campo de la investigación, con publicaciones muy relevantes y experiencia importante en la dirección de proyectos tanto nacionales como internacionales.
International
No
Project type
Proyectos y convenios en convocatorias públicas competitivas
Company
Comunidad Autónoma de madrid
Entity Nationality
ESPAÑA
Entity size
Gran Empresa (>250)
Granting date
23/10/2014
Participants
  • Director: Josefa Zuleide Hernandez Diego (UPM)
  • Participante: Damiano Zanardini (UPM)
  • Participante: Guillermo Roman Diez (UPM)
  • Participante: Pablo Gordillo (Contratado UPM)
  • Participante: Jesús Domenech Arellano (Contratado proyecto)
Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Grupo de análisis de decisiones y estadística
  • Departamento: Inteligencia Artificial
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
S2i 2020 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)