トップエスイーシリーズ実践講座
UPPAALによる性能モデル検証
監：大須賀 昭彦
他著：長谷川 哲夫
他著：田原 康之
紙版
内容紹介
「リアルタイムシステム」（組込系など）への手法！
UPPAAL（ウパール）は，モデル検査ツールとしては比較的利用が容易ではあるが，実際の開発には多くのハードルがある．本書では，そのようなハードルを乗り越えるために必要な，UPPAALツール，時間オートマトン，検証したい性質を記述するための時間時相論理に関する知識，および実際の開発で検証の対象となるUML設計仕様のUPPAALによるモデル化方法など，具体的事例も交えてノウハウを解説している．
目次
1.UPPAALを使ってみよう／2.UPPAAL のシステムモデルと検証式／3.検証プロセス／4.ケーススタディ(1) オートクラッチ車ギア制御／5.ケーススタディ(2) オーディオデータ通信プロトコル／6.ソフトウェア設計とモデル検査／7.おわりに／付録 演習問題の解答例
ISBN：9784764904316
。出版社：近代科学社
。判型：B5変
。ページ数：208ページ
。定価：3800円（本体）
。発行年月日：2012年09月
。発売日：2012年09月28日
。国際分類コード【Thema（シーマ）】 １：UB。
