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.