DREAM (software)

DREAM (software)

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 random testing of real-time components using a discrete event simulator. DREAM is developed at the Center for Embedded Computer Systems at the University of California, Irvine, in cooperation with researchers from Vanderbilt University.

External links



Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Dream DRM Receiver — Dream is a popular GPL licensed open source software implementation of a Digital Radio Mondiale (DRM) receiver that runs on FreeBSD, Linux, Apple Mac OS X and Microsoft Windows. Most inexpensive shortwave receivers sold commercially can be used… …   Wikipedia

  • DREAM — may refer to:* DREAM (software), a tool for the verification and analysis of distributed real time and embedded (DRE) systems * DREAM (protocol), an ad hoc geographical data routing protocol * DREAM (AIDS therapy program), an AIDS therapy program …   Wikipedia

  • Dream (disambiguation) — A dream is an experience during sleep. Dream may also refer to: Contents 1 General use 2 Art 3 Compani …   Wikipedia

  • Dream Theory in Malaya: Fourth World Volume Two — Dream Theory in Malaya Studio album by Jon Hassell Released 1981 …   Wikipedia

  • Dream House (video game) — Screenshot of Dream House Publisher(s) CBS Electronics Designer(s) …   Wikipedia

  • Dream Zone — Developer(s) JAM software Publisher(s) Baudville …   Wikipedia

  • Software-defined radio — A Software Defined Radio (SDR) system is a radio communication system where components that have typically been implemented in hardware (i.e. mixers, filters, amplifiers, modulators/demodulators, detectors. etc.) are instead implemented using… …   Wikipedia

  • Dream Weaver — This article is about the song. For the web development software, see Adobe Dreamweaver. For other uses, see Dreamweaver (disambiguation). Dream Weaver Single by Gary Wright from the album The Dream Weaver B side …   Wikipedia

  • dream up — verb devise or invent (Freq. 3) He thought up a plan to get rich quickly no one had ever thought of such a clever piece of software • Syn: ↑think up, ↑think of, ↑hatch, ↑concoct • De …   Useful english dictionary

  • Dream Multimedia — DM7000 S Frontansicht Dreambox ist die Bezeichnung für die DVB Receiver der in Lünen ansässigen Firma Dream Multimedia GmbH. Es gibt die Receiver in verschiedenen Versionen: DM 500(+), DM 5600, DM 5620, DM 600 PVR, DM 7000, DM 7020, DM 7025(+),… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”