详细摘要： 中断缺陷检测工具软件一款专门针对中断相关缺陷检测的商业化工具，能够检测中断导致的数据访问冲突和代码块的原子性违反。联系我们，试用中断缺陷检测工具。属于自助可控国...

详细摘要： 是一款针对Verilog-HDL、VHDL语言，具有自主知识产权的代码缺陷检查管理平台。 采用了国内的HDL代码静态分析技术，提供了针对HDL代码编码风格、可综...

详细摘要： 软件源代码缺陷深度分析平台新一代软件源代码缺陷深度分析平台，源自清华大学与国防科技大学研究团队多年对代码静态分析技术的理论深耕，结合软件工程实践研发而成，具有良...

详细摘要： 对软件二进制代码进行函数级和基本块级**比对，从海量代码库中搜索相同、相似的代码片段和函数。BlackDuck国产替代|BinDiff软件国产替代

详细摘要： 代码**与质量管理软件是一个面向软件代码**性、可靠性的多维度代码**与质量管理平台，源自 SonarQube Community 支持对上等开发语言C、Jav...

详细摘要： 软件源代码缺陷深度分析软件新一代软件源代码缺陷深度分析平台，源自清华大学与国防科技大学研究团队多年对代码静态分析技术的理论深耕，结合软件工程实践研发而成，具有良...

详细摘要： 航天复杂任务智能规划平台在有限资源和复杂的时间、空间、人因等约束下，按照一定的优化目标对任务进行筹划，形成*优或近似*优工作计划的决策过程。国产工业软件品牌（一...

详细摘要： 流式大数据分析与诊断平台​面对大量、高速、持续的动态数据，挖掘、分析数据中蕴含的异常信息，实时、准确地掌握设备健康状态的诊断过程。（一）主要研究内容 1. 基于...

详细摘要： 航天器实时定轨与相对导航技术高动态高精度GNSS接收机研究方向简介：在航天器高精度相对导航技术、高精度动力学建模技术、事后精密轨道确定方法以及实时定轨技术等方面...

详细摘要： 国产柔性集成测试系统软件针对航空航天和装备等领域中复杂电子学系统任务领域广泛、接口类型多样、多级别测试需求复合等特点，开展柔性智能测试平台技术研究，设计完成了“...

详细摘要： 单粒子故障注入检测工具1.背景介绍单粒子故障注入检测工具随着我国航空、航天任务蓬勃发展，天基高速数据处理和在轨功能重构等新技术取得了重大突破。然而，空间近地轨道...

详细摘要： C程序静态分析工具Canalyze国产替代软件1.需求及背景软件测试与分析是发现软件缺陷、提高软件质量的重要措施。动态测试是保障软质量的传统手段。不过，它依赖于...

详细摘要： Simulink国产替代仿真软件嵌入式软件建模工具在**关键领域，基于模型的软件工程或者软件开发已逐渐进入了我国的装备研制过程中。使用SimuLink或者SCA...

详细摘要： 国产嵌入式软件系统仿真平台SkyEye是一种高性能、高扩展性、易于复制使用的嵌入式软件系统仿真工具。在不具备目标硬件的情况下，国产嵌入式软件系统仿真平台SkyE...

详细摘要： Modelcoder形式化验证的代码生成工具软件是高**性嵌入式软件的开发标准，是SCADE软件国产替代解决方案其应用领域涵盖航空、国防、轨道交通、能源和重工业...

详细摘要： 类似于MATLAB软件​国产替代MATLAB软件·MATLAB®: MATLAB 语言的单元测试框架MATLAB工作界面目前已经可以替代Matlab的部...

详细摘要： Simulink替代软件国内同款Simulink软件埃登威国内仿真软件介绍：团队：源于清华大学康教授团队+后期前华为技术工程师组成目标：国内此领域仿真软件头使命...

详细摘要： 形式化验证的代码生成工具软件ModelCoder在**关键领域，基于模型的软件工程或者软件开发已逐渐进入了我国的装备研制过程中。使用SimuLink或者SCAD...

详细摘要： SysModeler**软件基于SysML的系统建模工具SysModeler迪捷数原科技是埃登威公司代理的高科技软件产品，MBSE从需求阶段开始即通过模型（而非...

详细摘要： 国产系统仿真平台软件SkyEye是一种全系统虚拟机器，它能高效地在目标硬件上运行原生的产品代码。SkyEye是由国内清华大学康硕教授为核心团队经过4年时间开发而...