A computational field framework for collaborative task execution in volunteer clouds

Sebastio, Stefano; Amoretti, Michele; Lafuente, Alberto Lluch

doi:10.1145/2593929.2593943

Cited by 23 publications

(31 citation statements)

References 29 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We also intend to investigate how the approach behaves in presence of different cloud platforms (e.g., federated clouds [21]), services, and alternative ways of expressing the SLOs. Finally, another possible follow-up work is to extend our approach to decentralized cloud systems to improve the scalability and resistance to dynamism, which may contribute to support new emerging cloud paradigms such as volunteer clouds [26] and edge clouds [7,25].…”

Section: Discussionmentioning

confidence: 99%

OptiSpot: minimizing application deployment cost using spot cloud resources

Dubois

Casale

2016

Cluster Comput

View full text Add to dashboard Cite

The spot instance model is a virtual machine pricing scheme in which some resources of cloud providers are offered to the highest bidder. This leads to the formation of a spot price, whose fluctuations can determine customers to be overbid by other users and lose the virtual machine they rented. In this paper we propose OptiSpot, a heuristic to automate application deployment decisions on cloud providers that offer the spot pricing model. In particular, with our approach it is possible to determine: (i) which and how many resources to rent in order to run a cloud application, (ii) how to map the application components to the rented resources, and (iii) what spot price bids to use to minimize the total cost while maintaining an acceptable level of performance. To drive the decision making, our algorithm combines a multi-class queueing network model of the application with a Markov model that describes the stochastic evolution of the spot price and its influence on virtual machine reliability. We show, using a model developed for a real enterprise application and historical traces of the Amazon EC2 spot instance prices, that our heuristic finds low cost solutions that indeed guarantee the required levels of performance. The performance of our heuristic method is compared to that of nonlinear programming and shown to markedly accelerate the finding of low-cost optimal solutions.

show abstract

Section: Discussionmentioning

confidence: 99%

OptiSpot: minimizing application deployment cost using spot cloud resources

Dubois

Casale

2016

Cluster Comput

View full text Add to dashboard Cite

show abstract

“…It allows easy integration with any existing discrete event simulator or formalism catering for probabilistic simulations. It has already been used successfully in the analysis of a broad variety of scenarios, including public transportation systems [25], volunteer clouds [33], crowd-steering [30], swarm robotics [11], opportunistic network protocols [3], contract-oriented middleware [5] and software product lines [8,9].…”

Section: 5)f + (Replace(d H) 3)f + (Replace(h D ) 3)f D ⌘ (Dmentioning

confidence: 99%

Statistical Model Checking for Product Lines

Beek

Legay

Lafuente³

et al. 2016

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Self Cite

View full text Add to dashboard Cite

Abstract. We report on the suitability of statistical model checking for the analysis of quantitative properties of product line models by an extended treatment of earlier work by the authors. The type of analysis that can be performed includes the likelihood of specific product behaviour, the expected average cost of products (in terms of the attributes of the products' features) and the probability of features to be (un)installed at runtime. The product lines must be modelled in QFLan, which extends the probabilistic feature-oriented language PFLan with novel quantitative constraints among features and on behaviour and with advanced feature installation options. QFLan is a rich process-algebraic specification language whose operational behaviour interacts with a store of constraints, neatly separating product configuration from product behaviour. The resulting probabilistic configurations and probabilistic behaviour converge in a discrete-time Markov chain semantics, enabling the analysis of quantitative properties. Technically, a Maude implementation of QFLan, integrated with Microsoft's SMT constraint solver Z3, is combined with the distributed statistical model checker MultiVeStA, developed by one of the authors. We illustrate the feasibility of our framework by applying it to a case study of a product line of bikes.

show abstract

“…The analysis algorithms of MultiVeStA do not depend on the underlying simulation engine: MultiVeStA only makes the assumption that multiple discrete event simulations can be performed on the input model. The tool has been used to reason about public transportation systems [26], volunteer clouds [50], crowd-steering [41] and robotic collision avoidance [5] scenarios. Note however that MISSCEL is an executable operational semantics for SCEL, and as such, given a SCEL specification representing a system's state (i.e.…”

Section: Maude-based Verificationmentioning

confidence: 99%

The SCEL Language: Design, Implementation, Verification

Nicola

Latella

Lafuente

et al. 2015

Software Engineering for Collective Autonomic Systems

View full text Add to dashboard Cite

Abstract. SCEL (Service Component Ensemble Language) is a new language specifically designed to rigorously model and program autonomic components and their interaction, while supporting formal reasoning on their behaviors. SCEL brings together various programming abstractions that allow one to directly represent aggregations, behaviors and knowledge according to specific policies. It also naturally supports programming interaction, self-awareness, context-awareness, and adaptation. The solid semantic grounds of the language is exploited for developing logics, tools and methodologies for formal reasoning on system behavior to establish qualitative and quantitative properties of both the individual components and the overall systems.

show abstract

A computational field framework for collaborative task execution in volunteer clouds

Cited by 23 publications

References 29 publications

OptiSpot: minimizing application deployment cost using spot cloud resources

OptiSpot: minimizing application deployment cost using spot cloud resources

Statistical Model Checking for Product Lines

The SCEL Language: Design, Implementation, Verification

Contact Info

Product

Resources

About