CAJ | 학술논문

信息物理融合系统( CPS)软件可信性建模是CPS可信软件开发过程中至关重要的一环，现有的形式化方法、软件验证技术并不适合对CPS软件可信性动态演化进行描述和分析。在深入分析CPS可信软件动态演化过程的基础上，结合非线性动力学的基本理论和方法，研究CPS软件可信性演化的动力学机制，对CPS软件在内外双重因素影响下的可信性演化过程进行建模，并分析其可信性演化规律，为CPS软件可信性研究提供了一种新手段。通过对一个工业控制领域中CPS软件的建模与分析，验证了该方法的可行性。
신식물리융합계통( CPS)연건가신성건모시CPS가신연건개발과정중지관중요적일배，현유적형식화방법、연건험증기술병불괄합대CPS연건가신성동태연화진행묘술화분석。재심입분석CPS가신연건동태연화과정적기출상，결합비선성동역학적기본이론화방법，연구CPS연건가신성연화적동역학궤제，대CPS연건재내외쌍중인소영향하적가신성연화과정진행건모，병분석기가신성연화규률，위CPS연건가신성연구제공료일충신수단。통과대일개공업공제영역중CPS연건적건모여분석，험증료해방법적가행성。
Software trustworthiness is critical to assure the safety and effectiveness of Cyber-Physical Sys-tems ( CPS) . The formal methods and software verification technologies are not suitable for describing and analyzing the software trustworthiness dynamic evolution of CPS. Based on the in-depth analysis of the software trustworthiness dynamic evolution of CPS, the dynamics characteristics for software trustworthiness of CPS are analyzed by using nonlinear dynamics. The software trustworthiness evolution model of CPS un-der internal and external factors is proposed, and the trustworthiness evolution law is analyzed. By an ex-ample of industry control systems, the feasibility of the proposed software trustworthiness evolution model of CPS is demonstrated using numerical simulations and theoretical analysis.