Subproject

R2

Categories

Model checker for hard & soft real-time systems

Overview

Determines the possibility of allocating periodic tasks on multiple ECUs considering further constraints (memory requirements, message transmission over a bus) by means of different objective function (schedulability, minimization of the number of ECUs, uniform utilization of existent ECUs).

Publications

E. Thaden, E. Althaus, and R. Naujoks. A Column Generation Approach to Scheduling of Periodic Tasks. In 10th International Symposium on Experimental Algorithms (SEA), volume 1 of Lecture Notes in Computer Science / Programming and Software Engineering 6630, pages 340-351, 2011.

Benchmarks

---

Download

Click here for binary & manual.

Manual

(see above)

Status

Prototype