近代科学社

書籍検索
ジャンル選択

情報

トップエスイー実践講座 第5巻

UPPAALによる性能モデル検証

監修 大須賀 昭彦
著者 長谷川 哲夫
著者 田原 康之
著者 磯部 祥尚

「リアルタイムシステム」(組込系など)への手法!
UPPAAL(ウパール)は,モデル検査ツールとしては比較的利用が容易ではあるが,実際の開発には多くのハードルがある.本書では,そのようなハードルを乗り越えるために必要な,UPPAALツール,時間オートマトン,検証したい性質を記述するための時間時相論理に関する知識,および実際の開発で検証の対象となるUML設計仕様のUPPAALによるモデル化方法など,具体的事例も交えてノウハウを解説している.

電子書籍¥3,800 小売希望価格(税別)

紙の書籍¥3,800定価(税別)

基本情報

発売日 2012年9月28日
ページ数 208 ページ ※印刷物
サイズ B5 変形
ISBN 9784764904316
ジャンル 情報
タグ モデル検査
電子書籍形式 固定型

主要目次

1.UPPAALを使ってみよう/2.UPPAAL のシステムモデルと検証式/3.検証プロセス/4.ケーススタディ(1) オートクラッチ車ギア制御/5.ケーススタディ(2) オーディオデータ通信プロトコル/6.ソフトウェア設計とモデル検査/7.おわりに/付録 演習問題の解答例

目次をさらに表示する