Taskadd

Overview

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).

README
LICENSE
CHANGES

Distribution

You need OCaml and Camlp5 to compile.

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

Old versions...

Directory of sources of all versions.

Work in progress...

• 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.

Home page - Page maison