-
![SkyEye图形化界面使用技巧篇（二）]()
SkyEye图形化界面使用技巧篇（二）
本文主要介绍SkyEye图形化界面（V3.2.5）中覆盖率测试的使用技巧，后续将持续更新更多使用技巧。SkyEye图形化界面，操作简单、易于理解、上手快，各功能模块区分明晰，且技术支持随时在线。若各位朋友感兴趣的话，可订阅迪捷软件公众号，也可联系官方获取试用版（迪捷软件 (digiproto.com)）进行试用。
2023-05-15 digiproto
-
![基于SkyEye的GPU仿真——解决嵌入式仿真难题]()
基于SkyEye的GPU仿真——解决嵌入式仿真难题
飞机通常由机翼、机身、起落架和飞机操作系统组成，包含丰富的嵌入式应用系统，这其中最复杂的便是航空电子系统。不同类型飞机根据其任务、使命和应用环境的不同，其航电系统的组成、功能和配置也有一定的区别。大规模航电系统往往意味着极其高的系统安全系数要求，而其中某一子系统的嵌入式软件代码量，可能就有几十万、甚至几百万行，其庞大而复杂的功能体系，成为了安全测试的主要瓶颈之一。而航空电子系统不断加快的研发迭代速度无疑是雪上加霜，一旦遇到死机或者黑屏现象，追溯问题的过程将变得十分困难，因此迫切需要大规模集成化的测试手段，来辅助系统的研发并验证其安全性。
2023-05-15 digiproto
-
![SkyEye助力飞控软件Debug]()
SkyEye助力飞控软件Debug
在嵌入式系统飞速发展的飞行控制领域，软硬件紧耦合的情况使得只有快速定位软件问题并找到问题出现的根本原因，才能最大程度地降低调试成本，缩短开发周期。
2023-05-15 digiproto
-
![FMI在仿真软件SkyEye中的应用]()
FMI在仿真软件SkyEye中的应用
随着科技的发展，我国在安全攸关领域对于嵌入式软件的应用日益广泛，并且对于软硬件的性能及可靠性等方面要求变得更高。面对各种复杂的系统设计所提供的设计和分析手段也逐渐完善，其中仿真技术在近几年越来越受到重视，其在西方发达国家的多个工业领域中，都得到了广泛的应用。
2023-05-15 digiproto
-
![SkyEye图形化界面使用技巧篇（一）]()
SkyEye图形化界面使用技巧篇（一）
本文主要介绍SkyEye图形化界面中gp搭建功能的使用技巧，后续将持续更新更多使用技巧。SkyEye图形化界面，操作简单、易于理解、上手快，各功能模块区分明晰，且技术支持随时在线。若各位朋友感兴趣的话，可订阅迪捷数原公众号，也可联系官方获取试用版（迪捷软件 (http://digiproto.com)）进行试用。
2023-05-15 digiproto
-
![基于常微分方程初值问题的ModelCoder固定步长求解器分析]()
基于常微分方程初值问题的ModelCoder固定步长求解器分析
形式化验证的代码生成工具ModelCoder由迪捷软件自主开发，是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过了形式化验证，以保证生成过程的正确无误性，能够用于飞行控制系统，航空电子系统，核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。对标产品有国外ANSYS公司的SCADE或者MathWorks公司的MATLAB/Simulink。
2023-05-15 digiproto
-
![ModelCoder中的代数环问题]()
ModelCoder中的代数环问题
2020年5月23日，美国商务部宣布，将共计33家中国公司和机构列入实体清单，哈工大、哈工程被禁用“工科神器”Matlab，而Simulink是Matlab软件的扩展，它是一个实现动态系统建模和仿真的软件。Matlab在国内知名院校和关键领域研究院所的禁用，给在国内坐了多年冷板凳，从事基础软件研究和产业化的我们，带来了机遇。
2023-05-15 digiproto
-
![基于模型的设计（MBD）在汽车ECU软件开发中的实践]()
基于模型的设计（MBD）在汽车ECU软件开发中的实践
基于模型的设计（MBD）是整车厂在当前激烈的竞争环境下的最优选，但如何选择一套应用MBD、以模型为核心，且能处理从需求、设计、代码生成到测试的开发工具？点击原文了解详情。
2023-05-15 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
