隆然 Uppaalは、リアルタイムシステムのモデリング、検証、および検証のための統合ツール環境です。
今すぐダウンロード

隆然 ランキングとまとめ

隆然 タグ

環境 統合された 隆然 統合ツール環境 リアルタイムシステムのモデリング 検証リアルタイムシステム

隆然 説明

Uppaalは、リアルタイムシステムのモデリング、検証、および検証のための統合ツール環境です。 Uppaalは、データ型（有界整数、配列など）で拡張されたタイミングオートマトンのネットワークとしてモデル化されたリアルタイムシステムのモデリング、検証、検証のための統合ツール環境です。Uppaal Coraは、費用最適な到達可能性の費用のためのUPPAALの分岐です。 VHSおよびAMETISTプロジェクトの一環として、UPPAALチームによって開発されました。 Uppaalは時限オートマトンのモデルチェックをサポートしていますが、Uppaal CoraはLPTAと呼ばれる時限オートマトンの拡張を使用しています。 LPTAを使用すると、モデルにコストの概念を注釈に注釈を付けることができます。これは、特定の状況や特定の行動のコストの遅れのコストです。その後、Uppaal Coraは目標条件に一致する最適なパスを見つけます.UPPAAL CORAは、いくつかのケーススタディで使用されています。これらのいくつかはこのサイトのケーススタディページに記載されています。おもしろい用途を考え出す場合は、お問い合わせください。私たちはあなたがしていることを聞くことに興味があります！内部データ構造が異なるため、Uppaal Coraは現在2つの異なるバージョンで構成されています。 Coraは非営利の使用のために無料です。評価、研究、教育目的のために。これは、問題が変わったときにモデリングへの投資が失われないことを意味します。速い・技術は、従来の運用研究で使用されている技術とはかなり新しい、実験的で非常に異なっていますが、Uppaal Coraは多くのケーススタディで競争力があります。互換性・Uppaal Coraの言語はUPPAALのスーパーセットです。有効なUPPAALモデルも有効なUPPAAL CORAモデルです。これにより、既存のモデルをアップペースコーラに再利用して適応させることが簡単かつ便利です。 Cournal・Uppaal Coraは、最新のパフォーマンスと言語の改善を含む、Uppaalの最新の内部開発版に基づいています。しかし、実験ツールであり、Uppaal.limitationsの検証機能の多くが欠けています：フルLPTAサポートを持つUppaal Coraにはいくつかの制限があります。これらの制限は基本的ではありませんが、現在制限されている機能セットを使用して新しい内部データ構造を使用した結果です。時間の経過とともに解決されます。 - 外挿がない。調整の制限：・（費用+残量）のサポートが実装されています。・ヒューリスティック変数のサポートは実装されていますが、その表現はコスト変数を参照することはできません。このリリースでは、このリリースでは新機能を参照してください。クラッシュバグとメモリリークを修正しました。

隆然 関連ソフトウェア