-
基于SkyEye的CAN总线通信测试
总线(Bus)指计算机各部件间执行信息传输工作的公共通信干线,是由导线组成的传输线束,通常由数据线、地址线、控制线构成。如将主板比作一座城市,就可将总线理解为城市中的公共汽车,按照固定行车路线传输信息。常见的总线有RS422/RS485总线、I2C总线、SPI总线、CAN总线(常用于汽车电子控制系统)、1553B总线(常用于航空、航天、军事等领域的电子联网系统)、1394总线(常用于航空系统领域)、FC总线(常用于航空航天领域)等。
2025-06-30 digiproto
-
权威认可|迪捷软件“基于全数字实时仿真的数字样机解决方案”荣登工信部重点推荐榜单
迪捷软件“基于全数字实时仿真的数字样机解决方案”成功入选工信部2024信息技术应用创新解决方案典型解决方案、重点推荐解决方案,受邀上台领奖,充分体现了业界对该方案在技术先进性、创新性和实际可行性方面的高度认可,彰显了该方案在信息技术应用创新领域的引领作用和广泛推广价值。
2025-06-27 digiproto
-
浅谈CompCert:经过形式化验证的可信编译器
对编译器的正确性进行验证的诸多手段中,最为严格的莫过于采用形式化方法。点开原文查看经过形式化验证的可信编译器CompCert。
2025-06-09 digiproto
-
思考:数字卫星可视化如何实现?
随着信息化时代的到来,全球范围内的通信和数据传输需求急剧增加,传统的有线通信和数据传输方式已无法满足大范围、远距离的通信和数据传输需求,卫星通信和数据传输技术应运而生。
2025-06-09 digiproto
-
摆脱硬件依赖:SkyEye在轨道交通中的仿真应用
在城市轨道交通系统中,信号系统承担着确保列车安全、高效运行的关键任务。从排列进路、信号开放,到终点折返与接发车,几乎每一个调度动作背后都依赖于信号系统的精密控制与实时响应。
2025-06-06 digiproto
-
故障注入的方法与工具
测试软件可靠性的诸多方法中,较为常见的一种为故障注入测试——根据选定的故障模型选择故障注入工具,人为地将故障注入系统并采集系统反应行为信息,从而进行可靠性分析。
2025-06-04 digiproto
-
软件工厂:下一代工业“看不见的流水线”
软件工厂不是一种工具,而是一种理念,是企业从“代码作坊”迈向“工业化开发”的路径。在AI与自动化浪潮不断推进的今天,谁能率先搭建起属于自己的软件工厂,谁就掌握了未来软件研发的主动权。
2025-05-23 digiproto