信頼性の高い組込みソフトウェアの振舞い設計

予備知識

　・組込みソフト設計の基礎知識(状態遷移図やシーケンス図等)

習得知識

　1)問題フレームの基礎
　2)組み込みソフトウェアの系統的な設計方法論
　3)設計の漏れの意味とその検出についての基礎
　4)最新の組み込みソフト設計技術の基礎
　　　－シーケンス図から状態遷移図の変換法
　　　－状態絵付状態遷移図の基礎

講師の言葉

　組み込みソフトウェアではエラーやその回復などの非正常系の処理が全体の約８割を占め、設計の中心的な
検討項目になる。　これらの非正常系の処理は、機器の状態やタイミングの特殊な組合せでのみ発生することが
多く、これを完全にテストすることは困難となる。　このため、システムの分析時や設計時に機器の状態やタイミ
ングの組合せを漏れなく把握することが重要になる。　最近注目されている問題フレームの考え方は、システムの
設計を始める前に問題を徹底分析する方式で、信頼性の高い組込みソフトの分析・設計に有効な方法論として
適用できると思われる。
　ここでは、問題フレームの考え方をベースに、組み込みシステムの設計でよく使われるシーケンス図や状態遷移
図(表)を使った振舞いの設計モデルを導入し、そこで状態やタイミングの組合せの漏れをシステマティックに検出し
漏れのない高信頼設計を得る方法を説明する。　更に、機器の状態を絵で表現することにより、より視覚的な設計で
漏れを見つける方式を紹介する。　最後に、これらのモデルの応用例として簡単な自動販売機を例にとり、シーケ
ンス図から状態遷移図への変換、漏れの検出、状態絵の使い方とそれを利用した設計アニメーションなどについて
説明する。