-
![诚邀 - 迪捷软件邀您参与2023年航电国际论坛]()
诚邀 - 迪捷软件邀您参与2023年航电国际论坛
论坛背景近年来，伴随着新兴学科不断涌现，航空业也发生了以绿色、智能为特征的群体性技术革命，航空科技创新链条更加灵巧，技术更新和成果转化更加快捷，航空产品迎来了批量化生产、规模化运营、系列化发展的新阶段，升级换代不断加快。2023年（第十二届）飞机航空电子国际论坛将于6月28日至29日在上海举办。论坛自2012年以来，已经成功举办了11届，并已发展为亚太地区业内最受欢迎、规模最大的航电专业活动。本届
2023-06-20 digiproto
-
![航电系统的GPU虚拟化仿真]()
航电系统的GPU虚拟化仿真
SkyEye，中文全称天目全数字实时仿真软件，是基于可视化建模的硬件行为级仿真平台，支持用户通过拖拽的方式对硬件进行行为级别的仿真和建模，完美解决航电系统虚拟化的难题。
2023-05-15 digiproto
-
![ModelCoder状态机中的State逻辑]()
ModelCoder状态机中的State逻辑
ModelCoder可以进行状态机的搭建以及仿真，其支持的状态机是通过在Mealy和Moore有限状态机的基础上进行扩展来实现的。本文主要讲解状态机中状态（State）的部分逻辑。
2023-05-15 digiproto
-
![浅谈状态机]()
浅谈状态机
在工业生产中，常常会使用到建模软件，而建模的目的就是为了在制造的前期进行验证和试错，以确保制造出来的东西能够很好的使用。而在建模仿真的领域中，状态机又是逃不开的一个话题。
2023-05-15 digiproto
-
![设计模式六大原则你都知道吗？]()
设计模式六大原则你都知道吗？
单一职责原则的核心是功能单一化，功能单一化后每个模块只受该功能的影响，不会出现其他功能的改变导致必须修改该模块。比方说登录模块和用户管理模块，如果合在一起，会导致如果需要增加一个临时登录的功能必然会影响用户管理模块，至少上线的时候用户管理模块也是断掉的。
2023-05-15 digiproto
-
![L2C中CtempGen层语义保持证明中环境匹配的定义]()
L2C中CtempGen层语义保持证明中环境匹配的定义
ModelCoder是一款由迪捷软件自主研发，支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过了形式化验证，以保证生成过程的正确无误性，能够用于飞行控制系统，航空电子系统，核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。
2023-05-15 digiproto
-
![SkyEye仿真ZYNQ芯片，轻松运行国产操作系统ReWorks]()
SkyEye仿真ZYNQ芯片，轻松运行国产操作系统ReWorks
加速通信设备的开发和测试是航空电子领域发展的关键方向。航空电子领域的嵌入式系统往往较为复杂，在软件开发与硬件研制相辅相成的情况下，复杂、耗时、高价的硬件环境搭建，成为软件开发滞后的重大阻碍。SkyEye全数字实时仿真平台，能够部署在桌面级Windows 和Linux 系统上，搭建硬件仿真目标系统，并运行嵌入式软件，大大改善了软件开发受硬件设备资源制约的问题。
2023-05-15 digiproto
-
![基于SkyEye的GPU仿真——解决嵌入式仿真难题]()
基于SkyEye的GPU仿真——解决嵌入式仿真难题
飞机通常由机翼、机身、起落架和飞机操作系统组成，包含丰富的嵌入式应用系统，这其中最复杂的便是航空电子系统。不同类型飞机根据其任务、使命和应用环境的不同，其航电系统的组成、功能和配置也有一定的区别。大规模航电系统往往意味着极其高的系统安全系数要求，而其中某一子系统的嵌入式软件代码量，可能就有几十万、甚至几百万行，其庞大而复杂的功能体系，成为了安全测试的主要瓶颈之一。而航空电子系统不断加快的研发迭代速度无疑是雪上加霜，一旦遇到死机或者黑屏现象，追溯问题的过程将变得十分困难，因此迫切需要大规模集成化的测试手段，来辅助系统的研发并验证其安全性。
2023-05-15 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
