本發明公開了一種基于統計模型檢測的隨機混成系統安全性分析方法,屬于大數據技術領域,首先通過DFT分解算法將DFT分解為動態邏輯門、基本構件、門與門和門與構件間的邏輯關系,然后將動態邏輯門與基本構件轉換為隨機混成自動機,在然后對隨機混成自動機進行重構,形成隨機混成自動機網絡,最后將規約性質與隨機混成自動機網絡模型輸入到統計模型檢測工具Uppaal?SMC中,得到隨機混成系統動態故障樹模型定量分析的結果,解決了現有DFT定量分析方法難以解決隨機混成系統的安全性分析的技術問題,本發明可以解決傳統DTF分析方法僅能針對于失效概率服從指數分布的系統的情況。
聲明:
“基于統計模型檢測的隨機混成系統安全性分析方法” 該技術專利(論文)所有權利歸屬于技術(論文)所有人。僅供學習研究,如用于商業用途,請聯系該技術所有人。
我是此專利(論文)的發明人(作者)