一种面向航天嵌入式系统的软件架构设计方法

专利申请号：CN202011255709.8

公 开 号：CN112416336B

发 明 人：张晛 张玉 王颖 刘军 丁敏 高飞 

代 理 人：北京天达知识产权代理事务所有限公司李明里

代理机构：北京天达知识产权代理事务所有限公司

专利类型：发明专利

申 请 日：20230428

公 开 日：20201111

专利主分类号：G06F8/36

关 键 词：嵌入式软件代码 可执行软件 嵌入式软件 组件库 可复用组件 软件开发自动化 故障在线诊断 软件架构设计 软件开发效率 嵌入式系统 形式化验证 专家知识库 定位缺陷 故障定位 故障修复 缺陷报告 缺陷检测 缺陷修复 位置生成 协议开发 运行过程 在线监测 健壮性 构建 修复 诊断 航天 

摘      要：本发明涉及一种面向航天嵌入式系统的软件架构设计方法，包括如下步骤：生成嵌入式软件组件库，所述嵌入式软件组件库包括经过形式化验证的可复用组件；从嵌入式软件组件库中选择所需的可复用组件，构建嵌入式软件代码框架；根据所述嵌入式软件代码框架，进行嵌入式软件代码编辑，生成可执行软件；根据专家知识库对生成的所述可执行软件进行缺陷检测，定位缺陷位置生成缺陷报告，并进行缺陷修复；在线监测可执行软件的运行过程，进行自主诊断、故障定位和故障修复。本发明可以丰富软件开发自动化技术、提高软件开发效率、缩短协议开发周期、实现故障在线诊断和修复，提高代码的安全性和健壮性。