TOP > 情報工学
 □ ニュースリリース
 
【重要】
電子書籍無料ダウンロードを装った
違法サイトにご注意ください!
コミュニケーション・
情報リテラシー
工学一般
情報工学
電子工学
数学
物理学
ビジネス・経済
建築・都市計画
科学一般
公立はこだて未来大学出版会
発行
ナノオプト発行
弊社の書籍はお近くの書店・大学生協でお求めいただけます。店頭にない場合はお店からお取り寄せもできます。また、インターネットでもご購入いただけますので各販売サイトをご覧ください。
  サポート
   正誤表、授業用の教材などが
   あります
  地図(インプレスグループ)
   Google Map


株式会社 近代科学社

〒162-0843
東京都新宿区市谷田町2-7-15
TEL : 03-3260-6161
FAX : 03-3260-6059

 
情報工学
 
トップエスイー実践講座5 モデル検査ツール入門・活用の第一歩
UPPAALによる性能モデル検証

book

発売日:2012.09.28発売
定価:本体3,800円+税

紀伊國屋書店で注文
アマゾンで注文

 

「リアルタイムシステム」(組込系など)への手法!

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

 
著者 シリーズ監修:本位田 真一 監修:大須賀 昭彦(電気通信大学)
著者:長谷川 哲夫(東芝) 田原 康之(電気通信大)
磯部 祥尚(産業技術研究所)
ページ数 208
サイズ B5変型
ISBN 978-4-7649-0431-6
     
主要目次

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

トップへ
 
本サイトのご利用についてお問合せプライバシーについて | 会社概要 | インプレスグループサイト | インプレスグループTop |
 Copyright © 2016 Kindai kagaku sha Co.,Ltd, an Impress Group company. All rights reserved.