(Min,+) algebra interpreter available for research and teaching
The (min,+) algebra is the formalism underlying the Network Calculus theory which allows to compute upper bounds on end-to-end delays in large scale real-time systems that cannot be analyzed with classical scheduling techniques. For instance, NC has been used for about ten years to dimension and certify avionic AFDX networks on which possibly several thousand streams of data are exchanged.
If Network Calculus is a powerful tool, it requires some effort to be learned and experimenting with a (min,plus) algebra comes in handy in that regard. We are glad to make freely available for academic research and teaching the Minplus-console which allows to perform (Min,+) algebra operations for the classes of function that are of main interest in Network Calculus, namely increasing convex/concave and ultimately pseudo-periodic functions.
The Minplus-Console is developed by RTaW as part of the French ANR project PEGASE. The other partners that make up the consortium are Thales Research and Technologies, Thales Alenia Space, Thales Avionics, ONERA, ENS Cachan, LIP Laboratoire de l’Informatique du Parallélisme and INRIA Rhône-Alpes. A detailed description of the project and its targeted outcomes is provided in this paper.
- License: free for academic use: research and teaching. Commercial use of Minplus-console is not allowed.
- Platforms: available for all editions of Windows (32 and 64 bits) and for Linux (32 and 64 bits).
- User manual: provided as pdf along with the software.
- Installation and release notes: see this post on RTaW forum.
- Free support: through RTaW forum.
