形式的モデル化

離散事象／実時間／ハイブリッドシステムのモデル化と解析

森北出版
平石邦彦　

• 価格: 5,060円（本体4,600円＋税）
• 発行年月: 2019年01月
• 判型: Ａ５
• ISBN: 9784627854215

内容情報

[BOOKデータベースより]

複雑・多様化するシステムの形式検証のために。堅牢なシステム構築のための、システムの数理的なモデル化・解析手法の理論的背景を詳説。

第１部　システムのモデル化（システムの概念；オートマトンと形式言語　ほか）
第２部　性質・ふるまいの記述（時相論理によるシステムの性質の記述；遷移システム・ラベル付き遷移システム）
第３部　拡張モデル（時間・確率システムのモデル化；ハイブリッドシステムのモデル化）
第４部　解析・検証・制御（基本的解析問題；決定性時間システム・ハイブリッドシステムの解析　ほか）

[日販商品データベースより]

ソフトウェアが正しく設計されているかを保証するための手法として，システムを数学的に厳密なモデルで記述し，仕様が満たされているかどうかを数理的に調べる，「形式検証」が注目されている．

本書では，モデル検査に代表されるように，現実のシステムにも適用可能になってきた形式検証を理解し，使いこなすための理論的背景について解説する．

離散事象システム，実時間システム，ハイブリッドシステムなど，さまざまなシステムに対する形式的モデル化手法と，その解析方法が網羅された1冊．