-
当太阳能板指向错误:一次软件失效的系统级验证反思
2025年2月26日,NASA发射月球轨道探测器“月球探路者”Lunar Trailblazer。这颗小卫星由美国宇航局JPL管理、加州理工学院领导,任务目标为获取月球水资源分布数据,绘制月球水资源分布图。探测器成功完成发射与部署,并在入轨初期与地面建立通信。
2026-02-28 digiproto
-
SkyEye与Trace32集成并搭建调试环境
本文基于PowerPC架构的GDB调试功能,主要介绍SkyEye与Trace32(仿真测试工具)集成并调试所需的环境搭建和操作过程。
2025-08-12 digiproto
-
概念:四种基于模型的嵌入式软件开发、测试与验证方法
通过MBD提供的统一设计环境,开发人员可在软件的整个生命周期中使用同一套模型进行需求验证、数据分析、模型可视化、测试和验证,并进行最终的产品部署。
2025-06-09 digiproto
-
浅谈CompCert:经过形式化验证的可信编译器
对编译器的正确性进行验证的诸多手段中,最为严格的莫过于采用形式化方法。点开原文查看经过形式化验证的可信编译器CompCert。
2025-06-09 digiproto
-
思考:数字卫星可视化如何实现?
随着信息化时代的到来,全球范围内的通信和数据传输需求急剧增加,传统的有线通信和数据传输方式已无法满足大范围、远距离的通信和数据传输需求,卫星通信和数据传输技术应运而生。
2025-06-09 digiproto