-
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
-
从概念表达到安全验证:智能驾驶功能迎来系统性规范
2025年以来,围绕智能驾驶功能的争议不断升级。多起因辅助驾驶误用、滥用甚至宣传误导所引发的交通事故,引发公众舆论广泛关注,也使这一领域的监管问题被再次摆上了台面。
2025-05-09 digiproto
-
再赴苍穹!神舟二十号发射取得圆满成功,开启中国航天新篇章
2025年4月24日17时17分,伴随着一声轰鸣,长征二号F遥二十火箭在酒泉卫星发射中心腾空而起,神舟二十号载人飞船顺利发射升空。飞船随后准确进入预定轨道,标志着此次载人飞行任务取得圆满成功。
2025-04-25 digiproto