技術(shù)特征：

技術(shù)總結(jié)
本發(fā)明公開了一種安全計算機平臺熱備控制邏輯安全分析方法，包括：建立基于CPN的正常行為模型；建立基于CPN的故障行為模型；建立基于CPN的綜合行為模型；進行基于CPN的CBM模型危險故障組合檢驗。本發(fā)明克服了人工分析低效率和易出錯的實際問題。

技術(shù)研發(fā)人員：周果
受保護的技術(shù)使用者：上海自儀泰雷茲交通自動化系統(tǒng)有限公司
技術(shù)研發(fā)日：2016.11.08
技術(shù)公布日：2017.08.11