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 29.547.141 Times

DREAM Tool 0.7 Beta

  Date Added: July 11, 2010  |  Visits: 772

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  
Utilities  -  Universal Configuration Tool 0.0.7
The Universal Configuration Tool (UnCT) aims to be an extensible and secure system administration tool. It will work as a client/server model, allowing remote use and the configuration of more than one machine at a time. It will offer multiple...
40.96 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  
NEW DOWNLOADS IN LINUX SOFTWARE, PROGRAMMING
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  
Linux Software  -  GTK+ 2.5
GTK+, which stands for the GIMP Toolkit, is a library for creating graphical user interfaces for the X Window System. It is designed to be small, efficient, and flexible. GTK+ is written in C with a very object-oriented approach. Language bindings...
60 MB  
Programming  -  FLEX-db Digital Asset Manager 3.0.9
FLEX-db - an enterprise Digital Asset Manager (DAM). It ingests and links metadata with files, creates thumbnails, and processes files using business rules. FLEX-db has a JSP client, Java app server for file input and output and an EJB metadata...
21.57 MB  
Programming  -  Libicom 0.9.0
The libicom library is a character based dynamicly linked library for Linux. It is used to remotely control the Icom IC-R8500 wide band receiver via an RS232 link. All call and return parameters to the control functions are character string based....
20.48 KB  
Programming  -  dotdesktop 0.3
Dotdesktop library provides ability to parse desktop entry file and access the information in a convenient way. Desktop entry file format is defined by freedesktop.org, it is used to describe information about an application such as the name and...
327.68 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  -  libyasl 0.2
Libyasl is a C++ class library to easily realize TCP/UDP/Multicast clientsand servers in IPv4 and IPv6 environments under GNU/Linux systems.
143.36 KB