论文部分内容阅读
研究了安全关键实时系统传统的高可信保障机制，提出了一种可支持多级关键度的新可信性保障机制。使用该机制则可根据各子系统的实际可信性需求采用相应的冗余数进行容措处理。为评估该可信性保障机制，改进了传统的多模型可信性评估方法。基于马尔可夫模型，文章建立了一种统一的可信性评估模型，使用该模型则可按不同关键度子系统的实际可信性需求进行独立的评估。同时，该文使用了大量的实例进行例证。