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

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

作　　者：谢文军[1] 付晓[1] 于振华[1] 韩林[1] 

机构地区：[1]空军工程大学信息与导航学院,西安710077

出　　处：《电讯技术》2014年第2期201-205,共5页Telecommunication Engineering

基　　金：国家自然科学基金资助项目(61202128);航空科学基金资助项目(20125896020);陕西省自然科学基金资助项目(2011JQ8011)~~

摘　　要：信息物理融合系统(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.

关 键 词：信息物理融合系统 非线性动力学 可信软件 建模与分析 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]