UPPAALによる性能モデル検証 : リアルタイムシステムのモデル化とその検証
著者
書誌事項
UPPAALによる性能モデル検証 : リアルタイムシステムのモデル化とその検証
(トップエスイー実践講座, 5)
近代科学社, 2012.9
- タイトル別名
-
Performance model verification by UPPAAL
- タイトル読み
-
UPPAAL ニ ヨル セイノウ モデル ケンショウ : リアル タイム システム ノ モデルカ ト ソノ ケンショウ
大学図書館所蔵 件 / 全31件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
参考文献: p163-167
監修者: 大須賀昭彦
内容説明・目次
内容説明
実時間システム開発向けモデル検査ツールの標準UPPAALの日本初の解説書。組込みシステムの仕様や設計のモデリングと、機能や性能に関するモデル検査、開発プロセスの設計のための実用書。
目次
- 第1章 UPPAALを使ってみよう
- 第2章 UPPAALのシステムモデルと検証式
- 第3章 検証プロセス
- 第4章 ケーススタディ(1)オートクラッチ車ギア制御
- 第5章 ケーススタディ(2)オーディオデータ通信プロトコル
- 第6章 ソフトウェア設計とモデル検査
- 第7章 おわりに
「BOOKデータベース」 より