scholarly journals Petri Net based modeling and analysis for improved resource utilization in cloud computing

2021 ◽  
Vol 7 ◽  
pp. e351
Author(s):  
Muhammad Rizwan Ali ◽  
Farooq Ahmad ◽  
Muhammad Hasanain Chaudary ◽  
Zuhaib Ashfaq Khan ◽  
Mohammed A. Alqahtani ◽  
...  
Keyword(s):  
Petri Net ◽  
Data Centers ◽  
Service Providers ◽  
Formal Model ◽  
Formal Analysis ◽  
Data Availability ◽  
Erasure Codes ◽  
Modeling And Analysis ◽  
Data Object ◽  
Cloud Storage Service

The cloud is a shared pool of systems that provides multiple resources through the Internet, users can access a lot of computing power using their computer. However, with the strong migration rate of multiple applications towards the cloud, more disks and servers are required to store huge data. Most of the cloud storage service providers are replicating full copies of data over multiple data centers to ensure data availability. Further, the replication is not only a costly process but also a wastage of energy resources. Furthermore, erasure codes reduce the storage cost by splitting data in n chunks and storing these chunks into n + k different data centers, to tolerate k failures. Moreover, it also needs extra computation cost to regenerate the data object. Cache-A Replica On Modification (CAROM) is a hybrid file system that gets combined benefits from both the replication and erasure codes to reduce access latency and bandwidth consumption. However, in the literature, no formal analysis of CAROM is available which can validate its performance. To address this issue, this research firstly presents a colored Petri net based formal model of CAROM. The research proceeds by presenting a formal analysis and simulation to validate the performance of the proposed system. This paper contributes towards the utilization of resources in clouds by presenting a comprehensive formal analysis of CAROM.

Improved Proofs Of Retrievability And Replication For Data Availability In Cloud Storage

2020 ◽  
Vol 63 (8) ◽  
pp. 1216-1230 ◽  
Author(s):  
Wei Guo ◽  
Sujuan Qin ◽  
Jun Lu ◽  
Fei Gao ◽  
Zhengping Jin ◽  
...  
Keyword(s):  
Service Providers ◽  
Cloud Service ◽  
Data Availability ◽  
Forgery Attack ◽  
Common Strategy ◽  
Comparable Performance ◽  
Replication Scheme ◽  
High Level ◽  
Cloud Users ◽  
Proofs Of Retrievability

Abstract For a high level of data availability and reliability, a common strategy for cloud service providers is to rely on replication, i.e. storing several replicas onto different servers. To provide cloud users with a strong guarantee that all replicas required by them are actually stored, many multi-replica integrity auditing schemes were proposed. However, most existing solutions are not resource economical since users need to create and upload replicas of their files by themselves. A multi-replica solution called Mirror is presented to overcome the problems, but we find that it is vulnerable to storage saving attack, by which a dishonest provider can considerably save storage costs compared to the costs of storing all the replicas honestly—while still can pass any challenge successfully. In addition, we also find that Mirror is easily subject to substitution attack and forgery attack, which pose new security risks for cloud users. To address the problems, we propose some simple yet effective countermeasures and an improved proofs of retrievability and replication scheme, which can resist the aforesaid attacks and maintain the advantages of Mirror, such as economical bandwidth and efficient verification. Experimental results show that our scheme exhibits comparable performance with Mirror while achieving high security.

scholarly journals Reliability Modeling and Analysis of Reactor Protect System Based on Petri Net

2021 ◽  
Vol 1754 (1) ◽  
pp. 012059
Author(s):  
Dongliang Zhang ◽  
Kaiwen Zhang ◽  
Liufeng Wang ◽  
Qinqin Hong
Keyword(s):  
Petri Net ◽  
Reliability Modeling ◽  
Modeling And Analysis

scholarly journals Modeling and analysis of mission thread of weapon system of systems based on O-PPN

2021 ◽  
Vol 39 (1) ◽  
pp. 197-207
Author(s):  
Yuqi Chen ◽  
Tingxue Xu ◽  
Xiaotong Zhao ◽  
Cheng Lu
Keyword(s):  
Petri Net ◽  
Success Probability ◽  
Failure Criteria ◽  
Performance Degradation ◽  
Operation Performance ◽  
Modeling And Analysis ◽  
Reliability Parameters ◽  
Mission Success ◽  
Definition Of ◽  
Equipment System

Aiming at the problem that the current WSoS mission modeling and analysis methods are difficult to describe the property of multi-state of each equipment system, combining with Petri net and Markov process, an O-PPN based mission thread modeling and analysis method is proposed in this paper. Based on the definition of WSoS, the mission of WSoS is formally described. To improve the traditional Petri net, an operation performance Petri net (O-PPN) is constructed, in order to meet the modeling needs of the general mission thread of the WSoS; and aiming at the problems of the performance degradation of the equipment system and the possible "ahead of time" state, the performance degradation model of the equipment system based on Markov is constructed. The corresponding state probability set is obtained by inputting the reliability parameters of each equipment system. And according to the requirements of each operation in the mission thread for the performance level of each equipment system and combined with the mission success and failure criteria of the combat task and operation, the mission success probability of the whole WSoS is calculated. Finally, the feasibility of the proposed method is verified by the simulation of the case.

scholarly journals Multilayer networks as embodied consciousness interactions. A formal model approach.

2021 ◽  
Author(s):  
Camilo Miguel Signorelli ◽  
joaquin diaz boils
Keyword(s):  
Formal Model ◽  
Conscious Experience ◽  
Formal Analysis ◽  
Mathematical Formulation ◽  
Multilayer Networks ◽  
Topological Network ◽  
Binary Operator ◽  
Algebraic Interpretation ◽  
Embodied Consciousness ◽  
Model Approach

An algebraic interpretation of multilayer networks is introduced in relation to conscious experience, brain and body. The discussion is based on a network model for undirected multigraphs with coloured edges whose elements are time-evolving multilayers, representing complex experiential brain-body networks. These layers have the ability to merge by an associative binary operator, accounting for biological composition. As an extension, they can rotate in a formal analogy to how the activity inside layers would dynamically evolve. Under consciousness interpretation, we also studied a mathematical formulation of splitting layers, resulting in a formal analysis for the transition from conscious to non-conscious activity. From this construction, we recover core structures for conscious experience, dynamical content and causal efficacy of conscious interactions, predicting topological network changes after conscious layer interactions. Our approach provides a mathematical account of coupling and splitting layers co-arising with more complex experiences. These concrete results may inspire the use of formal studies of conscious experience not only to describe it, but also to obtain new predictions and future applications of formal mathematical tools.

Minimization of Energy Using Heuristic Resource Allocation and Migration for Cloud Computing

2021 ◽  
Vol 12 (1) ◽  
pp. 74-83
Author(s):  
Manjunatha S. ◽  
Suresh L.
Keyword(s):  
Cloud Computing ◽  
Data Center ◽  
Large Scale ◽  
Data Centers ◽  
Service Providers ◽  
Cost Effective ◽  
Cooling Systems ◽  
Operational Costs ◽  
Cloud Computing Service ◽  
And Migration

Data center is a cost-effective infrastructure for storing large volumes of data and hosting large-scale service applications. Cloud computing service providers are rapidly deploying data centers across the world with a huge number of servers and switches. These data centers consume significant amounts of energy, contributing to high operational costs. Thus, optimizing the energy consumption of servers and networks in data centers can reduce operational costs. In a data center, power consumption is mainly due to servers, networking devices, and cooling systems, and an effective energy-saving strategy is to consolidate the computation and communication into a smaller number of servers and network devices and then power off as many unneeded servers and network devices as possible.

Sign in / Sign up

Export Citation Format

Share Document