DREAM

Embed this Topic
The Distributed Real-time Embedded Analysis Method (DREAM) is a platform-independent open-source tool for the verification and analysis of distributed real-time and embedded (DRE) systems which focuses on the practical application of formal verification and timing analysis to real-time middleware. DREAM supports formal verification of scheduling based on task timed automata using the Uppaal model checker and the Verimag IF toolset as well as the ... more
Read article at Wikipedia

Software Genre:

Software

Developer

Gabor Madl

top ↑

Similar topics in Freebase

  • Xgrid Admin

    Xgrid Admin

    Xgrid Admin is an application that manages the Xgrid daemon on Mac OS X Server. It is one of the Server Admin Tools that are found on the install disc and can also be downloaded from Apple. Download Server Admin Tools 10.4 (includes Xgrid Admin)
  • Folding@home

    Folding@home

    Folding@home (sometimes abbreviated as FAH or F@h) is a distributed computing (DC) project designed to perform computationally intensive simulations of protein folding and other molecular dynamics (MD), and to improve on the methods available to do so. It was launched on October 1, 2000, and is...
  • Xgrid

    Xgrid

    Xgrid is a proprietary software program and distributed computing protocol developed by the Advanced Computation Group subdivision of Apple Inc that allows networked computers to contribute to a single task. The system has been used by researchers using MacResearch's OpenMacGrid. It provides...

  • Virtual Object System

    The Virtual Object System (VOS) is a computer software technology for creating distributed object systems. The sites hosting Vobjects are typically linked by a computer network, such as a local area network or the Internet. Vobjects may send messages to other Vobjects over these network links ...

You can help improve this topic by adding more facts here

Edit this topic
Edit and Show details

Add or delete facts, download data in JSON or RDF formats, and explore topic metadata.

Freebase Logo
What is Freebase?

Freebase is a huge collection of facts, built by people like you. Freebase connects facts in ways other sites can't, giving you new ways to explore millions of subjects.
You can help improve it!

Freebase Attribution

Freebase data is free for use under the CC-BY license.

The original description for DREAM was automatically generated from Wikipedia.org licensed under the GNU Free Documentation License.
[1]
Learn more about Freebase licensing and attribution