|
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 |