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