安全關鍵計算系統程序競爭現象之研究

A Study of the Competing Processes in Safety-Critical Computing System

陳志祥(Jyh-Shyang Chen)

指導教授 ： 范金鳳 博士

元智大學/資訊學院/資訊工程學系/碩士(2004年)

摘要

近年來，安全關鍵計算系統數位化已成為主要趨勢，使得安全關鍵系統朝向具有大型化及複雜化特性，操作管理上更具人性化、易控性、圖示化及強大控制能力等特性。相對的對人、計算機系統及實體設備三者之間可能引發程序間無法協調且產生衝突動件，引發程序競爭現象，進而導致意外事件的發生，輕則危害系統設備，重則造成人員生命傷害、系統設備毀損或週遭環境傷害。如何避免程序競爭現象以提昇系統可靠度及安全性，已是當今刻不容緩的課題。
本論文探討安全關鍵計算系統所面臨問題本質及整合相關安全分析技術，建立程序競爭現象的分析技術，並建構適性化的模擬環境，對有潛藏程序競爭現象加以判斷，並提供實際設計及未來運轉之參考。

關鍵字

程序競爭 ； 安全關鍵計算系統

並列摘要

In recent years, the digitization of safety-critical computing systems has already become the main trend. This makes the systems more complicated, user-friendly and flexible. However, the digitalization also brings the potential competing problems: the potential competing phenomena among the human operator, the computer system and the hardware system, which can be viewed as the cognitive frame, the logical frame and the physical frame, respectively. The competing phenomena may cause device damage, or even worse, they may put human lives and environment in danger. How to avoid the competing problems and enhance the safety of the operation of these safety-critical computing systems is an urgent issue.
This thesis investigates the intrinsic nature of this problem as well as the current safety analysis techniques. We have designed an analysis method to identify competing process problems and have constructed a simulation environment to study this issue. Results of the simulation can be used to identify competing processes and also used in design as well as in future operation.

並列關鍵字

Competing Processes ； Safety-Critical Computing System

參考文獻

[1] Butler, R.W., Miller, S.P.; Potts, J.N.; Carreno, V.A.,“A Formal Methods Approach to the Analysis of Mode Confusion,” The AIAA/IEEE/SAE, pp.C41/1, C41/8,Vol. 1 ,31 Oct.-7 Nov. 1998.

[2] Cha,S.S., Leveson,N.G., Shimeall,T.J., “Safety verification in MURPHY using fault tree analysis,” Software Engineering, 1988., Proceedings of the 10th International Conference on , pp.377 — 386,11-15 April 1988.

[3] Fan,Chin-Fng, Chen,Wen-Hou,“Accident sequence analysis of human-computer interface design,” Reliability Engineering and System and Safety 67,pp 29-40,2000.

[4] Fan ,Chin-Fng,Yih, S. “Frame-based safety analysis approach for decision-base errors,”Reliability Engineering and System Safety 55,243-256,1997.

[5] Gerald Lüttgen,Victor Carreño, “Analyzing Mode Confusion via Mode Checking,”NASA/CR-1999-209332 report, May 1999.