• Coordinator: Christian Perez (LIP/Inria)
• Participants: K. Altisen (Verimag/UGA), A. Beynier (LIP6/SU), E. Caron (LIP/ENS Lyon), S. Devismes (Verimag/UGA), A. Durand (Univ. Clermont Auvergne/LIMOS), E. Jeanneau (LIP/UCBL), C. Perez (LIP/Inria), F. Petit (LIP6/SU), and hired PhD Student 1.

Description:

This workpackage gathers all the modeling endeavors needed by the SKYDATA project. Modeling has several aspects in SKYDATA : first, we should model the system, Self-Managed Data, the services, and their relationships; second, we need to formalize a semantics of the system for the design, validation, and analysis of the distributed algorithms that will be developed in WP2. Task 1.1 is a general task that will provide a common understanding on existing modeling approaches. Task 1.2 targets the first objective, while Task 1. will focus on the semantics. Every task in WP1 starts from the beginning of the project since their results are required in many other tasks. Task 1.1 consists in a bibliographical study and will last only 6 months. Task 1.2 is planned for 3 years as it is expected to be impacted by WP2 and WP3: their results may need to adjust the models to keep them simple while enabling efficient implementation. Finally, Task 1.3 is planned for 18 months and greatly overlaps the beginning of WP2 to experiment and calibrate the model with the early designed algorithms of this workpackage.