実時間システム開発向けモデル検査ツールの標準ＵＰＰＡＡＬの日本初の解説書。組込みシステムの仕様や設計のモデリングと、機能や性能に関するモデル検査、開発プロセスの設計のための実用書。
もくじ情報：第１章　ＵＰＰＡＡＬを使ってみよう；第２章　ＵＰＰＡＡＬのシステムモデルと検証式；第３章　検証プロセス；第４章　ケーススタディ（１）オートクラッチ車ギア制御；第５章　ケーススタディ（２）オーディオデータ通信プロトコル；第６章　ソフトウェア設計とモデル検査；第７章　おわりに

大須賀　昭彦(オオスガ　アキヒコ)
１９８１年上智大学理工学部数学科卒業。株式会社東芝。１９８５年～１９８９年（財）新世代コンピュータ技術開発機構（ＩＣＯＴ）。１９９５年工学博士（早稲田大学）。現在、電気通信大学大学院情報システム学研究科教授。ＩＥＥＥ　Ｃｏｍｐｕｔｅｒ　Ｓｏｃｉｅｔｙ　Ｊａｐａｎ　Ｃｈａｐｔｅｒ　Ｃｈａｉｒ、人工知能学会理事、日本ソフトウェア科学会理事などを歴任。ソフトウェア工学、人工知能の研究に従事