-
看不见的核安全:核控制系统如何降低测试风险?
在所有高安全等级的工业控制系统中,核电控制系统无疑是最为特殊、最为严苛的存在。它不仅承担反应堆启停、功率调节、安全保护与应急切除等核心任务,更是整个核设施安全链条的中枢神经。
2025-11-14 digiproto
-
敏捷、DevOps和嵌入式系统测试
01 覆盖率测试概念“测试”在百度百科中的注释为:具有试验性质的测量,即测量和试验的综合。如今人们在提到“测试”时,通常指代的是软件测试(Software Testing),而本文着墨对象则为嵌入式系统测试(Embedded Testing)。嵌入式系统测试,特指对嵌入式系统中的软件部分进行测试,与软件测试有所不同。1.1. 嵌入式系统的具体定义IEEE(国际电机工程师协会):嵌入式系统是“控制、
2025-11-10 digiproto
-
汽车软件的模糊测试
01ISO/SAE 21434与模糊测试随着AI(Artificial Intelligence,人工智能)、移动通讯、大数据及物联网等新技术、新基础设施建设的高速发展,汽车,尤其是新能源汽车已不再是简单的交通工具,而是逐渐向智能终端转变,安全问题也随之凸显。2021年8月31日,汽车信息安全领域首个国际标准ISO/SAE 21434(道路车辆-网络安全工程)正式发布,众多OEM厂商(Origin
2025-07-15 digiproto
-
基于软件在环的飞控机建模仿真
机载软件安全性是指通过软件验证减少机载软件生命周期内的错误,直到软件错误在可控范围内,进而保证软件在使用过程中不具备引发系统危害的能力。
2025-03-10 digiproto
-
异构仿真:打造更可靠的综合化航空电子软件
综合化航空电子系统是一类典型的安全关键系统,具有分布式、异构、计算资源和物理资源强耦合等特征。随着IMA系统趋于复杂化和智能化,系统的功能越来越多地采用软件来实现,如何打造更为可靠的综合化航空电子软件成为一个重要挑战。
2025-03-10 digiproto
-
Schiaparelli着陆器坠毁事故回溯与思考
2016年10月19日,Schiaparelli火星着陆器尝试登陆火星的过程中,在预定着陆前50秒与地面控制中心失联并意外坠毁,引起较大轰动。点击原文了解事故详情和解决方案。
2023-05-15 digiproto