組込み開発における検証効率化技法D04-02
講義概要
講座日程：2016年8月22日 (半日間）
組込みシステムが大規模化する一方で、世界レベルの競争に勝つためには短期開発が求められる。設計品質を下げることなく設計・検証を効率的に進めるためには、どのような検証をいつどのようにして検証するかがポイントとなる。本講義では、検証の効率化に焦点をあてて、検証アーキテクトに必要な技法や考え方を解説と演習および事例を通じて学ぶ。
講師 三菱電機マイコン機器ソフトウエア株式会社 石野 禎将
1981年三菱電機㈱入社後、通信機製作所にて、携帯電話・レーダ応用装置・人工衛星等に組み込むLSIの開発、社内技術者教育、ソフトウエア開発プロセス構築、社内情報システム開発、および社内情報セキュリティ強化に従事。2007年から設計システム技術センターにて、ＦＡ機器・自動車搭載機器等の組込みシステムの設計・検証技術を開発。2013年から現職。
講義内容
- 組込みシステム開発における検証について考える
- 面倒な検証作業を効率的に行う
- (1) デザインレビューを効率化する
- (2) 流用設計に潜む問題を効率的に洗い出す
- (3) 検証項目を削減する
- (4) テストを自動化する
- 実際の開発事例を通じて考察する
受講要件
アーキテクチャ設計コースベース科目修了程度の知識があり、検証に興味があること。 組込みシステム開発に従事した経験がある、または従事する計画があること。
教科書
講義２週間前に電子ファイル送付（事前学習を推奨）
講義に関連する解説記事・参考文献等
「高信頼化ソフトウェアのための開発手法ガイドブック－予防と検証の事例を中心に－」
独立行政法人情報処理推進機構ソフトウェア・エンジニアリング・センター編，2011.3.28.
http://sec.ipa.go.jp/sweipedia/catl001/catm028/cats029/56223/
「テスト観点に基づくテスト開発方法論」西康晴，2013.5.10.
http://qualab.jp/materials/VSTeP.130510.bw.pdf
「書き換え自由なFPGAの罠から抜け出すために、三菱電機マイコン機器ソフトが講演」小島郁太郎， 日経テクノロジーonline 2014.10.14.
(http://techon.nikkeibp.co.jp/article/NEWS/20141011/382140/)
