Links
- DREAM is developed at the Center for Embedded Computer Systems, University of California, Irvine, under the supervision of Nikil Dutt.
- DREAM has been formerly developed at the Institute for Software Integrated Systems, Vanderbilt University.
- The foundation of DREAM is the result of the cooperative work between Sherif Abdelwahed and Gabor Madl.
- The original research problems were motivated by the DOC Group led by Douglas C. Schmidt.
- The discrete event simulation-based performance estimation method is the result of the cooperative work between Nikil Dutt, Sherif Abdelwahed and Gabor Madl.
- The conservative approximation method for the real-time verification of preemptive event-driven asynchronous real-time systems is the result of the cooperative work between Nikil Dutt, Sherif Abdelwahed and Gabor Madl.
- DREAM uses the UPPAAL model checker and the Verimag IF toolset for formal verification, and implements a novel method for discrete event simulation-based performance estimation and real-time verification.
- The original design of the website has been created by JayKay.
Contributors
I would like to thank to all the people who have contributed to the DREAM project and helped me with ideas:
- Nikil Dutt, CECS, UC Irvine
- Nalini Venkatasubramanian, CECS, UC Irvine
- Sudeep Pasricha, CECS, UC Irvine
- Luis Angel D. Bathen, CECS, UC Irvine
- Minyoung Kim, CECS, UC Irvine
- Kyoungwoo Lee, CECS, UC Irvine
- Sherif Abdelwahed, Mississippi State University
- Douglas C. Schmidt, ISIS, DOC Group, Vanderbilt University
- Janos Sztipanovits, ISIS, Vanderbilt University
- Gabor Karsai, ISIS, Vanderbilt University
- Gyorgy Balogh, ISIS, Vanderbilt University
- Kai Chen, Google
- Andrew D. Dixon, ISIS, Vanderbilt University
- Matthew J. Emerson, ISIS, Vanderbilt University
- Ethan Jackson, Microsoft Research
- Tivadar Szemethy, ISIS, Vanderbilt University
- Praveen K. Murthy, Fujitsu Laboratories of America, Inc.
- Wei-Peng Chen, Fujitsu Laboratories of America, Inc.
- Sreeranga P. Rajan, Fujitsu Laboratories of America, Inc.
- Qiang Zhu, Cadence Japan
- Peter Grun, ARM
- Chulho Shin, LG Electronics
- Stoyan Paunov, Bloomberg