DREAM Tool is a versatile platform that offers a shared semantic domain for various software programs.
DREAM Tool is an open-source simulation and verification framework that provides a formal model and analysis of systems in less than a day. The tool is designed to optimize multiple quality of service (QoS) properties of distributed real-time embedded (DRE) systems by providing a common semantic domain which can express several constraints such as real-time, power consumption, and resource.
The semantic domain has an executable C++ model that has been semantically anchored to the hybrid automata formalism, enabling design-time analysis and evaluation of design alternatives with respect to end-to-end QoS properties, predictability, and performance measures before committing to a specific platform.
Although the model of computation corresponds to hybrid automata, the models can be analyzed using timed automata on moderate size systems through conservative approximation. For large-scale examples, the user can use the simulation/testing interface on the executable C++ model before implementing the system.
The DREAM tool plans to extend the genetic algorithms to solve a large number of problems. Systems are specified using XML in a straightforward way, which ensures easy composition of system components and mapping the functional specifications onto the target platform.
In the latest release, several optimizations were implemented for improved model checking performance, resulting in impressive performance gains of at least 2-3 times. Balanced AVL trees are now used, resulting in exponential speedups in several steps of the model checking method. The XML Schema validation was implemented, and verification time reporting was upgraded to include data on the simulation speeds. Additionally, random simulation-based testing now provides an execution trace when a deadline is missed.
Overall, DREAM Tool is a powerful simulation and verification framework that provides a formal model and analysis of your system in less than a day, and helps address key challenges in DRE system development.
The semantic domain has an executable C++ model that has been semantically anchored to the hybrid automata formalism, enabling design-time analysis and evaluation of design alternatives with respect to end-to-end QoS properties, predictability, and performance measures before committing to a specific platform.
Although the model of computation corresponds to hybrid automata, the models can be analyzed using timed automata on moderate size systems through conservative approximation. For large-scale examples, the user can use the simulation/testing interface on the executable C++ model before implementing the system.
The DREAM tool plans to extend the genetic algorithms to solve a large number of problems. Systems are specified using XML in a straightforward way, which ensures easy composition of system components and mapping the functional specifications onto the target platform.
In the latest release, several optimizations were implemented for improved model checking performance, resulting in impressive performance gains of at least 2-3 times. Balanced AVL trees are now used, resulting in exponential speedups in several steps of the model checking method. The XML Schema validation was implemented, and verification time reporting was upgraded to include data on the simulation speeds. Additionally, random simulation-based testing now provides an execution trace when a deadline is missed.
Overall, DREAM Tool is a powerful simulation and verification framework that provides a formal model and analysis of your system in less than a day, and helps address key challenges in DRE system development.
What's New
Version 0.7 Beta: N/A