イベント駆動型ソフトウェアの設計D03-01
講義概要
講座日程：2015年8月3日(半日間）
応答性が重視される組込みソフトウェアの設計では、業務系ソフトウェアなどでは一般的な処理フローに基づく設計から、イベントを中心とした設計に視点を変える必要がある。本講義では、イベント駆動型ソフトウェアの設計に不可欠な並行処理と状態遷移の意義及びそれらを組み合わせた設計方法について解説する。
講師 大阪大学 春名 修介
パナソニック㈱にて、プログラミング処理系、ソフトウェア開発環境、アーキテクチャ設計手法などに関する研究開発・製品応用及び社内教育に従事。2013年9月より、大阪大学大学院情報科学研究科 特任教授。
講義内容
イベント駆動型ソフトウェアの設計では、状態遷移設計が大きな比重を占める。特に、処理中にも別のイベントへの応答が要求されることは、並行動作の設計と状態遷移の設計が不可分の関係にあることを示している。しかし、このようなシステムの設計方法については、定型化されてはおらず、属人的なノーハウの域を脱していない。本講義では、開発現場で発生しがちな簡単な問題を事例に使って、並行動作を考慮した状態遷移設計の必要性・意義を明らかにする。
講義内容
- 組込みソフトウェアのアーキテクチャ設計（静的構造と動的構造）
- 動的構造の設計
- リアルタイムOSとは
- 状態遷移設計とは
- タスク設計と状態遷移設計
- RTC（Run To Completion：走りきり）の重要性
- 事例研究
受講要件
講義の中でも適宜補足するので必須ではないが、リアルタイムOSに関する知識を有することが望ましい。
教科書
講義２週間前に電子ファイル送付（事前学習を推奨）
講義に関連する解説記事・参考文献等
- JEITA 組込み系ソフトウェア・ワークショップ2014 基調講演：実践的モデリング論 ～難しいことを考えずモデリングを実践するには～ http://home.jeita.or.jp/page_file/20141210172704_u7ctvk8KnY.pdf
- Hassan Gomma, Software Design Methods for Concurrent and Real-Time Systems, Addison Wesley Publishing Company, ISBN 0-201-52577-1
- Derek.J.Hatley、Imtiaz A.Pirbhai、立田種宏（訳）、リアルタイム・システムの構造化分析、日経BP
