MODELING VERIFICATION AND ANALYSIS OF CONCURRENT PROBABILISTIC REVERSIBLE SYSTEMS

,, ARPIT (2016) MODELING VERIFICATION AND ANALYSIS OF CONCURRENT PROBABILISTIC REVERSIBLE SYSTEMS. Masters thesis, Universiti Teknologi PETRONAS.

[thumbnail of 2015-IT-MODELING VERIFICATION AND ANALYSIS OF CONCURRENT PROBABILISTIC REVERSIBLE SYSTEMS-ARPIT.pdf] PDF
2015-IT-MODELING VERIFICATION AND ANALYSIS OF CONCURRENT PROBABILISTIC REVERSIBLE SYSTEMS-ARPIT.pdf
Restricted to Registered users only

Download (7MB)

Abstract

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.

Item Type: Thesis (Masters)
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments / MOR / COE: Sciences and Information Technology > Computer and Information Sciences
Depositing User: Mr Ahmad Suhairi Mohamed Lazim
Date Deposited: 20 Sep 2021 09:01
Last Modified: 24 Jul 2024 07:18
URI: http://utpedia.utp.edu.my/id/eprint/21471

Actions (login required)

View Item
View Item