-
深入浅出MC/DC
随着计算机行业的发展,嵌入式系统在通讯、网络、工控、医疗、电子等领域都发挥着越来越重要的作用。尤其是在一些安全关键领域,如航空航天等,软件一旦出现故障,可能会产生灾难性的后果。这就要求在软件投入使用前,必须对其进行严格的测试、确认和验证。
2023-05-15 digiproto
-
虚拟平台中的“有意”/“无意”故障注入
众所周知,在硬件上直接执行故障注入既复杂又昂贵,且难以精确控制注入时间与位置,容易对目标系统硬件造成损伤。虚拟平台可有效规避此类问题。
2023-05-15 digiproto
-
浅议飞机状态监控
安全问题一贯是全球航空业的重中之重,随着航空装备的日益发展,飞机性能不断提高、功能不断完善,飞机系统结构愈加复杂,与之对应的维护保障成本也日益提升,如何解决这一问题依然是是航空从业者需要研究的课题。
2023-05-15 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