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

MEALS

Financiado

Cerrado

Mobility between Europe and Argentina applying Logics to Systems

Computing systems are getting ever more ubiquitous, making us dependent on their proper functioning. Therefore we require that they are correct (i.e. they conform their intended behavior), safe (i.e.its operation does not have cat... ver más

30/09/2015

USAAR

573K€

Presupuesto del proyecto: 573K€

Líder del proyecto

UNIVERSITAT DES SAARLANDES 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 7 Participantes

Financiación concedida El organismo FP7 notifico la concesión del proyecto el día 2015-09-30 No tenemos la información de la convocatoria

0% 100% 100%

Información adicional privada

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

7 Participantes

USAAR

0.00€ | Lider

ULEIC

N.D. | Participante

TU/e

N.D. | Participante

Proyectos interesantes

ADVANCE

Software

Cybersecurity

4M€ Cerrado

ALGOCERT

Software

Cybersecurity

185K€ Cerrado

AutoProbe

Software

Cybersecurity

2M€ Cerrado

CHORDS

Software

Software Testin...

2M€ Cerrado

PROOFCERT

Software

Cybersecurity

2M€ Cerrado

SYMBIOSYS

Software

Cybersecurity

2M€ 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

UNIVERSITAT DES SAARLANDES No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 573K€

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

Descripción del proyecto Computing systems are getting ever more ubiquitous, making us dependent on their proper functioning. Therefore we require that they are correct (i.e. they conform their intended behavior), safe (i.e.its operation does not have catastrophic consequences), reliable, available to provide the intended service, and secure (i.e., no user without appropriate clearance can access or modify protected data). Guarantees for such charcteristics rely on rigid specification and analysis techniques for both the required system functionality as well as its behavior. Formal methods provide a mathematical approach to model, understand, and analyze systems, especially at early development stages. In this project we focus on three aspects of formal methods: specification, verification, and synthesis. We consider the study of both qualitative behavior and quantitative behavior (extended with probabilistic information). We aim to study formal methods in all their aspects: foundations (their mathematical and logical basis), algorithmic advances (the conceptual basis for software tool support) and practical considerations (tool construction and case studies). The MEALS project includes five tightly interconnected thematic work packages. They focus on quantitative analysis of concurrent program behaviour (WP1), reasoning tasks for specification and verification (WP2), security and information flow properties (WP3), synthesis in model-based systems engineering (WP4) and foundations for the elaboration and analysis of requirements specifications (WP5). The crosscutting concern of all these work packages is the development of formal techniques for the specification, verification and synthesis of dependable ubiquitous computing systems. Five carefully planned MEALS gatherings and workshops give the project an effectve structure for knowledge transfer, communitiy building, and result dissemination, aimed at a sustained transcontinental collaboration.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores