説明
コンピュータシステム障害の原因と結果。耐故障コンピュータシステムの構造。ソフトウェアとデータをコンピュータ障害から保護する方法。システム信頼性の定量化。安全性クリティカルなシステムの形式手法の入門。コンピュータおよびコンピュータネットワークのセキュリティ。
前提条件
- 前提条件：M.Eng. - Engineering Practice プログラムへの在籍およびコンピュータ工学またはソフトウェア工学の学士号、またはディレクターの許可。
条件および詳細
- 前提条件：M.Eng. - Engineering Practice プログラムへの在籍およびコンピュータ工学またはソフトウェア工学の学士号、またはディレクターの許可。
原語による参照テキスト
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/