Abstract
本研究之主要目的是將系統之構建工作朝向完全自動化及有效化方向設計，因此先將系統分兩階段分解以降低系統之大小與複雜度，再針對此縮簡之系統進行故障樹之自動化合成，最後再還原成原來之系統之故障樹，經過這種分解後，如控制/解扣迴路(Control/trip loops)等這類的子系統暫時被當成模組再看成虛擬元件(dummy unit)，因此一個頂端事件(topevent )之故障樹將先針對被縮簡之系統開始合成，然後再個別還原那些被噹成虛擬元件的模組化子系統去發展出完整之故障樹。為了達成完全自動化，本研究亦必須建立標準化元(零組)件及其功能操作行為模型之資料庫，為了讓真對縮簡系統之故障樹也能自動化的合成，每一個虛擬元件也將試著被標準化，然後建立其標準化的I/O表後，預先存入資料庫中。本言究亦將設計出一合適的系統輸入格式，讓只要輸入系統與頂端事件後，故障樹即能被自動合成。