Real-Time Systems Group

Tools

The group has produced some software tools. The most important is a command line analyzer which implement the stochastic model and analysis algorithms presented in the publications. We also developed in collaboration with our students several graphical front-ends for this tool.

From this page you can download the analyzer in binary form, for Windows and Linux. You are free to play with this tool. If you are interested in the source code, please get in touch with the authors.

Note: This section is in construction. We are working in some tools not yet available.

  • Stochan

    This command-line tool reads a file with a system model description, performs the stochastic analysis of the system, and generates several "answer" files containing the probability functions of the response time of the tasks, and other information. It lacks a graphical user interface, but the format of the inputs and outputs is well documented, so the development of the GUI should be straightforward.

    Currently, stochan is distributed only in binary form. If you are interested in the source code, please contact with authors.

  • Python example

    This is a minimal code written in Python which solves an EDF example system. For a detailed explanation of the procedure, please read the associated technical report TR-07-SNSAUES

© 2006,2007,2008 Real-Time Systems Group.
Computer Science Department. University of Oviedo