近日，计算机信息工程学院“高可信与智能化软件”科研团队左正康博士课题组的论文“Modeling and Verification Methods for Spatio-temporal Consistency of CPS in Uncertain Environment”被可靠性领域国际权威学术期刊《IEEE Transactions on Reliability》 (IEEE TR)接收，DOI: 10.1109/TR.2024.3384702。论文第一作者为2021级硕士生潘书琪，通讯作者为左正康副教授和谢武平博士，合作者为王昌晶教授、卢家兴副教授和黄箐副教授，江西师范大学为唯一完成单位。

论文提出了一种针对CPS（Cyber-Physical Systems）时空一致性的建模与验证方法，以解决现有研究中在处理不确定性方面存在的局限性问题。通过引入一种面向不确定环境下的CPS时空领域的建模语言，能够直观地描述CPS的时空约束和不确定性。进一步设计了时空一致性验证框架，使得相关时空属性的自动化验证成为可能。这一研究为CPS时空领域的安全研究和应用发展提供了重要的参考价值。

据悉，《IEEE Transactions on Reliability》是可靠性领域的权威期刊，一年仅出版四期，2023年影响因子为5.9，目前已成为国内外可靠性领域的旗舰期刊和可靠性前沿研究的风向标。