UPPAAL
リアルタイムシステム・モデル検査ツール
「形式手法」は機能安全規格等で、その利用を推奨されるなどソフトウェア品質の確保の為の技術として注目されています。UPPAALは時間制約を含むシステムの挙動をモデル化し、検査することができるモデル検査ツールです。
リアルタイムシステム検査ツール『ＵＰＰＡＡＬ』のダウンロード (748.8Kb)
関連カタログ
UPPAALの関連カタログ
リアルタイムシステム検査ツール『ＵＰＰＡＡＬ』
株式会社NTTデータ オートモビリジェンス研究所
ヒトが持つ高度な知恵を駆使した自動化ソフトウェア技術を発明・提供することで、 消費者にとって便利で豊かになる次世代モビリティ社会を支える研究機関となることを目指します。
〒 222-0033
神奈川県横浜市港北区新横浜3-1-9 アリーナタワー