信息物理融合系统软件可信性演化动力学建模

Modeling Software Trustworthiness Evolution of Cyber-Physical Systems Using Nonlinear Dynamics

信息物理融合系统(CPS)软件可信性建模是CPS可信软件开发过程中至关重要的一环,现有的形式化方法、软件验证技术并不适合对CPS软件可信性动态演化进行描述和分析。在深入分析CPS可信软件动态演化过程的基础上,结合非线性动力学的基本理论和方法,研究CPS软件可信性演化的动力学机制,对CPS软件在内外双重因素影响下的可信性演化过程进行建模,并分析其可信性演化规律,为CPS软件可信性研究提供了一种新手段。通过对一个工业控制领域中CPS软件的建模与分析,验证了该方法的可行性。

Software trustworthiness is critical to assure the safety and effectiveness of Cyber-Physical Systems （CPS）. The formal methods and software verification technologies are not suitable for describing andanalyzing the software trustworthiness dynamic evolution of CPS. Based on the in-depth analysis of thesoftware trustworthiness dynamic evolution of CPS, the dynamics characteristics for software trustworthinessof CPS are analyzed by using nonlinear dynamics. The software trustworthiness evolution model of CPS under internal and external factors is proposed, and the trustworthiness evolution law is analyzed. By an example of industry control systems, the feasibility of the proposed software trustworthiness evolution model ofCPS is demonstrated using numerical simulations and theoretical analysis.