[发明专利]一种面向航天嵌入式系统的软件架构设计方法有效
| 申请号： | 202011255709.8 | 申请日： | 2020-11-11 |
| 公开（公告）号： | CN112416336B | 公开（公告）日： | 2023-04-28 |
| 发明（设计）人： | 张晛;张玉;王颖;刘军;丁敏;高飞 | 申请（专利权）人： | 北京京航计算通讯研究所 |
| 主分类号： | G06F8/36 | 分类号： | G06F8/36;G06F8/35;G06F11/36 |
| 代理公司： | 北京天达知识产权代理事务所有限公司 11386 | 代理人： | 李明里 |
| 地址： | 100074 北*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及一种面向航天嵌入式系统的软件架构设计方法，包括如下步骤：生成嵌入式软件组件库，所述嵌入式软件组件库包括经过形式化验证的可复用组件；从嵌入式软件组件库中选择所需的可复用组件，构建嵌入式软件代码框架；根据所述嵌入式软件代码框架，进行嵌入式软件代码编辑，生成可执行软件；根据专家知识库对生成的所述可执行软件进行缺陷检测，定位缺陷位置生成缺陷报告，并进行缺陷修复；在线监测可执行软件的运行过程，进行自主诊断、故障定位和故障修复。本发明可以丰富软件开发自动化技术、提高软件开发效率、缩短协议开发周期、实现故障在线诊断和修复，提高代码的安全性和健壮性。 | ||
| 搜索关键词： | 一种 面向 航天 嵌入式 系统 软件 架构 设计 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于北京京航计算通讯研究所，未经北京京航计算通讯研究所许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202011255709.8/，转载请声明来源钻瓜专利网。
