Oct 22


Wecolme to the Blog of Aeolus, an ANR funded research project whose main objective is to tackle the scientic challenges that need to be solved in order to bridge the gap between Infrastructure as a Service and Platform as a Service solutions, by developing theory and tools to automate deployment, recon figuration, and upgrades of variable sized, non-homogeneous machine pools.

Dec 17

Aeolus Blender

We finally have Aeolus Blender that integrates in a unique solution the configuration optimizer Zephyrus, the ad-hoc  planner Metis, and the deployment engine Armonic. Aeolus Blender automatise the installation of cloud applications without relying on predefined recipes, but just on components used as building blocks to synthesize a fully functional configuration satisfying the user desiderata.

Aeolus Blender is easy to use and comes with a web graphical interface.

Nov 25

Workshop on cutting-edge technology for Cloud Automation

16th december 2014

5th floor, Room Orange

IRILL – 23 avenue d’Italie 75013 Paris

The team working on the Aeolus project organize a workshop, presenting a preview of the Aeolus project in the framework of the Free Software Thematic Group of the Systematic competitiveness cluster.
This is also the occasion to discover two complementary projects on Cloud automation: ConfSolve and Saloon.

More and more complex software services are using the Cloud, thanks to the availability of a growing supply of resources virtualized on demand, these being storage, computing power and software components .

But taking full advantage of the Cloud requires to choose platforms and plan the configuration of deployment and services, while optimizing resources to maximize the objectives and minimize costs. These tasks are still based today on a human activity which is expensive and not optimal.

This afternoon will be an opportunity to discover three complementary approaches and an overview of tools that allow to automate these tasks. You will attend the presentation of products and participate in a discussion about deployment issues whose goal is to allow you to define the specific needs in your field and make Aeolus a custom-made product.


  • The Aeolus Tools: From theory to Practice. Roberto Di CosmoAntoine Eiche
    We will present a component model to describe deployment information from the point of view of the application administrator and how this model can be used as input of Zephyrus and Metis, two tools developed within the Aeolus Project. Zephyrus exploits constraint solving techniques to compute an optimal allocation of the needed software components to (virtual) machines while Metis synthesizes, by means of an ad-hoc planning algorithm, the maximally parallel sequence of configuration actions to deploy the application. We will present how these tools have been applied to Armonic, the cloud deployment infrastructure of Mandriva working on top of OpenStack.
  • Declarative System Configurations with Constraints. Paul Anderson
    I will describe the background and advantages of a declarative approach to specifying system configurations. I will then show how constraint-based specifications and automated planning can be used to remove the need for imperative rules to handle reconfiguration and self-healing. I will also show how this can be used to avoid conflicts when multiple users are responsible for overlapping aspects. I will illustrate these with practical examples from the ConfSolve constraint-based configuration language.
  • SALOON: a Platform for Selecting and Configuring Cloud EnvironmentsClément Quinton
    Deploying an application to a cloud environment has recently become very trendy, since it offers many advantages such as improving reliability or scalability. These cloud environments provide a wide range of resources at different levels of functionality, which must be appropriately configured by stakeholders for the application to run properly. Handling this variability during the configuration and deployment stages is a complex and error-prone process, usually made in an ad hoc manner in existing solutions. With SALOON, we propose a software product lines based approach to face these issues. Combined with a domain model used to select among cloud environments a suitable one, our approach supports stakeholders while configuring the selected cloud environment in a consistent way, and automates the deployment of such configurations through the generation of executable deployment scripts.


13:45-14:00   : Arrival and registration of the participants

14:00-14:45   : The Aeolus Tools: From theory to Practice. Roberto Di Cosmo & Antoine Eiche

14:45-15:30   : Declarative System Configurations with Constraints. Paul Anderson

15:30-16:00   : Coffee break

16:00-16:45   : SALOON: a Platform for Selecting and Configuring Cloud Environments. Clément Quinton

16:45-17:15   : Industry roundtable

17:15-18:00   : Networking

To participate to this event please fill the form at the event website.

Sep 24

Aeolus Meeting in Paris – November 2014

On November 3rd and 4th the Aeolus team will meet in Paris.

Attending the meeting

The venue will be IRILL, as now customary (see http://www.irill.org/about/access).

Meeting rooms Orange 1 e 2 (5th floor) for the first day, Langages room for the second day.

The first day

Monday, November 4th: the general meeting, the orange room (salle orange)


  • 14.00 – 14.30: Presentation (Roberto di Cosmo)
  • 14.30 – 15.30: Tool chain description & demo (Antoine Eiche)
  • 15.30 – 16.00: Coffee breaks
  • 16.00 – 16.30: Talk by Arnaud (Title to be defined)
  • 16.30 – 17.00: Philosophy & considerations on Zephyrus (Jakub Zwolakowski)
  • 17.00 – 18.00: Final Report presentation & Discussions

The second day

Tuesday, November 4th


  • 9.30 – 11.00: Project management board
  • 11.00 – 16.00: Collaboration


Confirmed Attendees

  • Roberto Di Cosmo (UPD)
  • Stefano Zacchiroli (UPD)
  • Jakub Zwolakowski (UPD)
  • Gianluigi Zavattaro (INRIA)
  • Jacopo Mauro (UPD)
  • Antoine Eiche (MDV)
  • Stéphane Pointu (MDV) – only Tuesday
  • Ralf Treinen (UPD) – only Monday morning
  • Arnaud Malapert (UNSA)

May 12

Aeolus Project Meeting in Paris

On June 10th and 11th the Aeolus team will meet in Paris.

Attending the meeting

The venue will be IRILL, as now customary (see http://www.irill.org/about/access). Meeting rooms are on the 5th floor and there will be (free!) coffee on the 3rd floor.

The first day

Tuesday, June 10th : the general meeting 5th floor, the orange room (salle orange)


  • 9h30 – 10h00 : Registration
  • 10h00 – 13h00 : Presentations / Discussions (with little coffee breaks in between)
    • 10h00 – 11h00 : First Presentation On the complexity of reconfiguration in the Aeolus model (Jacopo Mauro)
    • 11h00 – 12h00 : Second Presentation Session about Aeolus toolchain integration (Jacopo Mauro, Antoine Eiche, Jakub Zwolakowski)
    • 12h00 – 13h00 : Discussion Aeolus tools architecture: integration layer (driver / pilot)
  • 13h00 – 14h30 : Lunch break
  • 14h30 – 18h00 : Discussions
    • 14h30 – 16h00 : Discussion Continuation of the discussion about the Aeolus tools architecture
    • 16h00 – 16h30 : Pause
    • 16h30 – 18h00 : Discussion Different ideas for more efficient constraint resolution (introduction by Jakub Zwolakowski)
  • 18h00 : Project management board (?)
  • 19h30 : A social event Restaurant Marty 20 Avenue des Gobelins, 75005 Paris

The second day

Wednesday, June 11th : the collaboration meeting 5th floor, the second green room (salle verte 2)


  • 10h00 – 16h00 : Collaboration

The second day of the Aeolus meeting is dedicated to collaboration in small groups around the different research and development areas. Please make sure that you stay at least until 16h in order to allow the collaboration to be fruitful.


  • Jean-Charles Régin (UNS): presence confirmed
  • Michel Rueher (UNS): absent
  • Arnaud Malapert (UNS): presence confirmed
  • Mohamed Rezgui (UNS): absent
  • Roberto Di Cosmo (UPD): presence confirmed
  • Stefano Zacchiroli (UPD): presence confirmed
  • Ralf Treinen (UPD): presence confirmed
  • Jakub Zwolakowski (UPD): presence confirmed
  • Michael Lienhardt (UPD): presence confirmed
  • Gianluigi Zavattaro (INRIA): presence confirmed
  • Jacopo Mauro (INRIA): presence confirmed
  • Stéphane Pointu (MDV): absent
  • Antoine Eiche (MDV): presence confirmed

Nov 12

Aeolus Project Meeting in Nice

On January 13th and 14th the Aeolus team will meet at the conference room of the laboratory I3S.

Attending the meeting

Laboratoire d’Informatique, Signaux et Systèmes de Sophia-Antipolis I3S – UMR7271 – UNS CNRS 2000, route des lucioles Les Algorithmes – bât. Euclide B 06900 Sophia Antipolis – France tél.: 33 (0)

To enjoy your trip, I would suggest that participants book a  hostel in the city center (near the sea, i.e. “la promenade des anglais”) or, at least, near a tram station. Beware that you will walk for 10 minutes to reach a 230 bus station if you stay near the port.

Program of the General Meeting 13th

Social dinner 13th

We will have a dinner at La Cambuse near the old city.

Program of the Collaboration Meeting 14th

This day is dedicated to collaboration in small groups around the different research and development areas. Please make sure you stay at least until 16h to allow the collaboration to be fruitful

Confirmed attendees

      • Jean-Charles Régin (UNS)
      • Michel Rueher (UNS)
      • Arnaud Malapert (UNS)
      • Mohamed Rezgui (UNS)
      • Roberto Di Cosmo (UPD)
      • Stefano Zacchiroli (UPD)
      • Ralf Treinen (UPD)
      • Jakub.Zwolakowski (UPD)
      • Michael Lienhardt (UPD)
      • Gianluigi Zavattaro (INRIA)
      • Tudor A. Lascu (INRIA)
      • Jacopo Mauro (INRIA)
      • Stéphane Pointu (MDV)
      • Antoine Eiche (MDV)


Jul 11

Aeolus project presentation scheduled at the CompatibleOne meeting

The Aeolus project presents its overall approach to Cloud automation, and show a demo of the Zephyrus tool  at the CompatibleOne project meeting in Paris on July 11 2013.

Jul 09

First demo of our proof of concept!

This video has been made by Mandriva, one of the Aeolus project stakeholders. In this video you will be able to watch a very interesting way to use two key Aeolus technologies: The Aeolus Deployment Engine (ADE) and the Zephyrus. The scenario highlighted in this video is the deployment of a WordPress farm.

AEOLUS first demo par Mandriva_videos

Stay tuned for more videos of the Aeolus project’s technologies as we’re moving forward with our research and development of these exciting technologies!

Jun 08

Aeolus project meeting in Bologna

On June 6th and 7th the Aeolus team gathered in the offices of the Computer Science department of Bologna to synchronise the work of the various partners.

cam00045A dense program of presentations and demos allowed to see how all the pieces of the complex puzzle that makes up the Aeolus revolutionary cloud configuration technology are falling into place.

Jan 17

Aeolus project meeting in Paris

Program of the General Meeting 17th


9h30-10h00  Registration

10h00-10h15 Overiew of the Aeolus objectives, tasks and organization (Roberto Di Cosmo, University Paris Diderot)

 10h15-12h00 Scientific Presentations

10h15-11h Mandriva and Nice on Pulse 2 – Arnaud Malapert, Michel Catan (45 min)

11h00-11h15 Coffee break

11h15-12h00 Aeolus decidability – Jacopo Mauro (45 min)

 12h00-14h30 Lunch break

 14h30-16h15 Scientific Presentations

14h30-15h15 Prototype for deployment – Michael Lienhardt, Jakub Zwolakowski (45 min)

15h15-16h Discussion on the open scientific issues : transition dependencies, constraints on reconfiguration, etc. plenary session (45 m)

16h15-16h30 Coffee break

 16h30-17h30 Meeting of the Project Management Board and free collaboration time

Program of the Collaboration Meeting 18th


This day is dedicated to collaboration in small groups around the different research and development areas. Please make sure you stay at least until 16h to allow the collaboration to be fruitful

 10h00-12h00 Package server location problem and Aeolus model workshop

Confirmed attendees


  • Roberto Di Cosmo (UPD)
  • Stefano Zacchiroli (UPD)
  • Jakub Zwolakowski (UPD)
  • Gianluigi Zavattaro (INRIA)
  • Jacopo Mauro (INRIA)
  • Alexndro Tudor-Lascu (INRIA)
  • Michael Lienhard (INRIA)
  • Jean-Charles Régin (UNS)
  • Arnaud Malapert (UNS)
  • Michel Catan (MDV)
  • Antoine Aiche (MDV)
  • Ralf Treinen (UPD) [not on thursday afternoon]
  • Rezgui Mohamed (UNS)