安 全 關 鍵 計 算 實 驗 室

SAFETY-CRITICAL COMPUTING LABORATORY

• 指 導 教 授 ： 范 金 鳳 教 授

• 研 究 生 人 數 ： 7 人
  1. 硬 體 設 備 名 稱 ＆ 件 數 ：

  2. 80486 DX-40, 66, 586 共 六 部

  3. 平 行 處 理 計 算 機 一 部(Transputer T800)

  4. 雷 射 印 表 機 一 部

• 軟 體 設 備 名 稱 ＆ 件 數 ：
• 成 果 報 告：
  1. 先 後 完 成 以 下 多 項 成 果 ：

  2. 超 純 量 最 佳 化 編 譯 器

  3. 應 用 軟 體 科 學 理 論 制 定 工 程 計 劃 審 查 作 業 之 品 質 指 標

  4. 電 腦 輔 助 審 查 技 術 之 發 展 與 應 用

  5. 以 證 據 為 基 礎 的 軟 體 安 全 認 證 技 術 之 發 展 及 應 用

  6. 數 位 軟 體 安 全 分 析 技 術 發 展 及 應 用