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

ABV

Financiado

Cerrado

Enabling Architecture Based Verification and Validation of Mission Critical Syst...

Enabling Architecture Based Verification and Validation of Mission Critical Systems Software is ubiquitous in the world we live in today, enabling the successful operation of systems ranging from every day appliances like microwave ovens, to complex mission critical systems like financial transaction management s... ver más

31/08/2012

MDU

100K€

Presupuesto del proyecto: 100K€

Líder del proyecto

MALARDALENS UNIVERSITET No se ha especificado una descripción o un objeto social para esta compañía.

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

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

0% 100% 100%

Características del participante

Este proyecto no cuenta con búsquedas de partenariado abiertas en este momento.

Información adicional privada

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

1 Participantes

MDU

0.00€ | Lider

Proyectos interesantes

TIN2013-44742-C4-1-R

Software

Software Testin...

109K€ Cerrado

TUNE

Software

Cybersecurity

2M€ Cerrado

TIN2009-14599-C03-02

Software

Software Testin...

308K€ Cerrado

PID2019-108528RB-C21

Software

Software Testin...

109K€ Cerrado

DISEÑO, DESARROLLO, IMPLANTACIÓN Y CERTIFICAC...

Software

Software Testin...

31K€ Cerrado

MirandaTesting

Software

Software Testin...

1M€ Cerrado

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

Líder del proyecto

MALARDALENS UNIVERSITET No se ha especificado una descripción o un objeto social para esta compañía.

Presupuesto del proyecto 100K€

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

Descripción del proyecto Software is ubiquitous in the world we live in today, enabling the successful operation of systems ranging from every day appliances like microwave ovens, to complex mission critical systems like financial transaction management systems, fly-by-wire and drive-by-wire control systems and air traffic management. This ubiquitous use of software highlights the fact that the quality of the software is a direct determinant of the end success of the implemented system. V&V activities are crucial to the design, development and sustainment of mission-critical systems. In addition to accounting for a significant portion of both the cost and schedule aspects of the system lifecycle, V&V forms the basis for providing increased confidence in the fielded system. The high level objective of this project is to reduce the cost and schedule dimensions of mission critical systems development, while at the same time increasing confidence in the implemented system. . The approach adopted in this proposal, involves establishing traceability across pre-implementation artefacts such as the requirement specification, architecture specification and the implemented system. We will carry out fundamental research in defining formal semantics for the Advanced Architecture Description Language, and create algorithms to support specification based test case generation. The project will expand the theory base, and support active transfer of knowledge to Industry.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores