完整後設資料紀錄
| DC 欄位 | 值 | 語言 |
|---|---|---|
| dc.contributor.author | 史龍安 | |
| dc.contributor.author | 范金鳳 | |
| dc.date.accessioned | 2009-06-02T08:41:29Z | |
| dc.date.accessioned | 2020-07-05T06:32:05Z | - |
| dc.date.available | 2009-06-02T08:41:29Z | |
| dc.date.available | 2020-07-05T06:32:05Z | - |
| dc.date.issued | 2006-06-28T01:29:49Z | |
| dc.date.submitted | 2003-12-19 | |
| dc.identifier.uri | http://dspace.fcu.edu.tw/handle/2376/1782 | - |
| dc.description.abstract | 本論文延伸Nancy Leveson 的最新正規 方法SpecTRM-RL，我們由SpecTRM-RL 規格 中，衍生了狀態轉換圖及UML 時序圖以增進 此方法的可讀性。我們又在狀態圖及 SpecTRM-RL 上添增故障情況（ failure conditions），並根據此延伸的規格並發展了一 套有系統建構故障樹的方法，以進行安全分 析。我們的目的在提昇電腦控制系統的軟體安 全性。我們以火車過平交道案例來說明此方法 的可行性及有效性。 | |
| dc.description.sponsorship | 逢甲大學,台中市 | |
| dc.format.extent | 8P. | |
| dc.format.extent | 497288 bytes | |
| dc.format.mimetype | application/pdf | |
| dc.language.iso | zh_TW | |
| dc.relation.ispartofseries | 中華民國92年全國計算機會議 | |
| dc.subject | SpecTRM-RL | |
| dc.subject | 安全分析 | |
| dc.subject | 故障樹 | |
| dc.subject.other | 其他領域 | |
| dc.title | 延伸正規方法SpecTRM-RL以進行安全分析 | |
| dc.title.alternative | Extending Formal Method SpecTRM-RL for Safety Analysis | |
| 分類: | 2003年 NCS 全國計算機會議 | |
文件中的檔案：
| 檔案 | 描述 | 大小 | 格式 | |
|---|---|---|---|---|
| OT_1352003281.pdf | 485.63 kB | Adobe PDF | 檢視/開啟 |
在 DSpace 系統中的文件，除了特別指名其著作權條款之外，均受到著作權保護，並且保留所有的權利。