基于虚拟化技术的卫星控制系统软件构件库运行监控与可信验证技术

作     者：沈怡颹 张程 何益康 林荣峰 朱晏庆 Shen Yiwei;Zhang Cheng;He Yikang;Lin Rongfeng;Zhu Yanqing

作者机构：上海航天控制技术研究所上海201109 上海市空间智能控制技术重点实验室上海201109 

出 版 物：《计算机测量与控制》 (Computer Measurement &Control)

年 卷 期：2019年第27卷第8期

页      面：125-129页

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主　　题：虚拟目标机 动态系统建模工具 协同仿真 软件非干涉运行监控技术 

摘      要：动态系统建模工具可以按照设定的仿真步长对控制器的行为动态模拟,也可以在仿真环境下模拟控制器所在的系统架构和动态数据交互,因此传统的卫星控制系统方案设计时一般采用在同一模型建模体系进行,并进行相应的控制算法设计;但是由于动态系统建模工具其自身的时钟步长和数据流处理逻辑,不能完全模拟目标机的内部ALU逻辑和真实外围设备工作行为,可能与真实物理环境要求的系统有一定的出入,造成对承载卫星控制器功能的目标机CPU处理系统存在一定程度的失真,影响仿真效果;提出了一种基于虚拟化技术的卫星控制系统软件构件库可信验证技术,使用虚拟化技术实现对真实物理目标机功能的完全模拟,运用软件非干涉运行监控技术,获取可信的开发证据和应用证据,利用协同仿真组件和卫星控制系统方案设计的控制算法模型对各个软件构件进行动态同步仿真验证。