Objectif Cloud computing is being increasingly adopted by individuals, organizations, and governments. However, as the computations that are offloaded to the cloud expand to societal-critical services, the dependability requirements of cloud services become much higher, and we need to ensure that the infrastructure that supports these services is ready to meet these requirements. In particular, this proposal tackles the challenges that arise from two distinctive characteristic of the cloud infrastructure.The first is that non-crash faults, despite being considered highly unlikely by the designers of traditional systems, become commonplace at the scale and complexity of the cloud infrastructure. We argue that the current ad-hoc methods for handling these faults are insufficient, and that the only principled approach of assuming Byzantine faults is too pessimistic. Therefore, we call for a new systematic approach to tolerating non-crash, non-adversarial faults. This requires the definition of a new fault model, and the construction of a series of building blocks and key protocol elements that enable the construction of fault-tolerant cloud services.The second issue is that to meet their scalability requirements, cloud services spread their state across multiple data centers, and direct users to the closest one. This raises the issue that not all operations can be executed optimistically, without being aware of concurrent operations over the same data, and thus multiple levels of consistency must coexist. However, this puts the onus of reasoning about which behaviors are allowed under such a hybrid consistency model on the programmer of the service. We propose a systematic solution to this problem, which includes a novel consistency model that allows for developing highly scalable services that are fast when possible and consistent when necessary, and a labeling methodology to guide the programmer in deciding which operations can run at each consistency level. Programme(s) FP7-IDEAS-ERC - Specific programme: "Ideas" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013) Thème(s) ERC-SG-PE6 - ERC Starting Grant - Computer science and informatics Appel à propositions ERC-2012-StG_20111012 Voir d’autres projets de cet appel Régime de financement ERC-SG - ERC Starting Grant Institution d’accueil INESC ID - INSTITUTO DE ENGENHARIADE SISTEMAS E COMPUTADORES, INVESTIGACAO E DESENVOLVIMENTO EM LISBOA Contribution de l’UE € 551 473,26 Adresse RUA ALVES REDOL 9 1000 029 Lisboa Portugal Voir sur la carte Région Continente Área Metropolitana de Lisboa Área Metropolitana de Lisboa Type d’activité Research Organisations Contact administratif Luís Eduardo Teixeira Rodrigues (Prof.) Chercheur principal Rodrigo Seromenho Miragaia Rodrigues (Prof.) Liens Contacter l’organisation Opens in new window Site web Opens in new window Coût total Aucune donnée Bénéficiaires (2) Trier par ordre alphabétique Trier par contribution de l’UE Tout développer Tout réduire INESC ID - INSTITUTO DE ENGENHARIADE SISTEMAS E COMPUTADORES, INVESTIGACAO E DESENVOLVIMENTO EM LISBOA Portugal Contribution de l’UE € 551 473,26 Adresse RUA ALVES REDOL 9 1000 029 Lisboa Voir sur la carte Région Continente Área Metropolitana de Lisboa Área Metropolitana de Lisboa Type d’activité Research Organisations Contact administratif Luís Eduardo Teixeira Rodrigues (Prof.) Chercheur principal Rodrigo Seromenho Miragaia Rodrigues (Prof.) Liens Contacter l’organisation Opens in new window Site web Opens in new window Coût total Aucune donnée FACULDADE DE CIENCIAS E TECNOLOGIADA UNIVERSIDADE NOVA DE LISBOA Participation terminée Portugal Contribution de l’UE € 524 610,74 Adresse QUINTA DA TORRE 2829 516 CAPARICA Voir sur la carte Type d’activité Higher or Secondary Education Establishments Contact administratif Luis Gaspar (Dr.) Liens Contacter l’organisation Opens in new window Site web Opens in new window Coût total Aucune donnée