2023年载人航天工程创新解决方案及软件工具拟推荐名录公示

序号

类型

名称

版本

主要功能简要介绍

厂商

软件工具

软件系统设计工具

Stood & AADL Inspector

V5.5.0

提供图形化的软件架构设计和细化分析，支持基于AADL的架构模型时序仿真、时间分析、安全性分析等验证等

英国Ellidiss公司

软件需求分析工具

RTcase

V3.33

支持嵌入式实时系统结构化需求分析，提供通过功能模型、行为模型及数据词典设计序需求分析模型等

上海创景信息科技有限公司

软件需求管理工具

VISSLM REQ

V2.00.18

支持软件系统全生命周期需求管理与追溯，提供与其他软件开发工具的集成接口等

上海创景信息科技有限公司

软件单元测试工具

Cantata

V22.10

支持结构化的C/C++单元测试用例设计和生成，提供自动测试框架，自动生成测试报告；支持白盒/黑盒测试方法等

德国QA Systems公司

软件单元测试工具

SunwiseAUnit

V3.9.0.0

.qualifier

支持嵌入式C/C++单元测试用例设计和生成，支持代码变更识别和用例复用，提供可视化覆盖率统计及报告生成等

北京轩宇信息技术有限公司

软件静态分析工具

SpecChecker

V2.8.0

.202211101836

支持航天军工常用编程规则检查，以及运行时错误安全检查；提供代码结构可视化分析、度量分析以及共享资源竞争分析功能等

北京轩宇信息技术有限公司

软件功能测试工具

“金戟”虚拟试验平台

V2.0.2

支持嵌入式软件目标码测试、覆盖率统计、故障仿真等功能，支持处理器超实时仿真，提供嵌入式软件开发和测试支撑等

北京航天自动控制研究所

软件功能测试工具

VTest

V2.4.2

支持嵌入式软件自动化动态测试，提供从测试需求分析到测试报告自动生产的动态测试全过程和统一数据管理等

北京轩宇信息技术有限公司

软件功能测试工具

FPGA逻辑等效性验证工具FormalPro

Ap SW

支持RTL和门级电路，提供逻辑综合、时钟树综合、网表逻辑等验证能力，支持图形化调试、设计诊断定位等，支持主流FPGA芯片的设计检查

德国西门子公司

软件功能测试工具

FPGA跨时钟域分析工具Alint-PRO（FPGA）

V2021.09

支持FPGA设计的时钟、复位信号、输入输出信号、结构性的CDC等的检查验证和图形化查看分析，支持主流FPGA厂商的IP库文件等

英国阿尔戴公司

软件安全性分析设计工具

SafetyDesigner

V7.0

支持基于系统理论的事故模型和过程方法，提供基于系统控制结构的安全性分析和识别等

北京航天情报与信息研究所

软件安全保密性测试工具

CodeGuard

V3.0

支持基于数据流的安全保密性分析和识别，提供图形化的威胁建模等

山东厚德测控技术股份有限公司

模型驱动软件开发工具

软件需求建模工具Smodeler

V2.0

支持基于UML/SYSML的可视化需求定义和分解，提供需求模型合规性检测和仿真分析等

中核核信信息技术（北京）有限公司

模型驱动软件开发工具

软件架构建模工具SArchitect

V2.0

支持基于AADL/SYSML的系统行为及嵌入式系统架构模型构建，提供架构模型仿真验证等

中核核信信息技术（北京）有限公司

模型驱动软件开发工具

基于模型的测试验证工具ModelTest

V3.0

支持基于有向图的图形化模型创建，提供模型正确性及期望行为的验证功能，支持基于有限状态机等模型的测试用例设计和报告生成

天安星控（北京）科技有限责任公司

模型驱动软件开发工具

形式化验证工具ModelVerify

V3.0

支持基于符号执行和定理证明的形式化验证方法，提供同步和异步行为的描述和自动验证等

天安星控（北京）科技有限责任公司

模型驱动软件开发工具

算法/过程建模工具Ssuite

V2022

支持复杂数据结构、同步和异步逻辑建模和图形化仿真调试，提供模型静态分析和动态仿真能力等

西安汇智众泽电子科技有限公司

模型驱动软件开发工具

代码生成工具CodeGen

V2022

支持算法模型自动转换C/C++等源代码，提供与软件源代码编译工具链集成接口等

西安汇智众泽电子科技有限公司

解决方案

其他解决方案

基于AEM的软件全生命周期管理解决方案

-

提供基于WEB的嵌入式软件全生命周期研制一体化解决方案，满足GJB5000A过程域要求，支持软件产品从技术到管理、从开发到测试的支撑等

北京轩宇信息技术有限公司