- 著者
-
渡辺 政彦
- 出版者
- 日経BP社
- 雑誌
- 日経エレクトロニクス (ISSN:03851680)
- 巻号頁・発行日
- no.911, pp.143-147, 2005-10-24
前回に引き続いて,組み込みソフトウエアの検証手法について解説する。今回は,モデル解析やモデル・シミュレーションといったモデル・ベースの検証手法,およびソース・コード・ベースの開発手法を取り上げる。(進藤 智則=本誌)渡辺 政彦キャッツ取締役副社長 モデル・ベースの検証手法には,モデル検査,モデル解析,モデル・シミュレーションなどがある。