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