General information
Organisation
The French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, development and innovation in four main areas :
• defence and security,
• nuclear energy (fission and fusion),
• technological research for industry,
• fundamental research in the physical sciences and life sciences.
Drawing on its widely acknowledged expertise, and thanks to its 16000 technicians, engineers, researchers and staff, the CEA actively participates in collaborative projects with a large number of academic and industrial partners.
The CEA is established in ten centers spread throughout France
Reference
SL-DRT-24-0755
Direction
DRT
Thesis topic details
Category
Technological challenges
Thesis topics
A formal framework for the specification and verification of distributed processes communication flows in clouds
Contract
Thèse
Job description
Clouds are constituted of servers interconnected via the Internet, on which systems can be implemented, making use of applications and databases deployed on the servers. Cloud-based computing is gaining in popularity, and that includes the context of critical systems. As a result, it is useful to define formal frameworks for reasoning about cloud-based systems. One requirement about such a framework is that it enables reasoning about the concepts manipulated in a cloud, which naturally includes the ability to reason about distributed systems, composed of subsystems deployed on different machines and interacting through message passing to implement services. In this context, the ability to reason about communication flows is central. The aim of this thesis is to define a formal framework dedicated to the specification and verification of systems deployed on clouds. This framework will capitalize on the formal framework of 'interactions'. Interactions are models dedicated to the specification of communication flows between different actors in a system. The thesis work will study how to define structuring (enrichment, composition) and refinement operators to enable the implementation of classical software engineering processes based on interactions.
University / doctoral school
Sciences et Technologies de l’Information et de la Communication (STIC)
Ecole Centrale Paris
Thesis topic location
Site
Saclay
Requester
Position start date
01/09/2024
Person to be contacted by the applicant
GASTON Christophe christophe.gaston@cea.fr
CEA
DRT/DILS//LECS
CEA/Saclay
01 69 08 34 82
Tutor / Responsible thesis director
LEGALL Pascale pascale.legall@ecp.fr
CentraleSupélec
Laboratoire de Mathématiques et Informatique pour la Complexité et les Systèmes (MICS)
CentraleSupélec - Université de Paris-Saclay
9 rue Joliot-Curie, F-91192 Gif-sur-Yvette Cedex
En savoir plus