摘要
目前安全分析的方法多是建立在純硬體、或純軟體架構的觀念下，這些方 法都不足以分析一個電腦控制系統 (Computer-Controlled System)，因 為軟硬體間的互動關係 (Interaction) 都被忽略了。雙重參考架構模型 (Two Frame Model；TFM) 是一個針對此問題所提出的整合系統模型。 在本論文?芊A我們發展了一個在雙重架構模型觀念下以 Petri net 為基 礎的安全分析法。首先，我們將提出一個可以有效模擬 (Model) 參考架 構不一致問題的 Frame-Base Petri Net (FPN)。接著，一個具量化時序 的 Framed-Based Petri Net 亦被提出。然後，就是在Frame-Based Petri Net如何做安全分析的說明。這些分析的技巧可以找出由參考架構 不一致導致危險狀態的原因、時序上的同步錯誤、評估錯誤狀態 (Faulty State) 至系統事件間的量化時序。例子的研究將會證明我們方法的用法 及有效性。
並列摘要
In the field of safety analysis, most methods are either built for pure hardware analysis or pure software analysis. These methods are not enough to analyze a computer-controlled system, because the interaction between hardware and software is ignored. The Two Frame Model (TFM) is a model developed to solve this problem. This thesis develops framed-based safety analysis technique using Petri net. First, we propose a framed-based Petri Net Model which can effectively model the frame inconsistency problem. A frame-base Petri net with quantitative timing is also developed. Then, safety analysis under these Petri Nets are presented. These techniques can detected the causes for hazards induced by frame inconsistency, the synchronization errors, and estimate quantitative timing between a faulty state and an accident. Case studiesare provided to demonstrate the usage and effectiveness of the proposed method.
延伸閱讀
- 邱莘予、吳志毅（2020）。編寫自動檢測分析程式以進行PETMRI的ADNI phantom品管測試之經驗分享。臺灣醫事放射期刊，8(1)，51-56。https://doi.org/10.6717/JTMRT.202007_8(1).0007
- Hashizume, S., Yajima, T., Ito, T., & Onogi, K. (2004). 在Petri Nets基礎下之批工程程序的操作步驟與程序化控制器合成. Journal of the Chinese Institute of Chemical Engineers, 35(3), 363-369. https://doi.org/10.6967/JCICE.200405.0363
- 何慧群、Duc-Hieu Pham、劉維玲、永井正武（2017）。運用Petri Net、MSM與ISM結構分析教育實務。臺灣教育評論月刊，6(3)，224-231。https://www.airitilibrary.com/Article/Detail?DocID=P20130114001-201703-201703020016-201703020016-224-231
- 洪志明（1998）。Development of STS Module Linking Laboratory Safety to Life。師大學報：科學教育類，43(1)，19-25。https://doi.org/10.6300/JNTNU.1998.43(1).02
- Liu, T., Lin, C. L., & Liu, J. (2008). Application of FMEA and KT Method on Fab Daily Management. 品質學報, 15(6), 399-407. https://www.airitilibrary.com/Article/Detail?DocID=10220690-200812-15-6-399-407-a