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ífico-tecnoló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).
Una descripción breve del proyecto SICOMORo-CM se ha publicado bajo el título SICOMORo-CM: Development of Trustworthy Systems via Models and Advanced Tools.
¿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.