DREAM Tool

DREAMツールは、いくつかの（リアルタイム、消費電力、リソース）の制約を表現することができる一般的な意味領域を提供することを目的とする一般的なフレームワークです。
意味領域は、意味的にハイブリッドオートマトンの形式主義に固定されている実行可能なC ++モデルを持っています。計算のモデルは、ハイブリッドオートマトンに対応しているが、これまでに我々は、中程度のサイズのシステムで時間オートマトンを用いて保守的な近似でモデルを解析することに成功しています。
大規模な例に対処するために、ユーザは、システムを実装する前に、実行可能なC ++モデルのシミュレーション/テスト·インタフェースを使用する能力を持っています。私たちは問題の多くを解決するために遺伝的アルゴリズムを拡張していく予定です​​。
夢は日未満で、システムの形式的モデルと分析を提供し、シミュレーションおよび検証フレームワークです。夢の中でのシステムは、簡単な方法でXMLを使用して指定します。私はあなたがそれが役に立つことを願って。
リアルタイム·ミドルウェアは、分散リアルタイム埋め込み（DRE）システムの主要な機能とサービス品質（QoS）の必要性をサポートする信頼性と効率的なプラットフォームを提供します。
DREシステム開発における主要な課題は、安全なシステム構成要素の組成とターゲットプラットフォームに機能仕様のマッピングが含まれます。モデルベースの​​技術は、設計時の解析を可能にし、エンドツーエンドにQoS特性、予測可能性およびパフォーマンス指標を特定のプラットフォームにコミットする前に、関連して設計案を迅速に評価するための手段を提供することによって、これらの問題に対処するのに役立ちます。
分散リアルタイム組み込み分析方法のDREAMは分散リアルタイム組み込み（DRE）システムのプロパティをサービス（QoS）の複数の品質を最適化するためのオープンソースのツールおよび方法です。プロジェクトは、ミドルウェアベースのDREシステムの検証、開発、構成、および統合を自動化するために、リアルタイムのミドルウェアへの正式な分析手法の実用化に焦点を当てています。
このリリースの新機能：
·このバージョンは、少なくとも2〜3倍の印象的なパフォーマンスの向上が得られ、改善されたモデル検査のパフォーマンスのためにいくつかの最適化を実施しました。
·現在のリリースに存在する既知のメモリリークがありません。
·バランスAVLツリーは、現在モデル検査方法のいくつかのステップで指数関数スピードアップになり、使用されています。
·XMLスキーマ検証が実施されました。
·検証時間のレポートは、シミュレーション速度のデータを含めるようにアップグレードされました。
·ランダムシミュレーションベースのテストは現在、期限がミスした実行トレースを提供しています。