本/雑誌
UPPAALによる性能モデル検証 リアルタイムシステムのモデル化とその検証 (トップエスイー実践講座)
大須賀昭彦/監修 長谷川哲夫/著 田原康之/著 磯部祥尚/著
4180円
| ポイント | 1% (41p) |
|---|---|
| 発売日 | 2012/09/27 発売 |
| 出荷目安 | メーカー在庫見込あり:1-3週間
※出荷目安について |
追跡可能メール便利用不可商品です
商品説明
実時間システム開発向けモデル検査ツールの標準UPPAALの日本初の解説書。組込みシステムの仕様や設計のモデリングと、機能や性能に関するモデル検査、開発プロセスの設計のための実用書。
関連記事
収録内容
| 1 | 第1章 UPPAALを使ってみよう |
| 2 | 第2章 UPPAALのシステムモデルと検証式 |
| 3 | 第3章 検証プロセス |
| 4 | 第4章 ケーススタディ(1)オートクラッチ車ギア制御 |
| 5 | 第5章 ケーススタディ(2)オーディオデータ通信プロトコル |
| 6 | 第6章 ソフトウェア設計とモデル検査 |
| 7 | 第7章 おわりに |
close