-
![浅谈CompCert：经过形式化验证的可信编译器]()
浅谈CompCert：经过形式化验证的可信编译器
对编译器的正确性进行验证的诸多手段中，最为严格的莫过于采用形式化方法。点开原文查看经过形式化验证的可信编译器CompCert。
2023-05-15 digiproto
-
![浅谈状态机]()
浅谈状态机
在工业生产中，常常会使用到建模软件，而建模的目的就是为了在制造的前期进行验证和试错，以确保制造出来的东西能够很好的使用。而在建模仿真的领域中，状态机又是逃不开的一个话题。
2023-05-15 digiproto
-
![浅谈SkyEye虚拟ECU]()
浅谈SkyEye虚拟ECU
随着汽车行业向着智能化、电动化、无人化的方向发展，汽车电子领域的研发复杂度急剧上升，汽车ECU(Electronic Control Unit，电子控制器单元)的软件规模也越来越大，其测量、标定等任务也在同比高速增加。如何能够在较短周期内高效地开发和测试 ECU 软件，同时维持较高的安全可靠水准，成为当前汽车电子开发亟需解决的难题之一。
2023-05-15 digiproto
-
![基于模型的设计（MBD）在汽车ECU软件开发中的实践]()
基于模型的设计（MBD）在汽车ECU软件开发中的实践
基于模型的设计（MBD）是整车厂在当前激烈的竞争环境下的最优选，但如何选择一套应用MBD、以模型为核心，且能处理从需求、设计、代码生成到测试的开发工具？点击原文了解详情。
2023-05-15 digiproto
-
![基于ModelCoder的汽车悬挂系统建模]()
基于ModelCoder的汽车悬挂系统建模
悬挂系统主要功能为支持车身、改善乘坐感觉。悬挂系统综合多种作用力，决定着汽车行驶过程的稳定性、舒适性和安全性，是整车厂需要考量的重要汽车部件之一。
2022-11-25 digiproto
-
![SkyEye Q&A ——第三期]()
-
![技术交流 - 漫谈嵌入式实时操作系统]()
技术交流 - 漫谈嵌入式实时操作系统
软件产品作为航天型号的重要组成部分，直接影响航天任务成败，需要利用RTOS作为基础平台在机制上予以保障，完成任务实时调度、资源优化分配、设备有效管理、故障快速捕获与处理，从而降低上层应用软件复杂性，使之能专注于核心功能，提高软件产品质量，缩短研制周期，并提高系统的确定性、可靠性和灵巧性。
2022-09-13 digiproto
-
![如何搭建点燃式发动机仿真模型]()
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
