 | ドリームツールDream Toolは、一般的な意味領域を提供することを目的とした一般的なフレームワークです。 |
| 今すぐダウンロード | |
ドリームツール ランキングとまとめ
広告
ドリームツール タグ
ドリームツール 説明
Dream Toolは、一般的な意味ドメインを提供することを目的とした一般的なフレームワークです。 Dream Toolは、いくつかの（リアルタイム、消費電力、リソース）の制約を表現できる共通の意味ドメインを提供することを目的とした一般的なフレームワークです。セマンティックドメインは、ハイブリッドオートマトンの形式に意味的に固定された実行可能なC ++モデルを持っています。計算のモデルはハイブリッドオートマトンに対応していますが、これまでのところ、適度なサイズのシステムでの時限オートマトンを使用してモデルの分析に成功しています。大規模な例に対処するために、シミュレーション/テストインタフェースを使用する能力があります。システムを実装する前に実行可能なC ++モデルで。私たちは遺伝的アルゴリズムを拡張することを計画して、多数の問題を解決することを計画しています.Dreamは、一日以内にあなたのシステムの形式的なモデルと分析を提供するシミュレーションと検証の枠組みです。夢のシステムは、XMLを使って直接的な方法で指定されています。私はそれが便利であることを願っています。機能仕様をターゲットプラットフォームにマッピングする。モデルベースの技術は、設計時間分析を可能にし、特定のプラットフォームにコミットする前に、デザイン時間分析を可能にし、設計代替手段の迅速な評価のための手段を提供することによって、特定のプラットフォームにコミットする前の設計代替手段を提供する。 -time組み込み分析方法Dreamは、分散リアルタイム埋め込み（DRE）システムの複数のサービス品質（QoS）プロパティを最適化するためのオープンソースツールと方法です。このプロジェクトは、ミドルウェアベースのDREシステムの検証、開発、構成、および統合を自動化するための正式な分析方法の実用的なアプリケーションに焦点を当てています。パフォーマンスにより、印象的な性能向上が少なくとも23回損なわれます。・現在のリリースには既知のメモリリークが存在しません。・バランスの取れたAVLツリーが使用され、モデル検査方法のいくつかのステップで指数関数的なスピードアップが発生します。・XMLスキーマ検証が実装されました。・検証時間レポートはシミュレーション速度に関するデータを含めるようにアップグレードされました。・ランダムシミュレーションベースのテストは、締め切りが見逃されたときに実行トレースを提供します。
ドリームツール 関連ソフトウェア
