摘要：功能退化是系统安全性问题的重要部分。目标树-成功树-动态主逻辑图（GTST-DMLD）在二值逻辑的基础上采用模糊逻辑对系统进行动态模拟,提供了分析系统功能退化的有力工具。通过模糊化与解模糊化手段相结合估算系统的性能变化,辅助进行安全性分析。给出了简化电子刹车系统示例。

关键词：功能退化 模糊逻辑 

单位：国防科学技术大学信息系统与管理学院 长沙410073