Matches in SemOpenAlex for { <https://semopenalex.org/work/W4281489699> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W4281489699 abstract "Abstract Microservices can independently adjust their capacity to match demand while the autoscaling feature in cloud computing facilitates the users (i.e., developers) to provision resources required by their applications with less human intervention. Kubernetes is one of the well-known technologies used to deploy microservice-based applications and many autoscaling methods have been proposed to improve the behavior of its Horizontal Pod Autoscaler (HPA). Despite many research efforts have been recently devoted to investigate microservice autoscaling, there is still a lack of studies that consider the correctness of the scaling decision as well as the effect of the scaling process on host energy consumption and system scalability factors. Therefore, in this work we aim to take into account formal verification in the microservice autoscaling decision-making process by utilizing Markov Decision Process (MDP) and probabilistic model checking. To this end, we propose five MDP model variations, inspired by the scaling behavior of Kubernetes-based HPA, analyze the performance of the models from a combination of metrics. The Base Model is built by considering the CPU utilization metric in decision making, while the other models extend it by including several additional metrics to enhance the decision (i.e., latency, response time, energy consumption, and performance change). We use the PRISM-games model checker for the analysis purpose by verifying the properties specified in Probabilistic Computation Tree Logic (PCTL). Through our experiments, the decision made by the Full Model which considers all the metrics has outperformed the other models in terms of minimizing the energy consumption and leading to a good scalability level (i.e. scalability near to 1)." @default.
- W4281489699 created "2022-05-26" @default.
- W4281489699 creator A5008165239 @default.
- W4281489699 creator A5047108954 @default.
- W4281489699 creator A5087444446 @default.
- W4281489699 date "2022-05-25" @default.
- W4281489699 modified "2023-09-24" @default.
- W4281489699 title "Modeling and Verifying Microservice Autoscaling Using Probabilistic Model Checking" @default.
- W4281489699 doi "https://doi.org/10.21203/rs.3.rs-1682990/v1" @default.
- W4281489699 hasPublicationYear "2022" @default.
- W4281489699 type Work @default.
- W4281489699 citedByCount "0" @default.
- W4281489699 crossrefType "posted-content" @default.
- W4281489699 hasAuthorship W4281489699A5008165239 @default.
- W4281489699 hasAuthorship W4281489699A5047108954 @default.
- W4281489699 hasAuthorship W4281489699A5087444446 @default.
- W4281489699 hasBestOaLocation W42814896991 @default.
- W4281489699 hasConcept C105795698 @default.
- W4281489699 hasConcept C106189395 @default.
- W4281489699 hasConcept C110251889 @default.
- W4281489699 hasConcept C111919701 @default.
- W4281489699 hasConcept C11413529 @default.
- W4281489699 hasConcept C119599485 @default.
- W4281489699 hasConcept C120314980 @default.
- W4281489699 hasConcept C127413603 @default.
- W4281489699 hasConcept C154945302 @default.
- W4281489699 hasConcept C159886148 @default.
- W4281489699 hasConcept C2780165032 @default.
- W4281489699 hasConcept C33923547 @default.
- W4281489699 hasConcept C41008148 @default.
- W4281489699 hasConcept C48044578 @default.
- W4281489699 hasConcept C49937458 @default.
- W4281489699 hasConcept C55439883 @default.
- W4281489699 hasConcept C77088390 @default.
- W4281489699 hasConcept C79974875 @default.
- W4281489699 hasConcept C80444323 @default.
- W4281489699 hasConceptScore W4281489699C105795698 @default.
- W4281489699 hasConceptScore W4281489699C106189395 @default.
- W4281489699 hasConceptScore W4281489699C110251889 @default.
- W4281489699 hasConceptScore W4281489699C111919701 @default.
- W4281489699 hasConceptScore W4281489699C11413529 @default.
- W4281489699 hasConceptScore W4281489699C119599485 @default.
- W4281489699 hasConceptScore W4281489699C120314980 @default.
- W4281489699 hasConceptScore W4281489699C127413603 @default.
- W4281489699 hasConceptScore W4281489699C154945302 @default.
- W4281489699 hasConceptScore W4281489699C159886148 @default.
- W4281489699 hasConceptScore W4281489699C2780165032 @default.
- W4281489699 hasConceptScore W4281489699C33923547 @default.
- W4281489699 hasConceptScore W4281489699C41008148 @default.
- W4281489699 hasConceptScore W4281489699C48044578 @default.
- W4281489699 hasConceptScore W4281489699C49937458 @default.
- W4281489699 hasConceptScore W4281489699C55439883 @default.
- W4281489699 hasConceptScore W4281489699C77088390 @default.
- W4281489699 hasConceptScore W4281489699C79974875 @default.
- W4281489699 hasConceptScore W4281489699C80444323 @default.
- W4281489699 hasLocation W42814896991 @default.
- W4281489699 hasOpenAccess W4281489699 @default.
- W4281489699 hasPrimaryLocation W42814896991 @default.
- W4281489699 hasRelatedWork W1543150587 @default.
- W4281489699 hasRelatedWork W1596010778 @default.
- W4281489699 hasRelatedWork W1605167062 @default.
- W4281489699 hasRelatedWork W2134424614 @default.
- W4281489699 hasRelatedWork W2159705110 @default.
- W4281489699 hasRelatedWork W2364921833 @default.
- W4281489699 hasRelatedWork W2385146268 @default.
- W4281489699 hasRelatedWork W2950723509 @default.
- W4281489699 hasRelatedWork W3023655513 @default.
- W4281489699 hasRelatedWork W4287780611 @default.
- W4281489699 isParatext "false" @default.
- W4281489699 isRetracted "false" @default.
- W4281489699 workType "article" @default.