DREAM Tool

DREAM工具是一個通用的框架，它的目的是提供能表達幾個（實時，功率消耗，資源）約束的共同的語義域。
語義域有一個可執行的C ++模型已語義錨定在混合自動形式主義。雖然計算的模型對應的混合自動機，到目前為止，我們已經成功地使用時間自動機上大小適中系統由保守近似分析模型。
為了應對大規模的例子用戶實施系統之前使用的模擬/測試界面上可執行的C ++模型的能力。我們計劃延長遺傳算法，解決了大量的問題。
夢是仿真和驗證框架，它提供了你的系統的形式化模型和分析，在不到一天的時間。在DREAM系統中指定使用XML的簡單方法。我希望你覺得它有用。
實時中間件提供支持分佈式實時嵌入式（DRE）系統的關鍵功能和服務質量（QoS）的質量需求可靠和高效的平台。
在DRE系統開發的主要挑戰包括系統組件的安全組成和功能規格映射到目標平台。基於模型的技術可幫助解決這些問題通過使設計時分析和提供裝置的設計方案的快速評估相對於終端到端QoS屬性，可預見性和性能度量承諾特定平台之前。
分佈式實時嵌入式分析法的夢想是優化的服務質量（QoS）多種質量的分佈式實時嵌入式（DRE）系統性能的開源​​工具和方法。該項目的重點是正規分析方法的實際應用實時中間件自動化驗證，開發，配置和集成中間件為基礎的DRE系統。
什麼是新的，在此版本：
·該版本實現了許多的優化，以提高模型檢測的性能，造成至少2-3倍的驕人業績收益。
·有存在於當前版本沒有任何已知的內存洩漏。
·平衡AVL樹現在使用，導致指數加速比幾個步驟的模型檢測方法。
·XML Schema驗證實施。
·核查報告時被升級，包括對仿真速度的數據。
·隨機模擬為基礎的測試現在提供當最後期限錯過了一個執行跟踪。