Taskadd

boy

Taskadd is a scheduler of real-time tasks using Patrick Meumeu's algebra, including preemption costs.

The current distributed version is 1.03 (released 2012年03月05日).

You need OCaml and Camlp5 to compile.

Download the sources: taskadd-1.03.tgz.
Browse the documentation.

Directory of sources of all versions.

The future documentation is available as long as Taskadd is improved.
Warning: applies to the next release.
Therefore, may contain future features not yet present in the distribution.