The Distributed Real-time Embedded Analysis Method (DREAM) is a tool and method for the real-time verification and performance estimation of distributed real-time embedded (DRE) systems. It focuses on the practical application of formal verification and timing analysis to real-time middleware. License: GNU General Public License (GPL) Changes: This version implemented several optimizations for improved model checking performance, resulting in impressive performance gains of at least 2-3 times. There are no known memory leaks present in the current release. Balanced AVL trees are now used, resulting in exponential speedups in several steps of the model checking method. XML Schema validation was implemented. Verification time reporting was upgraded to include data on the simulation speeds. Random simulation-based testing now provides an execution trace when a deadline is missed.

	Read more at FreshMeat
	www.pheedo.com/click.phdo?i=a198da2dba28caf7eb84b8184086561b