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