免費 開發者工具 為 Alexandre David

UPPAAL是一個集成工具環境建模，確認和驗證建模為時間自動機的網絡，擴展數據類型（整數界，數組等）的實時系統。UPPAAL CORA是UPPAAL的成本優化可達Anslysis一個分支由UPPAAL團隊為VHS和AMETIST項目的一部分開發的。而支持UPPAAL時間自動機的模型檢測，UPPAAL CORA使用時間自動機稱為LPTA的延伸。 LPTA允許你註釋模型與成本的概念。這可以是延遲在某些情況下或特定行動的成本的成本。 UPPAAL CORA然後找到匹配的目標條件下的最佳路徑。UPPAAL...