-
从6000架空客A320的紧急维修，看复杂飞控系统的验证边界
2025年11月28日，法国空客宣布对约6000架A320系列飞机实施紧急软件维修，并要求相关机型在完成升级前停飞。这一决定并非源于结构疲劳或传统意义上的机械故障，而是一次由飞行控制软件异常触发的系统性风险处置。
2025-12-26 digiproto
-
看不见的核安全：核控制系统如何降低测试风险？
在所有高安全等级的工业控制系统中，核电控制系统无疑是最为特殊、最为严苛的存在。它不仅承担反应堆启停、功率调节、安全保护与应急切除等核心任务，更是整个核设施安全链条的中枢神经。
2025-11-14 digiproto
-
SkyEye与Trace32集成并搭建调试环境
本文基于PowerPC架构的GDB调试功能，主要介绍SkyEye与Trace32（仿真测试工具）集成并调试所需的环境搭建和操作过程。
2025-08-12 digiproto
-
-
![嵌入式软件调试的发展历程]()
嵌入式软件调试的发展历程
从20世纪70年代单片机的出现发展至今，随着高性能的计算平台和多核系统的引入，更复杂的处理器架构被应用于高度复杂的程序中，嵌入式软件调试的需求也随之增加。
2025-06-23 digiproto
-
![SkyEye助力火箭“一”飞冲天]()
-
![浅谈CompCert：经过形式化验证的可信编译器]()
浅谈CompCert：经过形式化验证的可信编译器
对编译器的正确性进行验证的诸多手段中，最为严格的莫过于采用形式化方法。点开原文查看经过形式化验证的可信编译器CompCert。
2025-06-09 digiproto
-
![故障注入的方法与工具]()
故障注入的方法与工具
测试软件可靠性的诸多方法中，较为常见的一种为故障注入测试——根据选定的故障模型选择故障注入工具，人为地将故障注入系统并采集系统反应行为信息，从而进行可靠性分析。
2025-06-04 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
