Alderis@UCI

Analysis Language for Distributed, Embedded, and Real-time Systems.

Feedback

We need your feedback to further develop the analysis and verification methods. If you find our tools useful or if you have comments / questions regarding the Alderis/DREAM ™ framework please contact me at gabe at uci dot edu.

Downloads

Download the recently released ALDERIS modeling language: ALDERIS_1.0.zip

Download the examples created using the ALDERIS modeling language: ALDERIS_Examples_1.0.zip. The examples include small to large-scale Boeing Bold Stroke models as well as a tiny helicopter autopilot case study.

To download the open-source DREAM analysis tool please visit the sourceforge website: http://dre.sourceforge.net

To download the recently open-sourced Generic Modeling Environment (GME) please visit the ISIS GME website: http://www.isis.vanderbilt.edu/projects/gme