DREAM Tool FOR LINUX

DREAM Tool is a generic framework that aims at providing a common semantic domain which can express several (real-time, power consumption, resource) constraints. The semantic domain has an executable C++ model which has been semantically anchored to the hybrid automata formalism. To deal with large-scale examples the user has the ability to use the simulation/testing interface on the executable C++ model before implementing the system.

Key Features:

• Simulation and verification framework


• Formal model and analysis


• Systems specified using XML


• Real-time middleware support


• Model-based technologies for design-time analysis

Technical Specifications:

• Optimizations for improved model checking performance


• No known memory leaks in the current release


• Use of balanced AVL trees for speedups


• XML Schema validation


• Upgrade in verification time reporting


• Random simulation-based testing with execution trace

Benefits:

• Automate the verification, development, configuration, and integration of middleware-based DRE systems


• Optimize multiple quality of service (QoS) properties


• Analyze models by conservative approximation

Latest Updates:

This release brings several optimizations for improved model checking performance, resulting in impressive performance gains of at least 2-3 times. Balanced AVL trees are now used for exponential speedups in model checking. Additional features include XML Schema validation, upgraded verification time reporting, and random simulation-based testing with trace.

Publisher: DREAM Tool Team