Arléon Zemtsop has joined Spirals on the 1st of October as a Software Engineer working on the ANR SmartCloud project.
The SmartCloud project, among its broader objectives, aims to develop a coordination prototype based on behavioral models of Cloud Computing (CC) systems. These models will explicitly represent operational modes and resource usage with two primary goals: ensuring system safety through a control infrastructure and facilitating efficient resource utilization via monitoring and optimization.
To support these objectives, we are defining a new formalism for organizing architectural, behavioral, and quantitative information on CC systems, including hosted applications. This formalism follows the “MAPE-K” (Monitor-Analyze-Plan-Execute with Knowledge base) approach, enabling CC systems to adapt dynamically to environmental changes. Arléon will contribute to the design of a prototype tool that implements this formalism using JavaBIP.
This work is part of SmartCloud’s overarching mission to enhance the resilience, safety, and efficiency of Cloud infrastructures through a coordinated, model-based adaptation framework.