Timed CTL checking of time critical cloud applications using timed bigraphs Online publication date: Tue, 21-Apr-2020
by Fateh Latreche; Faiza Belala
International Journal of Critical Computer-Based Systems (IJCCBS), Vol. 9, No. 4, 2019
Abstract: Controlling cloud resources provisioning for time critical applications is crucial to meet required quality of service (QoS) of modern applications. Both computational resources capabilities and network bandwidth should be considered to accurately serve practical needs, while complying relevant constraints. The objective of this work is to show how to add time constructs to the bigraphical reactive systems (BRSs) formalism, in order to describe and analyse the execution of cloud applications having temporal constraints. In particular, we are interested in the cloud resource allocation problem to meet end user requests while considering network deadline, as well as the service processing time. The proposed time-aware BRS model is then integrated in the Real-Time Maude language and its TCTL model checker in order to obtain an executable and analysable specification of cloud applications having temporal constraints.
Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Critical Computer-Based Systems (IJCCBS):
Login with your Inderscience username and password:
Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.
If you still need assistance, please email subs@inderscience.com
Our Blog 
Follow us on Twitter 
Visit us on Facebook