UPPAALによる性能モデル検証 : リアルタイムシステムのモデル化とその検証
著者
書誌事項
UPPAALによる性能モデル検証 : リアルタイムシステムのモデル化とその検証
(トップエスイー実践講座, 5)
近代科学社, 2012.9
- タイトル別名
-
Performance model verification by UPPAAL
- タイトル読み
-
UPPAAL ニ ヨル セイノウ モデル ケンショウ : リアル タイム システム ノ モデルカ ト ソノ ケンショウ
電子リソースにアクセスする 全1件
大学図書館所蔵 全31件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
参考文献: p163-167
監修者: 大須賀昭彦
内容説明・目次
内容説明
実時間システム開発向けモデル検査ツールの標準UPPAALの日本初の解説書。組込みシステムの仕様や設計のモデリングと、機能や性能に関するモデル検査、開発プロセスの設計のための実用書。
目次
- 第1章 UPPAALを使ってみよう
- 第2章 UPPAALのシステムモデルと検証式
- 第3章 検証プロセス
- 第4章 ケーススタディ(1)オートクラッチ車ギア制御
- 第5章 ケーススタディ(2)オーディオデータ通信プロトコル
- 第6章 ソフトウェア設計とモデル検査
- 第7章 おわりに
「BOOKデータベース」 より