Analysis of SLA Compliance in the Cloud (VORTEX 2018)

Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands

Who

Frank S. de Boer, Elena Giachino, Stijn De Gouw, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve, Violet Ka I Pun, Gianluigi Zavattaro

Track

VORTEX 2018

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Tue 17 Jul 2018 16:45 - 17:15 at Bangkok - Session 3 Chair(s): Martin Leucker

Abstract

We describe an approach for SLA-aware deployment of services on the cloud. It is based on formal models combined with static analysis tools and generated runtime monitors. As such, it fits well within a DevOps methodology.

Frank S. de Boer

Centrum Wiskunde & Informatica, Leiden University

Elena Giachino

Stijn De GouwPresenter

Reiner Hähnle

Technical University of Darmstadt

Germany

Einar Broch Johnsen

University of Oslo

Cosimo Laneve

Violet Ka I Pun

Gianluigi Zavattaro