Expand description
RTTask struct.
This module defines the RTTask struct, which describes a real-time task
following the standard Liu-Layland model. Real-Time tasks are here
characterized by Worst Case Execution Time (WCET), Relative Deadline
and (Minimum Inter-arrival) Period.