-
朱雀二号改进型遥五成功发射：商业航天背后的验证能力升级
2026年5月14日11时00分，朱雀二号改进型遥五运载火箭（ZQ-2E Y5）在东风商业航天创新试验区蓝箭航天液氧甲烷发射工位点火升空，按程序完成全部飞行任务，发射任务获得圆满成功。本次任务轨道高度为900公里，搭载面向大型星座组网的2.8吨定制化试验载荷。
2026-05-15 digiproto
-
浅谈SkyEye虚拟ECU
随着汽车行业向着智能化、电动化、无人化的方向发展，汽车电子领域的研发复杂度急剧上升，汽车ECU(Electronic Control Unit，电子控制器单元)的软件规模也越来越大，其测量、标定等任务也在同比高速增加。如何能够在较短周期内高效地开发和测试 ECU 软件，同时维持较高的安全可靠水准，成为当前汽车电子开发亟需解决的难题之一。
2026-05-11 digiproto
-
技术交流 - 漫谈嵌入式实时操作系统
软件产品作为航天型号的重要组成部分，直接影响航天任务成败，需要利用RTOS作为基础平台在机制上予以保障，完成任务实时调度、资源优化分配、设备有效管理、故障快速捕获与处理，从而降低上层应用软件复杂性，使之能专注于核心功能，提高软件产品质量，缩短研制周期，并提高系统的确定性、可靠性和灵巧性。
2025-08-25 digiproto
-
-
![浅谈CompCert：经过形式化验证的可信编译器]()
浅谈CompCert：经过形式化验证的可信编译器
对编译器的正确性进行验证的诸多手段中，最为严格的莫过于采用形式化方法。点开原文查看经过形式化验证的可信编译器CompCert。
2025-06-09 digiproto
-
![从概念表达到安全验证：智能驾驶功能迎来系统性规范]()
从概念表达到安全验证：智能驾驶功能迎来系统性规范
2025年以来，围绕智能驾驶功能的争议不断升级。多起因辅助驾驶误用、滥用甚至宣传误导所引发的交通事故，引发公众舆论广泛关注，也使这一领域的监管问题被再次摆上了台面。
2025-05-09 digiproto
-
![再赴苍穹！神舟二十号发射取得圆满成功，开启中国航天新篇章]()
再赴苍穹！神舟二十号发射取得圆满成功，开启中国航天新篇章
2025年4月24日17时17分，伴随着一声轰鸣，长征二号F遥二十火箭在酒泉卫星发射中心腾空而起，神舟二十号载人飞船顺利发射升空。飞船随后准确进入预定轨道，标志着此次载人飞行任务取得圆满成功。
2025-04-25 digiproto
-
![“智”绘低空未来，迪捷软件亮相香港国际创科展]()
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
