シラバス参照

授業情報／Course information

科目名／Course: 基盤ソフトウェア信頼性学（R7以前入学生用）／System Software Reliability
科目一覧へ戻る 2026/03/23 現在

授業基本情報
科目名（和文）
／Course		 基盤ソフトウェア信頼性学（R7以前入学生用）
科目名（英文）
／Course		 System Software Reliability
時間割コード
／Registration Code		 81A18102
学部（研究科）
／Faculty		 情報系工学研究科 博士後期課程
学科（専攻）
／Department		 システム工学専攻
担当教員（○：代表教員）
／Principle Instructor （○） and Instructors		 ○佐藤　将也
オフィスアワー
／Office Hour		 佐藤　将也(水曜3時限．2610室．事前にメールで連絡してください．)
開講年度
／Year of the Course		 2026年度
開講期間
／Term		 後期
対象学生
／Eligible Students		 1年,2年,3年
単位数
／Credits		 2
授業概要情報
更新日
／Date of renewal		 2026/02/27
科目ナンバリング
／Course Numbering		 履修案内を参照
使用言語
／Language of Instruction		 日本語
オムニバス
／Omnibus		 該当なし
授業概略と目的
／Cource Description and Objectives		 基盤ソフトウェアは現代の計算機システムを支える重要な基盤技術であり，計算機を用いたあらゆるサービスの基礎となっている．近年の基盤ソフトウェアは高度化と複雑化が進んでおり，その信頼性を維持することは容易ではない．本科目では，基盤ソフトウェアとその応用技術の信頼性について，可用性，堅牢性，安全性，およびセキュリティの観点から議論する．
履修に必要な知識・能力・キーワード
／Prerequisites and Keywords		 基礎的なアルゴリズムや計算機アーキテクチャの知識を有していること．
キーワード：オペレーティングシステム，仮想計算機，システムソフトウェア
履修上の注意
／Notes		 本科目は対面で実施する．
教科書
／Textbook(s)		 スライドを用いる．授業資料は配布する．
参考文献等
／References		 講義の中で適宜紹介する．
自主学習ガイド
／Expected Study Guide outside Coursework/Self-Directed Learning Other Than Coursework		 積極的に関連論文を読解することを推奨する．
資格等に関する事項
／Attention Relating to Professional License		 なし
アクティブラーニングに関する事項
／Attention Relating to Active Learning		 本科目では以下のアクティブラーニングを採用している．
・課題（レポート）
実務経験に関する事項
／Attention Relating to Operational Experiences		 該当しない
授業改善アンケートへのレスポンス
（2025年度以前は「備考」）
／Response to Course Evaluations		 初年度のためなし．
授業計画詳細情報
No. 単元（授業回数）
／Unit (Lesson Number)		 単元タイトルと概要
／Unit Title and Unit Description		 時間外学習
／Preparation and Review		 配付資料
／Handouts
1 1-2 [基盤ソフトウェアの基礎]
システムソフトウェアの基礎を概観する．
2 3-5 [並列分散処理]
並列処理や分散処理について説明する．
3 6-8 [可用性]
冗長化，障害の検知，および障害からの復旧について説明する．
4 9-11 [信頼性]
テスト，検証，バグ検出ついて説明する．
5 12-14 [安全性]
セキュリティ，監視，フェイルセーフについて説明する．
6 15 [まとめ]
講義全体を総括する．
成績評価詳細情報
到達目標及び観点／Learning Goal and Specific Behavioral Viewpoints
No. 到達目標
／Learning Goal		 知識・理解
／Knowledge & Undestanding		 技能・表現
／Skills & Expressions		 思考・判断
／Thoughts & Decisions		 伝達・コミュニケーション
／Communication		 協働
／Cooperative Attitude
1 基盤ソフトウェアにおける基本的な要素技術を理解し，説明できる．(A) ○ ○
2 基盤ソフトウェアにおける可用性，信頼性，および安全性について，具体的な事例を挙げて説明できる．(A) ○ ○
3 基盤ソフトウェアにおける最先端の研究内容について議論できる． ○ ○ ○
成績評価方法と基準／Evaluation of Achievement
※出席は2/3以上で評価対象となります。
No. 到達目標
／Learning Goal		 定期試験
／Exam.		 レポート・発表
1 基盤ソフトウェアにおける基本的な要素技術を理解し，説明できる．(A) ○
2 基盤ソフトウェアにおける可用性，信頼性，および安全性について，具体的な事例を挙げて説明できる．(A) ○
3 基盤ソフトウェアにおける最先端の研究内容について議論できる． ○
評価割合（％）
／Allocation of Marks		 100

科目一覧へ戻る