技术编号：16502921
提示：您尚未登录，请点 登 陆 后下载，如果您还没有账户请点 注 册 ，登陆完成后，请刷新本页查看技术详细信息。本发明涉及卫星安全关键软件的验证领域，特别是一种卫星安全关键软件系统性验证方法。背景技术卫星安全关键软件是卫星星务管理的核心，集成了遥测遥控、热控、能源、内务、FDIR管理等功能，通过总线与多台综合处理单元进行数据交互，发送遥控指令并接收遥测信息，完成对卫星的控制管理工作。伴随着软件执行功能比例持续上升，软件代码规模不断增长，软件自身结构复杂度提高且软硬件耦合程度增强，使得与软件相关的安全性问题凸显。因此，明确安全关键软件安全性问题的薄弱环节和问题机理，聚焦软件研制过程中对于安全性的深层次需求，...
注意：该技术已申请专利，请尊重研发人员的辛勤研发付出，在未取得专利权人授权前，仅供技术研究参考不得用于商业用途。
该专利适合技术人员进行技术研发参考以及查看自身技术是否侵权，增加技术思路，做技术知识储备，不适合论文引用。
请注意，此类技术没有源代码，用于学习研究技术思路。