ＮＥＴｓ〜組み込みソフトウエアの検証手法（２）　今だから学ぶ基礎知識
日経エレクトロニクス　第911号　2005.10.24

この記事の情報
掲載誌	日経エレクトロニクス　第911号（2005.10.24）
ページ数	5ページ　（全3936字）
形式	PDFファイル形式　（309kb）
雑誌掲載位置	143〜147ページ目

前回に引き続いて，組み込みソフトウエアの検証手法について解説する。今回は，モデル解析やモデル・シミュレーションといったモデル・ベースの検証手法，およびソース・コード・ベースの開発手法を取り上げる。（進藤　智則＝本誌）渡辺　政彦キャッツ取締役副社長　モデル・ベースの検証手法には，モデル検査，モデル解析，モデル・シミュレーションなどがある。前回は，モデル検査について解説した。２回目となる今回は，モデル…