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. Publications: http://www.ics.uci.edu/~gabe/publications.html.
Release Date:
Topic:
Operating System:
License:
Translations:
Intended Audience:
User Interface:
Programming Language:
Registered:
Ratings and Reviews
Be the first to post a text review of DREAM. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Project Feed
-
Project Information Updated
-
File released: /DREAM/DREAM 0.7 beta/dream-src_0.7_beta.tar.gz
-
Code committed
-
DREAM 0.7 beta release
DREAM 0.7 Beta is a major jump from previous releases. The main discrete event simulation-based model checking is not only more stable, but also faster in this release. DREAM 0.7 Beta was checked for memory leaks using Valgrind (http://valgrind.org). Several memory leaks were traced down and fixed. There are no known memory leaks present in the current release. DREAM 0.7 Beta Linux release now implements several optimizations for improved model checking performance. We profiled DREAM using Callgrind (http://valgrind.org/info/tools.html), and KCacheGrind (http://kcachegrind.sourceforge.net), and managed to achieve impressive performance gains (around 2-3x at least) compared to previous DREAM releases. FYI: the Linux version of DREAM 0.7 Beta is faster than the Win XP MSVC 2005 version on my laptop (by around 30-50%). If I'm not mistaken this hasn't been the case before. GCC is clearly improving... Balanced AVL trees are now used to store branching points and race conditions at run-time, resulting in exponential speedups in several steps of the model checking method. Implemented XML Schema validation. Upgraded verification time reporting to include some meaningful data on the simulation speeds. Random simulation-based testing now provides an execution trace when a deadline is missed. Added performance estimation capability. Updated Uppaal interpreter to use the new Uppaal 4 syntax. Moved source code from CVS to Subversion on Sourceforge. To simplify development efforts, only VC7.1, VC8.0 and GNU make/gcc build processes are supported in DREAM from now on. Added Visual Studio project files for the libxml2 library under Win32.
-
Code committed
-
File released: /DREAM/DREAM 0.7 beta/dream_0.7_beta.zip
-
File released: /DREAM/DREAM 0.7 beta/dream_0.7_beta.tar.gz
-
DREAM DREAM 0.7 beta file released: dream_0.7_beta.zip
DREAM 0.7 beta --------------- DREAM 0.7 Beta is a major jump from previous releases. The main discrete event simulation-based model checking is not only more stable, but also faster in this release. DREAM 0.7 Beta was checked for memory leaks using Valgrind (http://valgrind.org). Several memory leaks were traced down and fixed. There are no known memory leaks present in the current release. DREAM 0.7 Beta release now implements several optimizations for improved model checking performance. We profiled DREAM using Callgrind (http://valgrind.org/info/tools.html), and KCacheGrind (http://kcachegrind.sourceforge.net), and managed to achieve impressive performance gains (around 2-3x at least) compared to previous DREAM releases. FYI: the Linux version of DREAM 0.7 Beta is faster than the Win XP MSVC 2005 version on my laptop (by around 30-50%). If I'm not mistaken this hasn't been the case before. GCC is clearly improving... Balanced AVL trees are now used to store branching points and race conditions at run-time, resulting in exponential speedups in several steps of the model checking method. Implemented XML Schema validation. Upgraded verification time reporting to include some meaningful data on the simulation speeds. Random simulation-based testing now provides an execution trace when a deadline is missed. Added performance estimation capability. Updated Uppaal interpreter to use the new Uppaal 4 syntax. Moved source code from CVS to Subversion on Sourceforge. To simplify development efforts, only VC7.1, VC8.0 and GNU make/gcc build processes are supported in DREAM from now on. Added Visual Studio project files for the libxml2 library under Win32.
-
DREAM DREAM 0.7 beta file released: dream_0.7_beta.tar.gz
DREAM 0.7 beta --------------- DREAM 0.7 Beta is a major jump from previous releases. The main discrete event simulation-based model checking is not only more stable, but also faster in this release. DREAM 0.7 Beta was checked for memory leaks using Valgrind (http://valgrind.org). Several memory leaks were traced down and fixed. There are no known memory leaks present in the current release. DREAM 0.7 Beta release now implements several optimizations for improved model checking performance. We profiled DREAM using Callgrind (http://valgrind.org/info/tools.html), and KCacheGrind (http://kcachegrind.sourceforge.net), and managed to achieve impressive performance gains (around 2-3x at least) compared to previous DREAM releases. FYI: the Linux version of DREAM 0.7 Beta is faster than the Win XP MSVC 2005 version on my laptop (by around 30-50%). If I'm not mistaken this hasn't been the case before. GCC is clearly improving... Balanced AVL trees are now used to store branching points and race conditions at run-time, resulting in exponential speedups in several steps of the model checking method. Implemented XML Schema validation. Upgraded verification time reporting to include some meaningful data on the simulation speeds. Random simulation-based testing now provides an execution trace when a deadline is missed. Added performance estimation capability. Updated Uppaal interpreter to use the new Uppaal 4 syntax. Moved source code from CVS to Subversion on Sourceforge. To simplify development efforts, only VC7.1, VC8.0 and GNU make/gcc build processes are supported in DREAM from now on. Added Visual Studio project files for the libxml2 library under Win32.
-
DREAM DREAM 0.7 beta file released: dream-src_0.7_beta.tar.gz
DREAM 0.7 beta --------------- DREAM 0.7 Beta is a major jump from previous releases. The main discrete event simulation-based model checking is not only more stable, but also faster in this release. DREAM 0.7 Beta was checked for memory leaks using Valgrind (http://valgrind.org). Several memory leaks were traced down and fixed. There are no known memory leaks present in the current release. DREAM 0.7 Beta release now implements several optimizations for improved model checking performance. We profiled DREAM using Callgrind (http://valgrind.org/info/tools.html), and KCacheGrind (http://kcachegrind.sourceforge.net), and managed to achieve impressive performance gains (around 2-3x at least) compared to previous DREAM releases. FYI: the Linux version of DREAM 0.7 Beta is faster than the Win XP MSVC 2005 version on my laptop (by around 30-50%). If I'm not mistaken this hasn't been the case before. GCC is clearly improving... Balanced AVL trees are now used to store branching points and race conditions at run-time, resulting in exponential speedups in several steps of the model checking method. Implemented XML Schema validation. Upgraded verification time reporting to include some meaningful data on the simulation speeds. Random simulation-based testing now provides an execution trace when a deadline is missed. Added performance estimation capability. Updated Uppaal interpreter to use the new Uppaal 4 syntax. Moved source code from CVS to Subversion on Sourceforge. To simplify development efforts, only VC7.1, VC8.0 and GNU make/gcc build processes are supported in DREAM from now on. Added Visual Studio project files for the libxml2 library under Win32.
Rate and Review
Be the first person to add a text review.
Related Projects
-
Epic Explorer
A open platform for the design space exploration of a paramerized architecture based on a EPIC/VLIW core. It includes area, power and performance estimators and the implementation of several exploration algorithms presented in literature.
-
RTnet - Real-Time Networking for Linux
RTnet is a hard real-time network protocol stack for the real-time Linux extensions Xenomai and RTAI. It makes use of standard Ethernet, including gigabit. Ethernet-over-1394 support is available based on the RT-FireWire protocol stack.
-
DREAM Actions
About SourceForge
Develop Software
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
