-
![SkyEye仿真ZYNQ芯片，轻松运行国产操作系统ReWorks]()
SkyEye仿真ZYNQ芯片，轻松运行国产操作系统ReWorks
加速通信设备的开发和测试是航空电子领域发展的关键方向。航空电子领域的嵌入式系统往往较为复杂，在软件开发与硬件研制相辅相成的情况下，复杂、耗时、高价的硬件环境搭建，成为软件开发滞后的重大阻碍。SkyEye全数字实时仿真平台，能够部署在桌面级Windows 和Linux 系统上，搭建硬件仿真目标系统，并运行嵌入式软件，大大改善了软件开发受硬件设备资源制约的问题。
2023-05-15 digiproto
-
![如何确保安全关键领域多核嵌入式系统中的软件时序]()
如何确保安全关键领域多核嵌入式系统中的软件时序
开发多核处理器的挑战往往在于软件的时序，软件时序不仅受软件运行和输入的影响，还会受到其他处理器核心上运行软件的影响。本文将从多核时序分析入手，探讨汽车领域嵌入式软件安全问题的解决方案。
2023-05-15 digiproto
-
![SkyEye助力飞控软件Debug]()
SkyEye助力飞控软件Debug
在嵌入式系统飞速发展的飞行控制领域，软硬件紧耦合的情况使得只有快速定位软件问题并找到问题出现的根本原因，才能最大程度地降低调试成本，缩短开发周期。
2023-05-15 digiproto
-
![基于常微分方程初值问题的ModelCoder固定步长求解器分析]()
基于常微分方程初值问题的ModelCoder固定步长求解器分析
形式化验证的代码生成工具ModelCoder由迪捷软件自主开发，是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过了形式化验证，以保证生成过程的正确无误性，能够用于飞行控制系统，航空电子系统，核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。对标产品有国外ANSYS公司的SCADE或者MathWorks公司的MATLAB/Simulink。
2023-05-15 digiproto
-
![细数SkyEye异构仿真的5大特色]()
细数SkyEye异构仿真的5大特色
航天飞行器使用仿真器的重要性航天飞行器如卫星、载人飞船等需要在空中运行很长的时间，如果出现问题回收再调试可能要历时几个月，而且不得不中断任务，损失将是庞大的。
2023-05-15 digiproto
-
![初识CPS方法的连续动态建模]()
初识CPS方法的连续动态建模
信息物理融合系统（CPS）是对计算进程与物理进程进行集成所形成的综合系统，其行为由系统的信息部分及物理部分共同定义。嵌入式系统中的计算机与网络监测并控制物理进程，且在通常情况下这些物理进程与计算进程在反馈环路中相互影响。
2023-05-15 digiproto
-
![概念：四种基于模型的嵌入式软件开发、测试与验证方法]()
概念：四种基于模型的嵌入式软件开发、测试与验证方法
通过MBD提供的统一设计环境，开发人员可在软件的整个生命周期中使用同一套模型进行需求验证、数据分析、模型可视化、测试和验证，并进行最终的产品部署。
2023-05-15 digiproto
-
![DevOps：定义汽车软件新开发模式]()
DevOps：定义汽车软件新开发模式
汽车的系统开发以模型驱动开发为主（Model-based systems engineering，MBSE），快速迭代、持续集成、可靠性代码自动生成、测试自动化等改善开发流程的需求逐渐受到重视。
2023-05-15 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
