UPPAALによる性能モデル検証: リアルタイムシステムのモデル化とその検証

ISBN-10: 4764904314
ISBN-13: 9784764904316
Category: Technology & Engineering
Pages: 183
Language: Japanese
Published: 2012-09
Publisher: 近代科学社
Authors: 長谷川哲夫, 田原康之, 磯部祥尚

Description

UPPAALは，モデル検査ツールとしては比較的利用が容易ではあるが，実際の開発には多くのハードルがある．本書では，そのようなハードルを乗り越えるために必要な，UPPAALツール，時間オートマトン，検証したい性質を記述するための時間時相論理に関する知識，および実際の開発で検証の対象となるUML設計仕様のUPPAALによるモデル化方法など，具体的事例も交えてノウハウを解説している．【目次】第1章 UPPAALを使ってみよう第2章 UPPAALのシステムモデルと検証式第3章検証プロセス第4章ケーススタディ(1)オートクラッチ車ギア制御第5章ケーススタディ(2)オーディオデータ通信プロトコル第6章ソフトウェア設計とモデル検査第8章おわりに付録演習問題の解答例

Get the book

Similar books

Animal Sciences: The Biology, Care, and Production of Domestic Animals, Fourth Edition
By John R. Campbell, M. Douglas Kenealy, Karen L. Campbell
Timberlake claimed in 1980 that a fundamental problem with Singer's work is the lack of an adequate definition of suffering ...
Resilient Agriculture: Cultivating Food Systems for a Changing Climate
By Laura Lengnick
3. D. Layne. 2013. Tree Fruit: Protecting Your Investment. American/Western Fruit Grower, September/October. 4. R. Snyder and J. Melu-Abreu. 2005. Frost ...
Biodesign: The Process of Innovating Medical Technologies
By Stefanos Zenios, Josh Makower, Paul Yock
At that time, these were in the low $10s of millions. ... be a good partner going forward, even though it takes longer to get the deal done," offered Chess.
Advanced Signal Processing: A Concise Guide
By Amir-Homayoon Najmi, Todd Moon
[ 59 ] S. Kotz , T. J. Kozubowski , and K. Podgorski , The Laplace ... valued signal processing : The proper way to deal with impropriety , ” IEEE Trans .
Resources for Technical Communication
By Pearson Education, Pearson Education Staff, David P Pearson Education
Some documents are annotated; some are left without annotations to provide more flexibility for instructors. This booklet can be packaged at no additional cost with any Longman title in technical communication.
Chemistry: An Introduction to General, Organic, and Biological Chemistry; Chemistry Study Pack Version 2.0 CD-ROM; The Chemistry of Life CD-ROM;...
By Karen C. Timberlake
Chemistry: An Introduction to General, Organic, and Biological Chemistry; Chemistry Study Pack Version 2.0 CD-ROM; The Chemistry of Life CD-ROM;...
Poultry Science: Fifth Edition
By Colin G. Scanes, Karen D. Christensen
The emission rates for ammonia (Casey et al., 2006): • Layers: 116 g NH3 per AU (AU or animal unit or 500 kg). • Broilers: 135 g NH3 per AU (AU or animal unit or 500 kg). Emission rates in different reports vary from less than either 10 ...
Solid State Materials Chemistry
By Patrick M. Woodward, Pavel Karen, John S. O. Evans
[45] B.F. Hoskins, R. Robson, “Design and construction of a new class of scaffolding-like materials comprising infinite polymeric frameworks of 3D-linked molecular rods. A reappraisal of the zinc cyanide and cadmium cyanide structures ...
Abbreviations Dictionary
By Dean A. Stahl, Karen Landen
... Tallest Mountain Mount Robson—12,972 feet or 3,954 meters—in the Canadian Rockies Canada's Westernmost City Dawson, Yukon Canada's Westernmost Point in Yukon Territory just east of Alaska's Demarcation Point Canary Islands' Largest ...
Agriculture: A Very Short Introduction
By Paul Brassley, Richard Soffe
ACCOUNTING Christopher Nobes ADVERTISING Winston Fletcher AFRICAN AMERICAN RELIGION Eddie S. Glaude Jr AFRICAN HISTORY ... Hugh Bowden ALGEBRA Peter M. Higgins AMERICAN HISTORY Paul S. Boyer AMERICAN IMMIGRATION David A. Gerber AMERICAN ...