はてなブックマーク

国立情報学研究所 （National Institute of Informatics） 本位田研究室 トップエスイープロジェクト事務局 〒101-8430 東京都千代田区一ツ橋2-1-2 TEL : 03-4212-2692 FAX : 03-4212-2697 e-mail : admin＠topse.jp

日本ソフトウェア科学会　チュートリアル トップエスイーチュートリアルシリーズ： モデル検査ツールUPPAALを使った時間制約の検証 参加募集のご案内 ■チュートリアルの趣旨と概要 本チュートリアルでは，システムの時間制約をモデル検査ツールUPPAALによっ て検証する方法について講演します。 ソフトウェア開発の上流工程で信頼性を向上させる技術として，形式手法の一 つであるモデル検査に基づく設計検証が注目されています。従来，形式手法は， 宇宙探査機や原子力発電所の制御など高い信頼性を必要とするシステムの検証 に用いられていましたが，組み込みシステムの分野においてもソフトウェアの 複雑化に伴い，もはや，人手によるレビューが困難になりつつあり，モデル検 査の活用が望まれています。また，モデル検査を行うためのツールの開発・公 開により，一般のソフトウェア技術者もその技術を利用可能になってきました。