-
![软件定义汽车带来的困境---如何破局？]()
软件定义汽车带来的困境---如何破局？
随着科技的发展，人们的生活正在发生翻天覆地的变化巨大改变，生活质量不断提高，这使得人们对智能化的服务体验的要求越来越高。传统的汽车行业单纯地的改变物理硬件，只能在局限的空间内改善舒适度，而无法适应人们对智能化的需求。
2023-05-15 digiproto
-
![浅谈SkyEye虚拟ECU]()
浅谈SkyEye虚拟ECU
随着汽车行业向着智能化、电动化、无人化的方向发展，汽车电子领域的研发复杂度急剧上升，汽车ECU(Electronic Control Unit，电子控制器单元)的软件规模也越来越大，其测量、标定等任务也在同比高速增加。如何能够在较短周期内高效地开发和测试 ECU 软件，同时维持较高的安全可靠水准，成为当前汽车电子开发亟需解决的难题之一。
2023-05-15 digiproto
-
![SkyEye携手Simulink实现全数字协同仿真]()
SkyEye携手Simulink实现全数字协同仿真
电机广泛应用于家电、汽车以及航空航天等领域，与嵌入式芯片有着千丝万缕的联系。若能进一步提升电机与芯片之间的契合度，硬件设备的效能利用率也能得到提高。
2023-05-15 digiproto
-
![SkyEye携手DigiThread，共同助力卫星领域数字化进程]()
SkyEye携手DigiThread，共同助力卫星领域数字化进程
随着卫星的技术进步及其应用领域的不断拓展，卫星总体设计及应用仿真迫切需要先进仿真工具的强有力支持。
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
-
![ModelCoder中的代数环问题]()
ModelCoder中的代数环问题
2020年5月23日，美国商务部宣布，将共计33家中国公司和机构列入实体清单，哈工大、哈工程被禁用“工科神器”Matlab，而Simulink是Matlab软件的扩展，它是一个实现动态系统建模和仿真的软件。Matlab在国内知名院校和关键领域研究院所的禁用，给在国内坐了多年冷板凳，从事基础软件研究和产业化的我们，带来了机遇。
2023-05-15 digiproto
-
![浙里工业软件声音 - 金问鼎：“MBSE+DevOps”两位一体，SkyEye助力卫星数字先行]()
浙里工业软件声音 - 金问鼎：“MBSE+DevOps”两位一体，SkyEye助力卫星数字先行
天目全数字实时仿真软件SkyEye作为攻克“卡脖子”关键技术、国产替代和自主可控的工业软件，可构建卫星全生命周期的数字孪生系统，应用先进的“MBSE+DevOps”方法论，实现卫星姿态轨道控制软件的正确性、可靠性与高效性，为卫星保驾护航。
2023-05-15 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
