Towards a Statistical Model Checking Method for Safety-Critical Cyber-Physical System Verification

Algorithm 2

Safety verification algorithm.

	Input: , The number of samples.
	Input: , the true path distribution parameter of SCCPS.
	Input: , the optimal parameters calculated by Algorithm 1.
	Output: , Probability of SCCPS meeting safety attributes.
(1)	Function verifyingAlg (, , )
(2)	A = 0, i = 1
(3)	while do
(4)	generate a path according to the pdf
(5)	if then
(6)	:
(7)	;
(8)	i = i + 1
(9)	return