Descripción del proyecto
Marco web para la certificación automática de «software»
Impulsada por tecnologías como el internet de las cosas, la informática en la nube, la inteligencia artificial y el aprendizaje automático, la rápida digitalización de la sociedad y la industria ha llevado a una creciente dependencia de sistemas informáticos complejos. Si bien estas innovaciones aumentan la productividad y la comodidad, también incrementan el riesgo de que se produzcan errores imprevistos en el «software» o el sistema que pueden agravarse y causar daños importantes. El proyecto Learn, financiado por el Consejo Europeo de Investigación, pretende abordar este reto desarrollando un marco basado en la web que detecte de forma automática y rentable posibles errores y certifique la fiabilidad del «software». La herramienta ayudará a los desarrolladores y a las organizaciones a garantizar sistemas más seguros y robustos, contribuyendo a mitigar los riesgos en un mundo cada vez más digital e impulsado por los datos.
Objetivo
Certified computer systems are becoming the key in the increasingly complex decision making activities of our modern society. Among others, provably correct/secure solutions within Artificial Intelligence (AI), Autonomous Systems, Big Data, Blockchain, Decentralized Finance (DeFi), Cloud Computing, or Machine Learning (ML) are indispensable in the ongoing digitalization of our society.
While the explosion in applications of computer systems leads to great increases in productivity, wealth, and convenience, it creates a paradoxical situation: we rely on computer systems despite that uncountable many application scenarios showcase that computer systems are not (properly) certified and hence are error-prone. Unfortunately, a single software error can quickly escalate into a big issue with huge economic damage. Software errors could be though prevented by rigorous code reviews in the software logic. However, who can tell software developers which logical formalism should be used? Moreover, which certification mechanism is best to be used during code review, for ensuring system safety and security? LEARN answers these questions by automating reasoning about software and discovering proof strategies for software certification. Doing so, LEARN introduces a web-based framework for learning and predicting logic models of software properties. LEARN also discovers collections of proof strategies without relying on server back-end, by automating inductive reasoning over commonly used software data structures.
LEARN eliminates massive costs arising from correcting defective software releases, by proving an easy to deploy certification platform for developers and organizations.
Ámbito científico (EuroSciVoc)
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véas: El vocabulario científico europeo..
- ciencias naturales informática y ciencias de la información software
- ciencias naturales informática y ciencias de la información seguridad informática criptografía
- ciencias sociales economía y empresa ciencia económica economía de la producción productividad
Para utilizar esta función, debe iniciar sesión o registrarse
Palabras clave
Palabras clave del proyecto indicadas por el coordinador del proyecto. No confundir con la taxonomía EuroSciVoc (Ámbito científico).
Palabras clave del proyecto indicadas por el coordinador del proyecto. No confundir con la taxonomía EuroSciVoc (Ámbito científico).
Programa(s)
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.
-
HORIZON.1.1 - European Research Council (ERC)
PROGRAMA PRINCIPAL
Ver todos los proyectos financiados en el marco de este programa
Tema(s)
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Las convocatorias de propuestas se dividen en temas. Un tema define una materia o área específica para la que los solicitantes pueden presentar propuestas. La descripción de un tema comprende su alcance específico y la repercusión prevista del proyecto financiado.
Régimen de financiación
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
Régimen de financiación (o «Tipo de acción») dentro de un programa con características comunes. Especifica: el alcance de lo que se financia; el porcentaje de reembolso; los criterios específicos de evaluación para optar a la financiación; y el uso de formas simplificadas de costes como los importes a tanto alzado.
HORIZON-ERC-POC - HORIZON ERC Proof of Concept Grants
Ver todos los proyectos financiados en el marco de este régimen de financiación
Convocatoria de propuestas
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
Procedimiento para invitar a los solicitantes a presentar propuestas de proyectos con el objetivo de obtener financiación de la UE.
(se abrirá en una nueva ventana) ERC-2024-POC
Ver todos los proyectos financiados en el marco de esta convocatoriaInstitución de acogida
Aportación financiera neta de la UE. Es la suma de dinero que recibe el participante, deducida la aportación de la UE a su tercero vinculado. Considera la distribución de la aportación financiera de la UE entre los beneficiarios directos del proyecto y otros tipos de participantes, como los terceros participantes.
1040 Wien
Austria
Los costes totales en que ha incurrido esta organización para participar en el proyecto, incluidos los costes directos e indirectos. Este importe es un subconjunto del presupuesto total del proyecto.