...
机译:安全关键环境中用于软件验证和系统稳定性测试的电源和故障仿真
Institute of Technical Informatics, Graz University of Technology, Graz, Austria;
Circuit faults; Emulation; Hardware; Power demand; Safety; Software; Testing; Automotive embedded system; fault injection; fault tolerance; power estimation; software verification;
机译:使用基于软件故障树的可测性度量来测试数字安全系统软件
机译:基于故障树分析和熵的安全关键软件可测试性定量评估
机译:验证对软件测试至关重要的钻机动力系统
机译:安全关键系统正确性的正式组建验证方法:基于模型检查的方法方法,可自动验证安全关键系统软件
机译:核电厂数字I&C系统安全关键软件详尽检测框架的开发
机译:FPGA中系统故障注射仿真:工具技术和方法教程
机译:由于核电站安全关键I&C系统的周期性自动故障检测功能导致的容错评估模型
机译:KaERI软件验证和验证指南,用于开发Npp数字I和C系统中的安全关键软件