{"url": "http://alderis.ics.uci.edu/downloads.html", "content": "\n\n\nAlderis@UCI - Analysis Language for Distributed, Embedded, and Real-time Systems\n\n\n\n\n \n\n\n\t\t
\n\t\t\n\t\t\t\t
\n\t\t\t\t\n\t\t\t\t\t\t

Alderis@UCI

\n\t\t\t\t\t\t

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

\n\t\t\t\t\n\t\t\t\t
\n\t\t\t\t\n\t\t\t\t\n\t\t\t\t\n\t\t\t\t
\n\t\t\t\t\n\t\t\t\t
\n\t\t\t\t\n\t\t\t\t\t\t

Feedback

\n\t\t\t\t\t\t\n\t\t\t\t\t\t

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.

\n\t\t\t\t\t\t\t\t\t\t\t\t\n\t\t\t\t\t\t
\n\t\t\t\t\t\t\n\t\t\t\t\t\t\t\tDREAM\n\t\t\t\t\t\t\t\tACES\n\t\t\t\t\t\t\t\tFORGE\n\t\t\t\t\t\t\n\t\t\t\t\t\t
\n\t\t\t\t\t\t\n\t\t\t\t\t\t
\n\t\t\t\t\n\t\t\t\t
\n\t\t\t\t\n\t\t\t\t
\n\t\t\t\t\n\t\t\t\t\t\t\n\t\t\t\t\n\t\t\t\t\t\t

Downloads

\n\n\t\t\t\t\t\t
  • Download the recently released ALDERIS modeling language: ALDERIS_1.0.zip
    • \n\n\t\t\t\t\t\t
  • 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.
    • \n\n\t\t\t\t\t\t
  • To download the open-source DREAM analysis tool please visit the sourceforge website: http://dre.sourceforge.net
    • \n\n\t\t\t\t\t\t
  • To download the recently open-sourced Generic Modeling Environment (GME) please visit the ISIS GME website: http://www.isis.vanderbilt.edu/projects/gme
    • \n\n\t\t\t\t
    \n\t\t\n\t\t
    \n\t\t\n\t\t
    \n\t\t\n\t\t\t\t

    \n\t\t\t\t\t\t\n\t\t\t\t\t\t\t\t© All the material published on this website is copyrighted. All rights reserved. \n\n\t\t\t\t\n\t\t\t\t\t\t

    \n\t\t\n\t\t
    \n\n\n\n\n", "encoding": "ascii"}