Markov analyzing; RTEMS; software fault tolerance; task scheduling;
机译:基于软件检查,需求可追溯性和容错性,分析安全关键系统软件需求的集成技术。
机译:评估通往SEU的GPU管道的可靠性以及基于软件和基于硬件的容错技术的影响
机译:通过实时软件设计实现容错
机译:基于RTEMS的软件容错设计研究。
机译:基于SRAM的FPGA中实现的软核处理器的硬件和软件容错
机译:使用软件定义的网络提高数据平面上数据平面的容错
机译:软件容错的最新技术和Delta-4初步报告中软件容错的使用