Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 32.403.475 Times

DREAM Tool 0.7 Beta

  Date Added: July 11, 2010  |  Visits: 826

DREAM Tool 0.7

Report Broken Link
Printer Friendly Version


Product Homepage
Download (116 downloads)



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. Whats New in This Release: - 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..

Requirements: No special requirements
Platforms: Linux
Keyword: Beta Dream Dream Tool Model Programming Providing Qos Quality Assurance And Testing Real-time Tool
Users rating: 0/10

License: Freeware Size: 3.3 MB
USER REVIEWS
More Reviews or Write Review


DREAM TOOL 0.7 RELATED
Programming  -  Open Source Requirements Management Tool 1.5
Open Source Requirements Management Tool is designed to achieve full SDLC traceability for features, requirements, design, implementation, and testing. Open Source Requirements Management Tool has a UI for requirements derivation, version...
145 MB  
Programming  -  Sahi 2007-06-22
Sahi is an automation and testing tool for web applications, with the facility to record and playback scripts. Developed in java and javascript, this tool uses simple javascript to execute events on the browser. Sahis features include,...
1.5 MB  
Programming  -  Java Preferences Tool 0.8
Java Preferences Tool is a simple utility for Java developers and testers, in the spirit of Microsofts Registry Editor. Java Preferences Tool allows you to view, edit, compare, and search Java preferences. The program has traditional...
 
Programming  -  Injection Framework 0.9 Beta
Injection Framework project is a security tool designed to detect and research SQL injections.. Get FG-Injector Framework at SourceForge.net. Fast, secure and free downloads from the largest Open Source applications and software directory....
37.89 KB  
Programming  -  KOJAK 2.2b2
KOJAK (Kit for Objective Judgement and Knowledge-based Detection of Performance Bottlenecks) is a set of generic and interoperable tool components designed for the performance analysis of parallel applications. Their functionality addresses the...
2.4 MB  
Programming  -  GAJET 0.1-20070723
GAJET (Genetic Alrogithm for Java Evolutionary Testing) is an automatic test generation tool for Java that uses a genetic algorithm. GAJET project uses EMMA to measure test coverage.. Get GAJET at SourceForge.net. Fast, secure and free downloads...
634.88 KB  
Business  -  QuickSquares 1.1
QuickSquares Mobile App provides users with a simple interface to order, manage and review QuickSquares roof measurement reports. QuickSquares is an excellent sales and marketing tool for contractors providing overall square footage and...
4.4 MB  
Network Information Tools  -  Free HTTP Sniffer 1.1
To download windows audio and video streaming and other streaming, you need to know the url(the file name and server address) of you want to download. Many links to those streaming that you come across on the web are hidden behind javascript or...
1.4 MB  
Time & Clock Tools  -  Be Punctual 2.0
Be Punctual is a simple tool which includes an Alarm Clock, Reminder and Human voice time teller(Both male and female). You can set the alarm for different days of the week, you can set reminders for an entire year and never forget anything again....
2.2 MB  
Remote Computing Tools  -  Netflow Monitor 0.0.17.34226 B
Lightweight tool to instant view and analyze real-time Netflow data. Netflow version 5, version 9 are supported.
4.1 MB  
NEW DOWNLOADS IN LINUX SOFTWARE, PROGRAMMING
Linux Software  -  wpCache® WordPress HTTP Cache 1.9
wpCache® is a high-performance, distributed object, caching system application, generic in nature, but intended for use in speeding up dynamic web applications, by decreasing database load time. wpCache® decreases dramatically the page...
3.51 MB  
Linux Software  -  Polling Autodialer Software 3.4
ICTBroadcast Auto Dialer software has a survey campaign for telephone surveys and polls. This auto dialer software automatically dials a list of numbers and asks them a set of questions that they can respond to, by using their telephone keypad....
488 B  
Linux Software  -  Total Video Converter Mac Free 3.5.5
Total Video Converter Mac Free developed by EffectMatrix Ltd is the official legal version of Total Video Converter which was a globally recognized brand since 2006. Total Video Converter Mac Free is a free but powerful all-in-one video...
17.7 MB  
Linux Software  -  Skeith mod_log_sql Analyzer 2.10beta2
Skeith is a php based front end for analyzing logs for Apache using mod_log_sql.
47.5 KB  
Linux Software  -  SLAX 6.0+
Slax is a modern, portable, small and fast Linux operating system with a modular approach and outstanding design. Despite its small size, Slax provides a wide collection of pre-installed software for daily use, including a well organized graphical...
190 KB  
Programming  -  Cedalion for Linux 0.2.6
Cedalion is a programming language that allows its users to add new abstractions and define (and use) internal DSLs. Its innovation is in the fact that it uses projectional editing to allow the new abstractions to have no syntactic limitations.
471.04 KB  
Programming  -  Math::GMPf 0.29
Math::GMPf - perl interface to the GMP library's floating point (mpf) functions.
30.72 KB  
Programming  -  Net::Wire10 1.08
Net::Wire10 is a Pure Perl connector that talks to Sphinx, MySQL and Drizzle servers. Net::Wire10 implements the low-level network protocol, alias the MySQL wire protocol version 10, necessary for talking to one of the aforementioned...
30.72 KB  
Programming  -  logilab-common 0.56.2
a bunch of modules providing low level functionnalities shared among some python projects devel Please note that some of the modules have some extra dependencies. For instance, logilab.common.db will require a db-api 2.0 compliant...
174.08 KB  
Programming  -  OpenSSL for linux 1.0.0a
The OpenSSL Project is a collaborative effort to develop a robust, commercial-grade, full-featured, and Open Source toolkit implementing the Secure Sockets Layer (SSL v2/v3) and Transport Layer Security (TLS v1) protocols as well as a...
3.83 MB