论文《一种面向CPS软件的可信性评估框架 - 第五届江苏计算机大会》提出了一种针对信息物理系统（CPS）软件的可信性评估方法。该框架从安全性、可靠性与可用性等多个维度出发，结合形式化验证与实证分析，为CPS软件提供系统化的可信性评价体系。研究旨在提升CPS系统的整体可信水平，保障其在关键应用中的稳定运行。
举报
