000			02399nam a22001337a 4500
999			_c56062 _d56059
100			_aBather, Jai Ram Das _a14MS(IT)24 _aSupervisor Dr. Akhtar Hussain Jalbani
245			_aDesign and Simulation Of Computer Based Model For Post Examination Prccess
260			_aNawabshah: _bQUEST, _c2016.
300			_a57p, :
500			_aABSTRACT 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.
700			_aDepartment of Information Technology
856			_uhttps://tinyurl.com/4xebneeh
942			_cTHESIS