| 題名: | 正規方法應用於建構安全個案 |
| 其他題名: | Formal Methods for Safety Cases |
| 作者: | 楊仁賢 范金鳳 林錦銘 |
| 關鍵字: | 正規方法 安全個案 安全關鍵計算系統 斷言 反應器保護系統 formal methods safety case safety -critical computing systems assertion reactor protection systems |
| 期刊名/會議名稱: | 1999 NCS會議 |
| 摘要: | 本文提出應用正規方法於安全關鍵計算系統執照審查作業上的新應用。安全個案為安全關鍵系統申請執照時所需提出之一組證據文件，用以說明其系統符合安全要求。現行的安全個案建構方法多半不夠嚴謹，本文以正規規格為核心，發展安全個案建構方法。我們以一數位化核能保護系統設計符合法規要求，同時亦發展以規格為基礎的測試及線上偵錯執技術，經由這些方法可提供較客觀嚴謹的安全論證。 |
| 日期: | 2006-10-27 |
| 分類: | 1999年 NCS 全國計算機會議 |
文件中的檔案：
| 檔案 | 描述 | 大小 | 格式 | |
|---|---|---|---|---|
| ce07ncs001999000023.pdf | 592.34 kB | Adobe PDF | 檢視/開啟 |
在 DSpace 系統中的文件，除了特別指名其著作權條款之外，均受到著作權保護，並且保留所有的權利。