- 開講元
- 情報工学コース
- 授業形態
- 講義
- メディア利用科目
- 曜日・時限(講義室)
- 月1-2(W832) 木1-2(W832)
- クラス
- -
- 科目コード
- CSC.T431
- 単位数
- 2
- 開講年度
- 2017年度
- 開講クォーター
- 3Q
- シラバス更新日
- 2017年3月17日
- 講義資料更新日
- 2017年11月20日
- 使用言語
- 英語
- アクセスランキング
-
講義
第1回 イントロダクション，実時間システムの概要, スケジュール可能性解析
2017年09月25日(月) 1-2時限開講
講義
第2回 実時間システムの解析 (1): 静的スケジュールリング
2017年09月28日(木) 1-2時限開講
講義
第3回 組込みシステムのプログラミング (1): 組込みシステム概要，C/C++による組み込みシステムプログラミング(1)
2017年10月02日(月) 1-2時限開講
講義
第4回 組込みシステムのプログラミング (2): C/C++による組み込みシステムプログラミング(2)
2017年10月05日(木) 1-2時限開講
講義
第5回 RTOS (1): RTOSカーネルの役割，実時間タスク
2017年10月12日(木) 1-2時限開講
講義
第6回 RTOS (2): スレッドと同期機構
2017年10月16日(月) 1-2時限開講
講義
第7回 RTOS (3): 優先度とスケジューリング
2017年10月19日(木) 1-2時限開講
講義
第8回 休講
2017年10月23日(月) 1-2時限開講
講義
第9回 休講
2017年10月26日(木) 1-2時限開講
講義
第10回 RTOS (4): イベント処理機構
2017年10月30日(月) 1-2時限開講
講義
第11回 実時間システムのモデル化と検証 (1): 概要，時間オートマトン
2017年11月02日(木) 1-2時限開講
講義
第12回 実時間システムのモデル化と検証 (2): 時間オートマトンのモデル検査
2017年11月06日(月) 1-2時限開講
講義
第13回 実時間システムの解析 (2): 動的スケジューリング
2017年11月09日(木) 1-2時限開講
講義
第14回 進んだ話題 (1): 組み込みシステムのための新しいプログラミングパラダイム
2017年11月13日(月) 1-2時限開講
講義
第15回 進んだ話題 (2): Duration Calculus
2017年11月20日(月) 1-2時限開講
PDFファイルをご覧になるには、AdobeSystem社のプラグインソフトとして「Adobe Reader」が必要です。
お持ちでない方はこちらからダウンロード（無料）してご利用ください。
