Skip to main content
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS

The easiest way to build complete, correct and consistent embedded software for cyberphysical systems

Descripción del proyecto

Tecnologías de «software» para la Industria 4.0

La Industria 4.0 también conocida como la cuarta revolución industrial, tiene como objetivo integrar los sistemas ciberfísicos (CPS, por sus siglas en inglés) y el internet de las cosas, los datos masivos, la computación en nube, la robótica, los sistemas de inteligencia artificial y la fabricación por adición. El «software» es una tecnología facilitadora esencial. Por ejemplo, los CPS dependen en gran medida de la innovación en «software». Por lo tanto, las pruebas son fundamentales para prevenir fallos que podrían devenir en pérdidas masivas. El proyecto financiado con fondos europeos Dezyne Enterprise desarrollará y comercializará una tecnología para desarrollar sistemas de «software» completos, coherentes y fiables. Dicha tecnología se trata de un conjunto de herramientas que permite a los ingenieros de «software» producir resultados robustos, fiables y resilientes mediante el uso de tecnologías de validación y verificación formal. Su objetivo es reducir los fallos hasta en un 99,9 %.

Objetivo

"In the ""fourth industrial revolution"" (Industry 4.0) our society is already immersed, cyberphysical systems (CPS) are key to improve our way of life. CPS rely heavily on software innovation, so mastering the ability to innovate quickly in SW is crucial. Nevertheless, creating a complete, correct and consistent SW system is not trivial. During different stages of development, multiple defects can accumulate due to specification, design, or coding errors. Therefore, it is essential to undergo a testing phase to ensure that defects are remedied before the SW reaches the market. These defects can lead to massive economic losses for companies or, more importantly, putting people's lives at risk. Verum Software Tools BV is an independent company founded in 2014, aiming to revolutionize embedded software industry by introducing DEZYNE Enterprise with the purpose to be leaders within the Industry 4.0. DEZYNE is the definitive solution to develop complete, correct and consistent SW systems. DEZYNE is a SW development toolset that strengthens existing software engineering practices by enabling SW engineers to produce robust, reliable and resilient results through the application of validation and formal verification technologies. DEZYNE makes it possible to increase productivity by up to 300%, thanks to the automation of validation and verification of SW system models; to reduce field defects by up to 99.99%, thanks to advanced mathematical analysis for SW verification; and to reduce marketing time by more than 20%, speeding up and shortening the entire development process. This is achieved by focusing on detecting and repairing defects in a SW system during the specification and design phases, so that total costs, time and field defects are severely minimised. We estimate that this project will bring cumulative profits of €13.56 million by 2024 and the generation of 29 new job positions, with a ROI in 2024 of 4.61."

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

Para utilizar esta función, debe iniciar sesión o registrarse

Programa(s)

Programas de financiación plurianuales que definen las prioridades de la UE en materia de investigación e innovación.

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.

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.

SME-1 - SME instrument phase 1

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.

(se abrirá en una nueva ventana) H2020-EIC-SMEInst-2018-2020

Ver todos los proyectos financiados en el marco de esta convocatoria

Coordinador

VERUM SOFTWARE TOOLS B.V.
Aportación neta de la UEn

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.

€ 50 000,00
Dirección
AUTOMOTIVE CAMPUS 30
5708 JZ Helmond
Países Bajos

Ver en el mapa

Pyme

Organización definida por ella misma como pequeña y mediana empresa (pyme) en el momento de la firma del acuerdo de subvención.

Región
Zuid-Nederland Noord-Brabant Zuidoost-Noord-Brabant
Tipo de actividad
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Enlaces
Coste total

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.

€ 71 429,00
Mi folleto 0 0