トップエスイーチュートリアルシリーズ「モデル検査ツールUPPAALを使った時間制約の検証」補足資料

UPPAAL インストール方法

UPPAALをwindowsで利用することを前提としてUPPAALシステムのインストールと起動の方法を説明します。

UPPAALを利用するためには、Versionが1.5以降のJREと、UPPAAL4.0.7のインストールが必要です。

コマンドプロンプトを起動し、java -versionを入力し実行します。 JREがインストールされていない場合は以下のメッセージがでます。

  　C:\Documents and Settings\○○○>java -version
　　  'java' は、内部コマンドまたは外部コマンド、
　　  操作可能なプログラムまたはバッチ ファイルとして認識されていません。

既にJREがインストールされている場合はそのversionが表示されます

 　  C:\Documents and Settings\○○○>java -version
　　   Java version “1.5.XXXX” 
　 　  Java (TM) XX Runtime Environment  …...

※1.5以降であれば大丈夫です。
JREがインストールされていない場合、あるいは、インストールされているがバージョンが1.4以下の場合はJREを以下のURLからダウンロードしてください。

　「ダウンロード」をクリックすると、インストールページに移ります。　インストール方法も記載されていますので参照してください。

下記のページに入り、必要な情報を入力し、「Register&Download」ボタンを押す。
- [Download Area]　http://www.it.uu.se/research/group/darts/uppaal/download/registration.php?id=0&subid=0
「ファイルのダウンロード」ダイアログが表示されるので、"uppaal-4.0.7-aca.zip"を適当な箇所に保存する。
　 ※ ダウンロードを始める前に、ブラウザの設定を「ポップアップを許可」するようにしておく