MODELING VERIFICATION AND ANALYSIS OF CONCURRENT PROBABILISTIC REVERSIBLE SYSTEMS

This thesis addresses the problem of modeling and analysis of the distributed systems under the probabilistic and reversible environment. On the theoretical side a mathematical model named as Concurrent reversible probabilistic automata (CPRA) is presented here. In this scenario, CPRA implements...

Full description

Main Author: ,, ARPIT
Format: Thesis
Language: English
Institution: Universiti Teknologi Petronas
Record Id / ISBN-0: utp-utpedia.21471 /
Published: 2015
Subjects:
QA75 Electronic computers. Computer science
Online Access: http://utpedia.utp.edu.my/21471/1/2015-IT-MODELING%20VERIFICATION%20AND%20ANALYSIS%20OF%20CONCURRENT%20PROBABILISTIC%20REVERSIBLE%20SYSTEMS-ARPIT.pdf
http://utpedia.utp.edu.my/21471/
Tags: Add Tag
No Tags, Be the first to tag this record!
id utp-utpedia.21471
recordtype eprints
spelling utp-utpedia.214712021-09-20T09:01:45Z http://utpedia.utp.edu.my/21471/ MODELING VERIFICATION AND ANALYSIS OF CONCURRENT PROBABILISTIC REVERSIBLE SYSTEMS ,, ARPIT QA75 Electronic computers. Computer science This thesis addresses the problem of modeling and analysis of the distributed systems under the probabilistic and reversible environment. On the theoretical side a mathematical model named as Concurrent reversible probabilistic automata (CPRA) is presented here. In this scenario, CPRA implements both internal as well as external non-determinism. CPRA implements reversibility by introducing a memory structure organized in the form of stack. Memories take care of backward synchronization and at the same time maximally flexible. This fact is proved under the consistency of the memories. The resolution of the non-determinism is necessary for the probabilistic analysis which leads to the probabilistic characterization of the traces of the CPRA. Hence, a probability measure space has been constructed on the set of infinite traces of the CPRA. The probability measure space developed here is true irrespective of how non-determinism is resolved. 2015-06 Thesis NonPeerReviewed application/pdf en http://utpedia.utp.edu.my/21471/1/2015-IT-MODELING%20VERIFICATION%20AND%20ANALYSIS%20OF%20CONCURRENT%20PROBABILISTIC%20REVERSIBLE%20SYSTEMS-ARPIT.pdf ,, ARPIT (2015) MODELING VERIFICATION AND ANALYSIS OF CONCURRENT PROBABILISTIC REVERSIBLE SYSTEMS. Masters thesis, Universiti Teknologi PETRONAS.
institution Universiti Teknologi Petronas
collection UTPedia
language English
topic QA75 Electronic computers. Computer science
spellingShingle QA75 Electronic computers. Computer science
,, ARPIT
MODELING VERIFICATION AND ANALYSIS OF CONCURRENT PROBABILISTIC REVERSIBLE SYSTEMS
description This thesis addresses the problem of modeling and analysis of the distributed systems under the probabilistic and reversible environment. On the theoretical side a mathematical model named as Concurrent reversible probabilistic automata (CPRA) is presented here. In this scenario, CPRA implements both internal as well as external non-determinism. CPRA implements reversibility by introducing a memory structure organized in the form of stack. Memories take care of backward synchronization and at the same time maximally flexible. This fact is proved under the consistency of the memories. The resolution of the non-determinism is necessary for the probabilistic analysis which leads to the probabilistic characterization of the traces of the CPRA. Hence, a probability measure space has been constructed on the set of infinite traces of the CPRA. The probability measure space developed here is true irrespective of how non-determinism is resolved.
format Thesis
author ,, ARPIT
author_sort ,, ARPIT
title MODELING VERIFICATION AND ANALYSIS OF CONCURRENT PROBABILISTIC REVERSIBLE SYSTEMS
title_short MODELING VERIFICATION AND ANALYSIS OF CONCURRENT PROBABILISTIC REVERSIBLE SYSTEMS
title_full MODELING VERIFICATION AND ANALYSIS OF CONCURRENT PROBABILISTIC REVERSIBLE SYSTEMS
title_fullStr MODELING VERIFICATION AND ANALYSIS OF CONCURRENT PROBABILISTIC REVERSIBLE SYSTEMS
title_full_unstemmed MODELING VERIFICATION AND ANALYSIS OF CONCURRENT PROBABILISTIC REVERSIBLE SYSTEMS
title_sort modeling verification and analysis of concurrent probabilistic reversible systems
publishDate 2015
url http://utpedia.utp.edu.my/21471/1/2015-IT-MODELING%20VERIFICATION%20AND%20ANALYSIS%20OF%20CONCURRENT%20PROBABILISTIC%20REVERSIBLE%20SYSTEMS-ARPIT.pdf
http://utpedia.utp.edu.my/21471/
_version_ 1741195748360323072
score 11.62408

Similar Items