DREAM Tool swMATH ID: 5702 Software Authors: Gabor Madl Description: The Distributed Real-time Embedded Analysis Method (DREAM) is a tool and method for the real-time verification and performance estimation of distributed real-time embedded (DRE) systems. It focuses on the practical application of formal verification and timing analysis to real-time middleware. Homepage: http://dre.sourceforge.net/ Programming Languages: C++ Keywords: education; Scientific/Engineering; Electronic Design Automation (EDA); Mathematics; Software Development; Testing Related Software: HyTech; IF-2.0; Kronos; Ptolemy; REDLIB; Synthia; UPPAAL TIGA; CMC; Tempo; CoVer; McAiT; TAXYS; TREX; Rabbit; PRISM; IMITATOR; MapReduce; Petabricks; StarPU; Xilinx Cited in: 2 Publications all top 5 Cited by 6 Authors 1 Abdelwahed, Sherif 1 Dingel, Juergen 1 Madl, Gabor 1 Rudie, Karen 1 Schmidt, Douglas C. 1 Waez, Md Tawhid Bin Cited in 2 Serials 1 Real-Time Systems 1 Computer Science Review Cited in 1 Field 2 Computer science (68-XX) Citations by Year