atom-1.0.13: An EDSL for embedded hard realtime applications.
Language.Atom.Scheduling
Description
Algorithms for scheduling rules in Atom
Synopsis
schedule :: [Rule] -> UeMap -> Schedule Source
type Schedule = (UeMap, [(Int, Int, [Rule])]) Source
Schedule expressed as a UeMap and a list of (period, phase, rules).
UeMap
reportSchedule :: Schedule -> String Source
Generate a rule scheduling report for the given schedule.