課程說明
電腦系統失效之原因與後果。容錯電腦系統之結構。保護軟體與資料免於電腦失效之方法。系統可靠度之量化。安全關鍵系統形式方法之導論。電腦與電腦網路安全。
先修條件
- 先修課程：註冊於 M.Eng.- Engineering Practice program 且具電腦或軟體工程之學士學位，或經主任許可。
條件與方式
- 先修課程：註冊於 M.Eng.- Engineering Practice program 且具電腦或軟體工程之學士學位，或經主任許可。
原文參考文本
Causes and consequences of computer system failure. Structure of fault-tolerant computer systems. Methods for protecting software and data against computer failure. Quantification of system reliability. Introduction to formal methods for safety-critical systems. Computer and computer network security.
- Prerequisite(s): enrolment in the M.Eng.- Engineering Practice program and an undergraduate degree in Computer or Software Engineering or permission of the Director.
來源與參考
保留日期與來源以協助你核實資料。為便於閱讀提供譯文；官方來源為條件與要求的參照。
來源參考 : https://calendar.carleton.ca/grad/courses/EGEN/