@InProceedings{KorsgaardHendseth08,
  title =        "{C}ombining {EDF} {S}cheduling with occam using the {T}oc {P}rogramming {L}anguage",
  author=        "Korsgaard,  Martin and Hendseth,  Sverre",
  editor=        "Welch, Peter H. and Stepney,  S. and Polack,  F.A.C and Barnes,  Frederick R. M. and McEwan,  Alistair A. and Stiles,  G. S. and Broenink,  Jan F. and Sampson,  Adam T.",
  pages =        "55--66",
  booktitle=     "{C}ommunicating {P}rocess {A}rchitectures 2008",
  isbn=          "978-1-58603-907-3",
  year=          "2008",
  month=         "sep",
  abstract=      "A special feature of the occam programming language is that
     its
concurrency support is at the very base of the language.
     However, its
ability to specify scheduling requirements is
     insufficient for use in
some real-time systems. Toc is an
     experimental programming language
that builds on occam,
     keeping occam's concurrency mechanisms, while
fundamentally
     changing its concept of time. In Toc, deadlines
     are
specified directly in code, replacing occam's priority
     constructs as
themethod for controlling scheduling.
     Processes are scheduled lazily,
in that code is not executed
     without an associated deadline. The
deadlines propagate
     through channel communications, which means
that a task
     blocked by a channel that is not ready will transfer
its
     deadline through the channel to the dependent task. This
     allows
the deadlines of dependent tasks to be inferred, and
     also creates
a scheduling effect similar to priority
     inheritance. A compiler and
run-time system has been
     implemented to demonstrate these principles."
}