-
从慕尼黑街头的伪装车,看汽车背后的“千锤百炼”
在德国慕尼黑的街头,经常能看到一些长相奇特的汽车:它们的车身被密密麻麻的几何纹路覆盖,看上去像是刚从艺术展里开出来的移动雕塑。实际上,这并不是车主的个性表达,而是宝马汽车总部在新车研发过程中常用的“伪装”手法。
2025-08-29 digiproto
-
SkyEye与Trace32集成并搭建调试环境
本文基于PowerPC架构的GDB调试功能,主要介绍SkyEye与Trace32(仿真测试工具)集成并调试所需的环境搭建和操作过程。
2025-08-12 digiproto
-
不是推力减半那么简单:单发失效背后的系统考验
一架现代民航客机的飞行安全,很大程度上依赖于发动机在全飞行包线内的可靠运行。然而,即便采用了冗余设计、结构加固、健康监测等多种手段,发动机依然是故障率相对集中的部件之一。
2025-07-18 digiproto
-
让高端装备“先跑起来”:虚拟仿真验证平台重塑研制流程
在工业转型提速、“新质生产力”加快形成的时代背景下,高端装备已成为制造业核心竞争力的体现。从工业机器人到无人机系统,从特种车辆到飞控平台,越来越多融合多种控制器、传感器和执行单元的复杂装备,正逐步在各类重点工程和核心环节中实现落地应用。
2025-06-13 digiproto
-
概念:四种基于模型的嵌入式软件开发、测试与验证方法
通过MBD提供的统一设计环境,开发人员可在软件的整个生命周期中使用同一套模型进行需求验证、数据分析、模型可视化、测试和验证,并进行最终的产品部署。
2025-06-09 digiproto
-
浅谈CompCert:经过形式化验证的可信编译器
对编译器的正确性进行验证的诸多手段中,最为严格的莫过于采用形式化方法。点开原文查看经过形式化验证的可信编译器CompCert。
2025-06-09 digiproto