Distributed Real-time Embedded Analysis Method - DREAM

Open-source formal verification and analysis


What is DREAM?

The Distributed Real-time Embedded Analysis Method (DREAM) project focuses on the practical application of formal analysis methods to automate the verification, development, configuration, and integration of asynchronous event-driven distributed real-time embedded (DRE) systems, that was applied to the domain of software-intensive mission-critical avionics DRE applications, and the domain of multimedia MPSoCs. In its current form, the open-source DREAM tool is a prototype implementation of three real-time analysis methods:

Theoretical Background

For the theoretical background on DREAM, please see Gabor's Ph.D. dissertation and final defense presentation: