@inproceedings{8594a0c30671414c955694231154845e,
title = "Model Checking of Systems with Unreliable Machines Using PRISM",
abstract = "A system with two machines and one buffer is common in many fields. However, the machines cannot be always stable. This paper introduces a system consisting of two unreliable machines and one buffer, which is applied in a manufacturing factory. The evaluation of its reliability and performance will be discussed using a model checking software called PRISM. The model is based on the Continuous-time Markov chain.",
keywords = "CTMC, Model checking, PRISM, Reprogramming System",
author = "Xinze Huang and Zhenyuan Ding and Zijian Bi and Yili Wang and Kai Zheng and Xin Huang",
note = "Publisher Copyright: {\textcopyright} 2018 IEEE.; 9th International Conference on Information Technology in Medicine and Education, ITME 2018 ; Conference date: 19-10-2018 Through 21-10-2018",
year = "2018",
month = dec,
day = "26",
doi = "10.1109/ITME.2018.00195",
language = "English",
series = "Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "872--876",
booktitle = "Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018",
}