MEALS

MEALS
Titre :	Mobility between Europe and Argentina applying Logics to Systems
Budget :	573 k€
Subventions :	FP7-PEOPLE (573 k€)
Sous-programme :	Marie Curie
Type de contrat :	Marie Curie IRSES
Début :	1er octobre 2011
Fin :	30 septembre 2015
Retour à la liste des projets du programme

MEALS est l'acronyme du projet européen Mobility between Europe and Argentina applying Logics to Systems, qui a pour référence sur le service CORDIS 295261.

English description

Note : Les objectifs suivants sont repris de la fiche du projet sur Cordis

Objective

Computing systems are getting ever more ubiquitous, making us dependent on their proper functioning. Therefore we require that the Lare correct (i.e. they conform their intended behaviour), 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 characteristics rely on rigid specification and analysis techniques for both the required system functionality as well as its behaviour. 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 behaviour and quantitative behaviour (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 effective structure for knowledge transfer, community building, and result dissemination, aimed at a sustained transcontinental collaboration.

 

Les partenaires du projet

Coordinateur du projet

• Université de la Sarre - Sarrebruck (Sarre - Allemagne)

Partenaires du projet

• Imperial College of science, technology and medicine - Londres (Royaume-Uni)
• Rheinisch-Westfaelische Technische hochschule Aachen - Aix-la-Chapelle (Rhénanie-du-Nord-Westphalie - Allemagne)
• Université de Leicester - Leicester (Royaume-Uni)
• INRIA - LORIA - Nancy (France)
• Technische Universiteit Eindhoven - Eindhoven (Pays-Bas)
• Technische Universitaet Dresden - Dresde (Saxe - Allemagne)

Financement

• Coût total du projet : 573 300 €
• Subvention de la Commission européenne (programme FP7-IDEAS) : 573 300 €

Dates importantes

• Date de début : 1^er octobre 2011
• Date de fin : 30 septembre 2015