Example programs for the lecture Real-Time Concepts for Embedded Systems (RTC) at University of Stuttgart.
Programs for calculating clock-driven schedules using Integer Linear Programming (ILP) and Constraint Programming (CP).
Prerequisites to execute ILP examples:
- Julia programming language (tested with Julia v0.6.4) with JuMP package.
- A solver such as Gurobi Optimizer (tested with Gurobi v8.1.1) or SCIP.
Prerequisites to execute CP examples:
- IBM CPLEX