Semi-physical verification technology for dynamic performance of internet of things system. ([2019])