DREAM Tool

DREAM工具是一个通用的框架，它的目的是提供能表达几个（实时，功率消耗，资源）约束的共同的语义域。
语义域有一个可执行的C ++模型已语义锚定在混合自动形式主义。虽然计算的模型对应的混合自动机，到目前为止，我们已经成功地使用时间自动机上大小适中系统由保守近似分析模型。
为了应对大规模的例子用户实施系统之前使用的模拟/测试界面上可执行的C ++模型的能力。我们计划延长遗传算法，解决了大量的问题。
梦是仿真和验证框架，它提供了你的系统的形式化模型和分析，在不到一天的时间。在DREAM系统中指定使用XML的简单方法。我希望你觉得它有用。
实时中间件提供支持分布式实时嵌入式（DRE）系统的关键功能和服务质量（QoS）的质量需求可靠和高效的平台。
在DRE系统开发的主要挑战包括系统组件的安全组成和功能规格映射到目标平台。基于模型的技术可帮助解决这些问题通过使设计时分析和提供装置的设计方案的快速评估相对于终端到端QoS属性，可预见性和性能度量承诺特定平台之前。
分布式实时嵌入式分析法的梦想是优化的服务质量（QoS）多种质量的分布式实时嵌入式（DRE）系统性能的开源工具和方法。该项目的重点是正规分析方法的实际应用实时中间件自动化验证，开发，配置和集成中间件为基础的DRE系统。
什么是新的，在此版本：
·该版本实现了许多的优化，以提高模型检测的性能，造成至少2-3倍的骄人业绩收益。
·有存在于当前版本没有任何已知的内存泄漏。
·平衡AVL树现在使用，导致指数加速比几个步骤的模型检测方法。
·XML Schema验证实施。
·核查报告时被升级，包括对仿真速度的数据。
·随机模拟为基础的测试现在提供当最后期限错过了一个执行跟踪。