-
知识-基于混合模式的多余度飞控全数字仿真系统研究
通过集成SkyEye和其他各类持续集成工具,将SkyEye虚拟硬件与DevOps工作流紧耦合,集项目管理和流水线于一体,可应用于嵌入式软件开发的全生命周期,打造持续集成全链路一站式平台。
2024-09-04 digiproto
-
虚拟ECU:基于SkyEye的TRACE32嵌入式调试
本文将介绍应用于汽车ECU的基于天目全数字实时仿真软件SkyEye的TRACE32调试,SkyEye负责提供汽车虚拟ECU的搭建平台,结合TRACE32即可实现嵌入式仿真调试。
2024-04-15 digiproto
-
一文读懂多架构的中断控制器
描述了x86/ ARM/PowerPC三种主流中断控制器的特点和发展历程,方便读者初步而较为全面地学习不同架构中断控制器之间的区别,掌握中断控制器的概念。
2023-05-15 digiproto
-
思考:数字卫星可视化如何实现?
随着信息化时代的到来,全球范围内的通信和数据传输需求急剧增加,传统的有线通信和数据传输方式已无法满足大范围、远距离的通信和数据传输需求,卫星通信和数据传输技术应运而生。
2023-05-15 digiproto
-
浅谈CompCert:经过形式化验证的可信编译器
对编译器的正确性进行验证的诸多手段中,最为严格的莫过于采用形式化方法。点开原文查看经过形式化验证的可信编译器CompCert。
2023-05-15 digiproto