複合系統安全驗證技術發展與應用

Abstract

複合系統是指一系統中同時包含在連續 領域中依物理定律動態變化的程序、組件， 以及含在離散領域中以狀態轉變方式變化的 程序、組件。兩者個別存在時其行為所遵循 的變化規則各不相同，在整合成複合系統後 經由交互作用常會呈現原各別獨立時不具有 的浮現性質。針對個別系統，工程師已發展 出成熟有效的分析驗證方法可以驗證所設計 產品是否符合需求，但對混合兩種特性的複 合系統目前尚無完整的方法可以分析子系統 間互動形成的複雜現象。 本項研究的目的是 為發展有效分析複合系統行為的技術與工 具，使用事故序列模擬方式以驗證複合系統 之安全性。