介紹了系統安全分析中事故樹分析軟件的自動化程序設計原理與方法，該軟件實現了事故樹的自動繪制、化簡，進行定性分析，自動求解最小割集， 繪制事故樹的等效樹，求解結構重要度。