The Community for Technology Leaders
2014 12th International Conference on Frontiers of Information Technology (FIT) (2014)
Islamabad, Pakistan
Dec. 17, 2014 to Dec. 19, 2014
ISBN: 978-1-4799-7504-4
pp: 355-360
Weather forecasting provides an important information for general public. Analysis of weather forecasting models, through traditional simulation techniques, are not exhaustive and thus not accurate. Probabilistic model checking, a formal methods technique, as a complementary approach provides an accurate analysis for probabilistic models. In this paper, we have analyzed a simple probabilistic weather forecasting model for Islamabad weather using PRISM model checker. The reach ability and prediction capability of model has been analyzed using quantitative and qualitative properties in PRISM. Analysis shows that all the states of weather forecasting model are reachable and model is biased. In addition, we have also implemented this model in MATLAB and compared the results of both implementation, quantitatively. We have also presented a comparison between PRISM and MATLAB implementation of weather forecasting model, qualitatively.
Mathematical model, Markov processes, Predictive models, Weather forecasting, Analytical models, MATLAB,Weather Forecasting, Formal Methods, PRISM
Asad Ahmed, Adnan Rashid, Sohail Iqbal, "Analysis of Weather Forecasting Model in PRISM", 2014 12th International Conference on Frontiers of Information Technology (FIT), vol. 00, no. , pp. 355-360, 2014, doi:10.1109/FIT.2014.73
97 ms
(Ver 3.3 (11022016))