MEALS : Différence entre versions
imported>Thierry Daunois |
imported>Thierry Daunois |
||
Ligne 36 : | Ligne 36 : | ||
===Coordinateur du projet=== | ===Coordinateur du projet=== | ||
− | * [[A pour partenaire GR de projet européen::Université de la Sarre]] - Sarrebruck ([[A pour région partenaire de projet européen::Sarre (Land)|Sarre]] - [[A pour pays | + | * [[A pour partenaire GR de projet européen::Université de la Sarre]] - Sarrebruck ([[A pour région partenaire de projet européen::Sarre (Land)|Sarre]] - [[A pour pays coordinateur de projet européen::Allemagne| ]][[A pour pays partenaire de projet européen::Allemagne]]) |
===Partenaires du projet=== | ===Partenaires du projet=== |
Version actuelle datée du 2 mars 2018 à 16:04
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 |
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[1].
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 : 1er octobre 2011
- Date de fin : 30 septembre 2015
Notes
- ↑ La fiche du projet sur CORDIS