计算机辅助安全评价是现今不少学者进行研究的领域。由于人工安全评价精度不高、速度慢、操作复杂,且评价周期长、代价昂贵,所以实现计算机辅助安全评价已经成为很多企业亟待解决的问题。 运用SDG建模技术于各种安全评价方法是近年来安全评价方法自动化的一个重要研究方向。尤其是SDG方法与HAZOP分析都是双向推理,因而SDG方法是目前完成自动HAZOP最有效的方法。本文基于HAZOP分析中不可或缺的非正常原因和不利后果信息进行搜集整理,设计并实现了计算机辅助HAZOP故障模式系统。 本文较详细的介绍了SDG建模方法及其与各种安全评价方法之间的关系,对于本实验室自主开发的SDG推理引擎做了概要介绍。并提出将SDG-HAZOP模型中的非正常原因节点细化为SDG模型的想法。 在软件系统设计部分,本文介绍了使用标准统一建模语言UML建立软件故障模式系统模型的方法,着重介绍了用例图和时序图;然后介绍了运用面向对象方法构造软件系统的过程。