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

• 作者: 于振华 付晓 谢文军 韩林
• 来源期刊: 电讯技术
• 学科: 工学
• 关键词: 信息物理融合系统 非线性动力学 可信软件 建模与分析
• 年，卷（期）: 2014,（2）
• 所属期刊栏目: 信道技术
• 页码范围: 201-205
• 页数: 5页
• 分类号: TP311.5
• 字数: 3958字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-893x.2014.02.016

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	韩林	空军工程大学信息与导航学院	16	34	3.0	5.0
2	于振华	空军工程大学信息与导航学院	16	114	6.0	10.0
3	谢文军	空军工程大学信息与导航学院	4	12	2.0	3.0
4	付晓	空军工程大学信息与导航学院	7	25	3.0	4.0