Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

MOGENTES

Financiado

Cerrado

Model based Generation of Tests for Dependable Embedded Systems

MOGENTES aims at significantly enhancing testing and verification of dependable embedded systems by means of automated generation of test-cases relying on development of new approaches as well as innovative integration of state-of... ver más

31/03/2011

AIT

4M€

Presupuesto del proyecto: 4M€

Líder del proyecto

AIT AUSTRIAN INSTITUTE OF TECHNOLOGY GMBH No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Fecha límite participación Sin fecha límite de participación.

Ver 9 Participantes

Financiación concedida El organismo FP7 notifico la concesión del proyecto el día 2011-03-31 No tenemos la información de la convocatoria

0% 70% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

9 Participantes

AIT

0.00€ | Lider

TU GRAZ

N.D. | Participante

BUDAPEST UNIVERSITY OF TECHN...

N.D. | Participante

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Proyectos interesantes

INVEST inVEST Foundations for a Shift from Verification to Synthes... 1M€ Cerrado

DYNAGALS Formal design methods for globally asynchronous locally sync... 112K€ Cerrado

VASSAL Verification and Analysis for Safety and Security of Applica... Cerrado

COCONUT A Correct by Construction Workbench for Design and Verificat... 3M€ Cerrado

CESAR Cost-Efficient Methods and Processes for Safety Relevant Emb... 58M€ Cerrado

CESAR Cost Efficient Methods and Processes for Safety Relevant Emb... 58M€ Cerrado

Líder del proyecto

AIT AUSTRIAN INSTITUTE OF TECHNOLOGY GMBH No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 4M€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto MOGENTES aims at significantly enhancing testing and verification of dependable embedded systems by means of automated generation of test-cases relying on development of new approaches as well as innovative integration of state-of-the-art techniques. Driven by the needs of its industrial partners, it will address both testing of non-functional issues like reliability, by e.g. system stress and overload tests, and functional safety tests, meeting the requirements of standards such as IEC 61508, ISO WD 26262, or AUTOSAR. MOGENTES will demonstrate that different domains with a wide variety of requirements can significantly benefit from a common model-based approach for achieving automated generation of efficient test-cases and for verifying system safety correctness using formal methods and fault injection, as this approach increases system development productivity while achieving predictable system dependability properties. For that purpose, proof-of-concept demonstrations will show the applicability of the developed technologies in two application domains: railway and automotive.In particular, MOGENTES aims at the application of these technologies in large industrial systems, simultaneously enabling application domain experts (with rather little knowledge and experience in usage of formal methods) to use them with minimal learning effort. All in all, MOGENTES will increase knowledge and develop new techniques and tools in the area of verification and validation of dependable embedded systems which can be applied in model-based development processes also by non-experts in formal methods.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores