atom-1.0.13: An EDSL for embedded hard realtime applications.

Copyright(c) 2013 Tom Hawkins & Lee Pike
Safe HaskellNone
LanguageHaskell98

Language.Atom.Scheduling

Description

Algorithms for scheduling rules in Atom

Synopsis

Documentation

schedule :: [Rule] -> UeMap -> Schedule Source

type Schedule = (UeMap, [(Int, Int, [Rule])]) Source

Schedule expressed as a UeMap and a list of (period, phase, rules).

reportSchedule :: Schedule -> String Source

Generate a rule scheduling report for the given schedule.