状态再现系统、状态再现程序、安全检查系统和安全检查程序

摘要

状态再现装置(200)按照取得场景中指定的转变顺序，使得主装置(421)与各副装置(422、423)之间产生使状态组转变的通信。状态再现装置记录在主装置与各副装置之间产生的各通信。状态再现装置在取得场景中指定的各取得时刻取得快照组。状态再现装置根据所取得的各快照组和所记录的各通信，以再现状态组中的状态分别再现所述主装置和各副装置。