-
公开(公告)号：CN112416337B
公开(公告)日：2023-05-02
申请号：CN202011255814.1
申请日：2020-11-11
Applicant: 北京京航计算通讯研究所
Abstract: 本发明涉及一种面向航天嵌入式系统的软件架构开发系统，包括：信息提取模块，用于提取和分类航天型号软件需求文档中的软件关键信息；建模验证模块，用于对软件关键信息进行形式化建模、验证与封装，得到软件的可复用组件；软件组件库，用于存储所述可复用组件；框架生成模块，用于构建软件代码框架，所述代码框架由从软件组件库中调用的可复用组件构成；软件代码编辑模块，用于在所述软件代码框架下，根据软件的业务逻辑、控制逻辑和算法逻辑编辑软件代码，生成可执行软件本发明可以丰富软件开发自动化技术、提高软件开发效率、缩短协议开发周期，提高代码的安全性和健壮性。
-
公开(公告)号：CN112416336B
公开(公告)日：2023-04-28
申请号：CN202011255709.8
申请日：2020-11-11
Applicant: 北京京航计算通讯研究所
Abstract: 本发明涉及一种面向航天嵌入式系统的软件架构设计方法，包括如下步骤：生成嵌入式软件组件库，所述嵌入式软件组件库包括经过形式化验证的可复用组件；从嵌入式软件组件库中选择所需的可复用组件，构建嵌入式软件代码框架；根据所述嵌入式软件代码框架，进行嵌入式软件代码编辑，生成可执行软件；根据专家知识库对生成的所述可执行软件进行缺陷检测，定位缺陷位置生成缺陷报告，并进行缺陷修复；在线监测可执行软件的运行过程，进行自主诊断、故障定位和故障修复。本发明可以丰富软件开发自动化技术、提高软件开发效率、缩短协议开发周期、实现故障在线诊断和修复，提高代码的安全性和健壮性。
-
公开(公告)号：CN112416337A
公开(公告)日：2021-02-26
申请号：CN202011255814.1
申请日：2020-11-11
Applicant: 北京京航计算通讯研究所
Abstract: 本发明涉及一种面向航天嵌入式系统的软件架构开发系统，包括：信息提取模块，用于提取和分类航天型号软件需求文档中的软件关键信息；建模验证模块，用于对软件关键信息进行形式化建模、验证与封装，得到软件的可复用组件；软件组件库，用于存储所述可复用组件；框架生成模块，用于构建软件代码框架，所述代码框架由从软件组件库中调用的可复用组件构成；软件代码编辑模块，用于在所述软件代码框架下，根据软件的业务逻辑、控制逻辑和算法逻辑编辑软件代码，生成可执行软件本发明可以丰富软件开发自动化技术、提高软件开发效率、缩短协议开发周期，提高代码的安全性和健壮性。
-
公开(公告)号：CN112416336A
公开(公告)日：2021-02-26
申请号：CN202011255709.8
申请日：2020-11-11
Applicant: 北京京航计算通讯研究所
Abstract: 本发明涉及一种面向航天嵌入式系统的软件架构设计方法，包括如下步骤：生成嵌入式软件组件库，所述嵌入式软件组件库包括经过形式化验证的可复用组件；从嵌入式软件组件库中选择所需的可复用组件，构建嵌入式软件代码框架；根据所述嵌入式软件代码框架，进行嵌入式软件代码编辑，生成可执行软件；根据专家知识库对生成的所述可执行软件进行缺陷检测，定位缺陷位置生成缺陷报告，并进行缺陷修复；在线监测可执行软件的运行过程，进行自主诊断、故障定位和故障修复。本发明可以丰富软件开发自动化技术、提高软件开发效率、缩短协议开发周期、实现故障在线诊断和修复，提高代码的安全性和健壮性。
-
-
-
Search Results
4
records
(took 0.035 seconds)
