-
基于仿真的飞机ICD工具测试
机载电子系统仿真在近几十年的中国航空工业的发展中发挥了重要作用,将仿真与ICD相结合,便能够通过验证消息数据一致性来完成现实中成本高昂的子系统测试。
2023-11-03 digiproto
-
SkyEye卫星篇-国的加强“芯”
近年来,卫星产业发展迅猛,数字化、网络化、智能化、服务化转型升级需求日益增长。为进一步完善星务软件验证工作、获取在轨卫星模拟数据,“数字卫星”成为当下主流趋势。
2023-05-15 digiproto
-
Schiaparelli着陆器坠毁事故回溯与思考
2016年10月19日,Schiaparelli火星着陆器尝试登陆火星的过程中,在预定着陆前50秒与地面控制中心失联并意外坠毁,引起较大轰动。点击原文了解事故详情和解决方案。
2023-05-15 digiproto
-
L2C中Lustre语义的环境定义
随着计算机技术越来越多地应用于航空航天、核电、高速铁路等安全关键系统(SCS,Safety-Critical System),对计算机技术的安全性要求也越来越高。安全关键系统中的丝毫错误都可能引发巨大的灾难。如何为安全关键系统构造一个基础的安全软件环境是需要面对的首要问题,尤其是对操作系统、编译器等基础软件。
2023-05-15 digiproto