-
从6000架空客A320的紧急维修,看复杂飞控系统的验证边界
2025年11月28日,法国空客宣布对约6000架A320系列飞机实施紧急软件维修,并要求相关机型在完成升级前停飞。这一决定并非源于结构疲劳或传统意义上的机械故障,而是一次由飞行控制软件异常触发的系统性风险处置。
2025-12-26 digiproto
-
飞机的“十亿分之一”是什么?从安全评估到仿真验证全揭秘
飞机被广泛认为是当前最安全的交通工具之一。尽管其飞行高度高、速度快,但其事故率之低在各类交通方式中首屈一指。
2025-05-30 digiproto
-
知识-基于混合模式的多余度飞控全数字仿真系统研究
通过集成SkyEye和其他各类持续集成工具,将SkyEye虚拟硬件与DevOps工作流紧耦合,集项目管理和流水线于一体,可应用于嵌入式软件开发的全生命周期,打造持续集成全链路一站式平台。
2025-03-11 digiproto
-
浅议嵌入式软件覆盖率测试
随着现代信息技术与软硬件技术的快速发展,嵌入式系统的功能日益强大,嵌入式设备和软件应用领域越来越宽泛。近年来,嵌入式软件代码量呈爆炸式增长,对测试的要求越来越高,尤其是涉及防务、航空、汽车等安全关键领域。
2023-05-15 digiproto
-
SkyEye卫星篇:从无到有的国之“芯”
SkyEye(中文全称天目全数字仿真软件)是迪捷软件核心产品之一,具备仿真硬件的功能和性能要求,目前已经能够仿真多款嵌入式架构芯片,其中包括卫星中常用到SPARC、POWERPC等架构芯片,也包括我国自主研发的芯片——龙芯。
2023-05-15 digiproto