Bienvenidos al sitio web del programa SICOMORo-CM

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 y 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íficotecnológicos. Dichos objetivos incluyen trabajo focalizado en cada una de las fases del proceso de desarrollo de software (modelado, verificación en modelos, validación y verificación de sistemas), trabajo en líneas transversales que necesiten todas las fases (podemos destacar como principales resultados esperados la creación del flujo de trabajo SICOMORo-CM y la implementación de un entorno colaborativo virtual) y trabajo, en colaboración con nueve empresas asociadas, en la aplicación de las metodologías y herramientas desarrolladas en entornos industriales (destacando los sistemas de transporte, automoción y los sistemas cloud).

¿Cómo funciona?

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, tanto en el desarrollo de sistemas software para grandes sectores (e.g. transporte y automoción) como en la definición de operaciones de servicio y de modelado y estudio de propiedades de sistemas cloud. También esperamos que SICOMORo-CM tenga un impacto importante en el sector académico dado que contamos 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.