DREAM Tool
Details
| Size: | 0K |
| Last Update: | 2008-05-31 01:16:09 |
| Version: | 0.6 Beta |
| OS Support: | Linux |
| License/Program Type: | GPL (GNU General Public License) |
| Publisher: | DREAM Tool Team |
| Price: | $0.00 |
Description:
DREAM Tool 0.6 Beta is quality assurance and testing software developed by DREAM Tool Team.
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. Although the model of computation corresponds to hybrid automata, so far we have been successful in analyzing the models by conservative approximation using timed automata on moderate size systems.
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. We plan to extend the genetic algorithms to solve a large number of problems.
DREAM is a simulation and verification framework which provides a formal model and analysis of your system in less than a day. Systems in DREAM are specified using XML in a straightforward way. I hope you find it useful.
Real-time middleware provides dependable and efficient platforms supporting key functional and quality of service (QoS) needs of distributed real-time embedded (DRE) systems.
Key challenges in DRE system developments include safe composition of system components and mapping the functional specifications onto the target platform. Model-based technologies help address these issues by enabling design-time analysis and providing the means for the rapid evaluation of design alternatives with respect to end-to-end QoS properties, predictability and performance measures before committing to a specific platform.
The Distributed Real-time Embedded Analysis Method DREAM is an open-source tool and method for optimizing multiple quality of service (QoS) properties of distributed real-time embedded (DRE) systems. The project focuses on the practical application of formal analysis methods to real-time middleware to automate the verification, development, configuration, and integration of middleware-based DRE systems.
What's New in This Release:
The simulation-based verification engine was vastly improved.
DREAM now implements a dynamic analysis that takes all events (branching points), race conditions, and race condition combinations into consideration.
Two larger case studies are now included in the examples.
DREAM Tool 0.6 Beta supports different languages (including english). It works with Linux.
Downloading DREAM Tool 0.6 Beta will take if you use fast ADSL connection.
0 comments
Add to
DREAM Tool Version History
Related Software
|
|
From category: Code-Generators |
| Classfile Reader & Writer is code generators software developed by Kimberley Burchett. This package makes it easy to read and write java classfiles. It doesn\'t, however, provide any help with disp... |
|
|
From category: Libraries |
| libbonoboui is a GNOME library for bonobo.... |
|
|
From category: Quality-Assurance-and-Testing |
| CppUnit - C++ port of JUnit 1.12.0 is quality assurance and testing software developed by Baptiste Lepilleur. CppUnit is a C++ unit testing framework. CppUnit project started its life as a port of... |
|
|
From category: Libraries |
| conexus library 0.4.0 is libraries software developed by Rick Vinyard. conexus is a generalized C++ I/O library that includes support for BSD sockets, serial/TTY, and packet capture (via pcap).... |
|
|
From category: Compilers |
| Dylan 1.0 beta1 is compilers software developed by Gwydion Dylan Maintainers. Dylan is an advanced, object-oriented, dynamic language which supports the rapid development of programs. When neede... |
|
|
From category: Libraries |
| DateTime::Format::Epoch::MacOS 0.10 is libraries software developed by Eugene van der Pijli. DateTime::Format::Epoch::MacOS is a Perl module that can convert DateTimes to/from Mac OS epoch seconds.... |
|
|
From category: Libraries |
| Java 2 SE Runtime Environment 6 offers a \'feature complete\' version of Sun\'s next major release of the Java SE platform.... |
|
|
From category: Libraries |
| JSON (JavaScript Object Notation) is a lightweight data-interchange format.... |
|
|
From category: Libraries |
| DBD::Google 0.11 is libraries software developed by Darren Chamberlain. DBD::Google is a Perl module to treat Google as a datasource for DBI. SYNOPSIS use DBI; my $dbh = DB... |
|
|
From category: Version-Control |
| SVNChecker is a framework for Subversion pre-commit hooks.... |
|
|
From category: Libraries |
| Bigtop::Docs::TentRef 0.15 is libraries software developed by Phil Crow. Bigtop::Docs::TentRef is a Perl module for tentmaker reference (best viewed in html). Intro If you haven\'t us... |
|
|
From category: Widgets |
| CLAM is a multiplatform software framework for research and application development for the Audio and Music domains.... |
|
|
From category: Perl-Modules |
| Lingua::Zompist::Cadhinor is a Perl module to inflect Cadhinor nouns, verbs, and adjectives.... |
|
|
From category: Libraries |
| Conjury::C 1.004 is libraries software developed by James Woodyatt. Conjury::C is a Perl Conjury with C/C++ compilers, linkers and archivers. SYNOPSIS c_object Source => Isou... |
|
|
From category: Libraries |
| asio C++ library 0.2.0 is libraries software developed by Chris Kohlhoff. asio is a cross-platform C++ library for network programming that provides developers with a consistent asynchronous I/O mo... |
Leave a comment