-
-
浅谈CompCert：经过形式化验证的可信编译器
对编译器的正确性进行验证的诸多手段中，最为严格的莫过于采用形式化方法。点开原文查看经过形式化验证的可信编译器CompCert。
2025-06-09 digiproto
-
故障注入的方法与工具
测试软件可靠性的诸多方法中，较为常见的一种为故障注入测试——根据选定的故障模型选择故障注入工具，人为地将故障注入系统并采集系统反应行为信息，从而进行可靠性分析。
2025-06-04 digiproto
-
“数字孪生”：为什么要仿真嵌入式系统？
众所周知，嵌入式系统通常是形式多样的、面向特定应用的软硬件综合体，无论是软件还是硬件都必须被高效率地设计，量体裁衣、去除冗余，具备低功耗、小体积、高集成度等特点，且通常有着高实时性、高可靠性的要求。
2025-04-22 digiproto
-
![SkyEye携手Simulink实现全数字协同仿真]()
SkyEye携手Simulink实现全数字协同仿真
电机广泛应用于家电、汽车以及航空航天等领域，与嵌入式芯片有着千丝万缕的联系。若能进一步提升电机与芯片之间的契合度，硬件设备的效能利用率也能得到提高。
2025-04-22 digiproto
-
![CPU性能指标简览]()
-
![数字孪生：降低现代船舶水声设备研制风险与成本的关键要素]()
数字孪生：降低现代船舶水声设备研制风险与成本的关键要素
对船舶水声设备进行模拟仿真、搭建水声设备的“数字孪生”模型，成为降低研制风险和成本，缩短研制周期的关键要素和有效手段。
2025-03-11 digiproto
-
![知识-基于混合模式的多余度飞控全数字仿真系统研究]()
知识-基于混合模式的多余度飞控全数字仿真系统研究
通过集成SkyEye和其他各类持续集成工具，将SkyEye虚拟硬件与DevOps工作流紧耦合，集项目管理和流水线于一体，可应用于嵌入式软件开发的全生命周期，打造持续集成全链路一站式平台。
2025-03-11 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
