前回に引き続いて，組み込みソフトウエアの検証手法について解説する。今回は，モデル解析やモデル・シミュレーションといったモデル・ベースの検証手法，およびソース・コード・ベースの開発手法を取り上げる。 （進藤　智則＝本誌）

渡辺　政彦
キャッツ
取締役副社長

　モデル・ベースの検証手法には，モデル検査，モデル解析，モデル・シミュレーションなどがある。前回は，モデル検査について解説した。2回目となる今回は，モデル解析から説明する。
　モデル解析とは，モデルの構文と整合性を静的にチェックする検証手法である。構文チェックでは通常，1ステートメント中のエラーを検出する。