02399nam a22001337a 4500 56062 56059 Bather, Jai Ram Das 14MS(IT)24 Supervisor Dr. Akhtar Hussain Jalbani Design and Simulation Of Computer Based Model For Post Examination Prccess Nawabshah: QUEST, 2016. 57p, : ABSTRACT The performances of examinations process can be improved by automation which gives better customer services, better management, improved quality, saves time and resources as well as minimize the delay period of declaration of results. In this research work, a computer-based model for post examination process is designed and simulated and also the properties of the system are verified using model checking approach tool named "UPPAAL" This research study consists of analysis of Manual Model, analysis of Automated Model & comparative analysis of Manual Versus Automated Model for Post Examination Process. In the analysis of Manual & Automated Model, there are four phases of result processing of post examination (i) Assessment Process (ii) Tabulation Process (iii) Announcement Process (iv) Issuing of Gazette, certificates. In this research work the most important properties of Manual & Automated Model such as Dead lock/safety property, liveness property and reachability property are also verified. It is observed that total result processing time in automated model reduces by 37% as compared to manual model result processing time. There is 14.28% reducing number of states as compared to manual model and there is no chances of repetition of work and mistakes in Automated Model as compared to Manual Model which is 6.84% and 2.5% respectively. There is no cost of tabulation work and preparation of Marks certificates in automated model as compared to manual model. The proposed designed & simulated computer-based model for post examination process is most important nowadays which gives significant results, like management of the declaration of examination results saves the time of students, saves the cost and more reliable as well as ensuring the design correctness and avoid any disaster in future before implementation in the real-life scenario. This may impart for ISO certification which is requirement of HEC & PEC. Department of Information Technology https://tinyurl.com/4xebneeh THESIS 0 0 0 0 RESEARCH RESEARCH 2016-11-24 0 MP/15-142 2016-11-24 00:00:00 THESIS 0 0 0 0 RESEARCH RESEARCH 2023-12-05 0 MP/53-665 2023-12-05 00:00:00 2023-12-05 THESIS