| 信息物理融合系统软件可信性演化动力学建模 |
| |
| 引用本文： | 谢文军,付 晓,于振华,韩 林.信息物理融合系统软件可信性演化动力学建模[J].电讯技术,2014,54(2). |
| |
| 作者姓名： | 谢文军 付 晓 于振华 韩 林 |
| |
| 作者单位： | 空军工程大学 信息与导航学院,西安 710077;空军工程大学 信息与导航学院,西安 710077;空军工程大学 信息与导航学院,西安 710077;空军工程大学 信息与导航学院,西安 710077 |
| |
| 基金项目： | 国家自然科学基金资助项目(61202128)；航空科学基金资助项目(20125896020)；陕西省自然科学基金资助项目(2011JQ8011) |
| |
| 摘 要： | 信息物理融合系统(CPS)软件可信性建模是CPS可信软件开发过程中至关重要的一环,现有的形式化方法、软件验证技术并不适合对CPS软件可信性动态演化进行描述和分析。在深入分析CPS可信软件动态演化过程的基础上,结合非线性动力学的基本理论和方法,研究CPS软件可信性演化的动力学机制,对CPS软件在内外双重因素影响下的可信性演化过程进行建模,并分析其可信性演化规律,为CPS软件可信性研究提供了一种新手段。通过对一个工业控制领域中CPS软件的建模与分析,验证了该方法的可行性。
|
| 关 键 词： | 信息物理融合系统 非线性动力学 可信软件 建模与分析 |
Modeling software trustworthiness evolution of cyber-physical systems using nonlinear dynamics |
| |
| XIE Wen-jun,FU Xiao,YU Zhen-hua and HAN Lin.Modeling software trustworthiness evolution of cyber-physical systems using nonlinear dynamics[J].Telecommunication Engineering,2014,54(2). |
| |
| Authors: | XIE Wen-jun FU Xiao YU Zhen-hua and HAN Lin |
| |
| Abstract: | 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 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 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 of CPS is demonstrated using numerical simulations and theoretical analysis. |
| |
| Keywords: | cyber-physical system nonlinear dynamics trustworthy software modeling and analysis |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《电讯技术》浏览原始摘要信息 |
|
点击此处可从《电讯技术》下载全文 |
|
