DREAM (software)
id:
dream-software-255-11327573
title:
DREAM (software)
text:
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 dis
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/DREAM_(software)
date created:
date modified:
2024-04-25T17:37:17Z
main entity:
{"identifier":"Q5206044","url":"https://www.wikidata.org/entity/Q5206044"}
image:
fields total:
13
integrity:
13